def main():
global null_hash
KAFL_ROOT = os.path.dirname(os.path.realpath(__file__)) + "/"
KAFL_CONFIG = KAFL_ROOT + "kafl.ini"
print("<< " + common.color.BOLD + common.color.OKGREEN +
" kAFL Coverage Analyzer " + common.color.ENDC + ">>\n")
if not self_check(KAFL_ROOT):
return -1
config = DebugConfiguration(KAFL_CONFIG)
if not post_self_check(config):
return -1
verbose = config.argument_values['v']
if verbose:
enable_logging(config.argument_values["work_dir"])
data_dir = config.argument_values["input"]
null_hash = ExecutionResult.get_null_hash(
config.config_values['BITMAP_SHM_SIZE'])
print(" Scanning target data_dir »%s«..." % data_dir)
input_list = get_inputs_by_time(data_dir)
trace_dir = generate_traces(config, input_list)
if not trace_dir:
return -1
trace_parser = TraceParser(trace_dir)
trace_parser.parse_trace_list(input_list)
trace_parser.gen_reports()
def main():
KAFL_ROOT = os.path.dirname(os.path.realpath(__file__)) + "/"
KAFL_CONFIG = KAFL_ROOT + "kafl.ini"
print("<< " + common.color.BOLD + common.color.OKGREEN +
" kAFL Coverage Analyzer " + common.color.ENDC + ">>\n")
if not self_check(KAFL_ROOT):
return -1
config = DebugConfiguration(KAFL_CONFIG)
if not post_self_check(config):
return -1
verbose = config.argument_values['v']
if verbose:
enable_logging(config.argument_values["work_dir"])
data_dir = config.argument_values["input"]
print(" Scanning target data_dir »%s«..." % data_dir)
input_list = get_inputs_by_time(data_dir)
trace_dir = generate_traces(config, input_list)
if not trace_dir:
return -1
plot_bbs_from_traces(trace_dir, input_list)
def main():
if not self_check(IRPT_ROOT):
return 1
config = FuzzerConfiguration(IRPT_CONFIG)
import fuzzer.core
return fuzzer.core.start(config)
def main():
f = open("help.txt")
for line in f:
print(line.replace("\n", ""))
f.close()
print("<< " + common.color.BOLD + common.color.OKGREEN + sys.argv[0] + ": kAFL Agent Debugger " + common.color.ENDC + ">>\n")
if not self_check():
return 1
from debug.core import start
return start()
def main():
f = open(os.path.dirname(sys.argv[0]) + "/help.txt")
for line in f:
print(line.replace("\n", ""))
f.close()
print("<< " + common.color.BOLD + common.color.OKGREEN + sys.argv[0] +
": Kernel Fuzzer " + common.color.ENDC + ">>\n")
if not self_check():
return 1
from fuzzer.core import start
return start()
def main():
f = open("help.txt")
for line in f:
print(line.replace("\n", ""))
f.close()
print("<< " + '\033[1m' + '\033[92m' + sys.argv[0] + ": Kernel Fuzzer " +
'\033[0m' + ">>\n")
if not self_check():
return 1
from fuzzer.core import start
return start()
def main():
f = open("help.txt")
for line in f:
print(line.replace("\n", ""))
f.close()
print("<< " + common.color.BOLD + common.color.OKGREEN + sys.argv[0] +
": Kernel Address Dumper " + common.color.ENDC + ">>\n")
if not self_check():
return 1
from info.core import start
return start()
def main():
with open(KAFL_BANNER) as f:
for line in f:
print(line.replace("\n", ""))
print("<< " + common.color.BOLD + common.color.OKGREEN +
sys.argv[0] + ": Agent Info Dumper " + common.color.ENDC + ">>\n")
if not self_check(KAFL_ROOT):
return 1
import info.core
cfg = InfoConfiguration(KAFL_CONFIG)
return info.core.start(cfg)
def main():
f = open("help.txt")
for line in f:
print(line.replace("\n", ""))
f.close()
print("<< " + BOLD + OKGREEN + sys.argv[0] +
": kAFL Binary Packer for Userspace Fuzzing " + ENDC + ">>\n")
if not self_check():
return 1
from common.config import UserPrepareConfiguration
config = UserPrepareConfiguration()
if not checks(config):
return False
compile(config)
def main():
print(BOLD + OKGREEN + sys.argv[0] +
": kAFL Binary Packer for Userspace Fuzzing " + ENDC + "\n")
if not self_check(KAFL_ROOT):
sys.exit(os.EX_SOFTWARE)
from common.config import UserPrepareConfiguration
try:
config = UserPrepareConfiguration(KAFL_CONFIG)
except:
sys.exit(os.EX_USAGE)
if not checks(config):
sys.exit(os.EX_USAGE)
if not compile(config):
sys.exit(os.EX_USAGE)
