diff --git a/init-host.py b/init-host.py index d37c8be..38630ff 100755 --- a/init-host.py +++ b/init-host.py @@ -1,4 +1,4 @@ -#!/usr/bin/python3 +#!/usr/bin/env python3 # import argparse import os diff --git a/scripts/bug_mining.py b/scripts/bug_mining.py index 89f63d6..43bb31c 100644 --- a/scripts/bug_mining.py +++ b/scripts/bug_mining.py @@ -199,6 +199,7 @@ def progress(msg): 'no_tp': True }) panda.load_plugin("tainted_branch") +panda.load_plugin("pri_taint") if 'use_stdin' in project and project['use_stdin']: panda.load_plugin("file_taint", @@ -219,7 +220,6 @@ def progress(msg): 'enable_taint_on_open': True, 'verbose' : True }) -panda.load_plugin("pri_taint") # Default name is 'recording' # https://github.com/panda-re/panda/blob/dev/panda/python/core/pandare/panda.py#L2595 diff --git a/scripts/competition.py b/scripts/competition.py index 231736c..5e08f74 100755 --- a/scripts/competition.py +++ b/scripts/competition.py @@ -1,4 +1,4 @@ -#!/usr/bin/python3 +#!/usr/bin/env python3 import argparse import datetime diff --git a/scripts/inject.py b/scripts/inject.py index 6e31a15..733c762 100755 --- a/scripts/inject.py +++ b/scripts/inject.py @@ -1,4 +1,4 @@ -#!/usr/bin/python3 +#!/usr/bin/env python3 import argparse import atexit diff --git a/scripts/run-on-fuzzed-input.py b/scripts/run-on-fuzzed-input.py index f14805f..64de1e3 100755 --- a/scripts/run-on-fuzzed-input.py +++ b/scripts/run-on-fuzzed-input.py @@ -1,4 +1,4 @@ -#!/usr/bin/python3 +#!/usr/bin/env python3 import argparse import json diff --git a/tools/lavaTool/get_c_files.py b/tools/lavaTool/get_c_files.py index 4c30ebc..203fccd 100755 --- a/tools/lavaTool/get_c_files.py +++ b/tools/lavaTool/get_c_files.py @@ -1,4 +1,4 @@ -#!/usr/bin/python3 +#!/usr/bin/env python3 import json import os