def trace_cgc_with_pov_file(binary: str,
test_name: str,
pov_file: str,
output_initial_bytes: bytes,
copy_states=False,
read_strategies=None,
write_strategies=None,
add_options=None,
remove_options=None):
assert os.path.isfile(pov_file)
pov = load_cgc_pov(pov_file)
trace_result = tracer_cgc(binary,
test_name,
b''.join(pov.writes),
copy_states,
read_strategies=read_strategies,
write_strategies=write_strategies,
add_options=add_options,
remove_options=remove_options)
simgr = trace_result[0]
simgr.run()
assert "traced" in simgr.stashes
assert len(simgr.traced) == 1
stdout_dump = simgr.traced[0].posix.dumps(1)
assert stdout_dump.startswith(output_initial_bytes)
def trace_cgc_with_pov_file(binary: str, test_name: str, pov_file: str, output_initial_bytes: bytes, copy_states=False):
nose.tools.assert_true(os.path.isfile(pov_file))
pov = load_cgc_pov(pov_file)
trace_result = tracer_cgc(binary, test_name, b''.join(pov.writes), copy_states)
simgr = trace_result[0]
simgr.run()
nose.tools.assert_true("traced" in simgr.stashes)
nose.tools.assert_equal(len(simgr.traced), 1)
stdout_dump = simgr.traced[0].posix.dumps(1)
nose.tools.assert_true(stdout_dump.startswith(output_initial_bytes))
