def get_run_env(self):
env = utils.get_env()
if 'AFL_PATH' not in env.keys():
env['AFL_PATH'] = bin_dir
if 'AFL_I_DONT_CARE_ABOUT_MISSING_CRASHES' not in env.keys():
env['AFL_I_DONT_CARE_ABOUT_MISSING_CRASHES'] = 'true'
if 'AFL_SKIP_CPUFREQ' not in env.keys():
env['AFL_SKIP_CPUFREQ'] = 'true'
return env
def run(self, program_file, test_case):
from tbf.tools import klee
klee_prepared_file = utils.get_prepared_name(program_file, klee.name)
c_version = 'gnu11'
if not self.executable:
compile_cmd = ['gcc']
compile_cmd += [
'-std={}'.format(c_version), "-L", klee.lib_dir,
'-D__alias__(x)=', '-o', self.executable_name,
klee_prepared_file, '-lkleeRuntest', '-lm'
]
result = utils.execute(compile_cmd)
if result.returncode != 0:
c_version = 'gnu90'
compile_cmd = ['gcc']
compile_cmd += [
'-std={}'.format(c_version), "-L", klee.lib_dir,
'-D__alias__(x)=', '-o', self.executable_name,
klee_prepared_file, '-lkleeRuntest', '-lm'
]
self.executable = self.executable_name
if not os.path.exists(self.executable_name):
return [ERROR]
curr_env = utils.get_env()
curr_env['KTEST_FILE'] = test_case.origin
result = utils.execute([self.executable],
env=curr_env,
err_to_output=False)
if utils.found_err(result):
return [FALSE]
else:
return [UNKNOWN]
def get_run_env(self):
return utils.get_env()
def get_run_env(self):
env = utils.get_env()
env['AFL_PATH'] = bin_dir
env['AFL_I_DONT_CARE_ABOUT_MISSING_CRASHES'] = 'true'
env['AFL_SKIP_CPUFREQ'] = 'true'
return env