Skip to content

Compare against Driller #6

@DonggeLiu

Description

@DonggeLiu
  1. Need to find the docker for Driller
  2. Need to check if the orchestration script works
  3. When running directly, crashed due to the following error:

Traceback (most recent call last):
File "run-driller.py", line 7, in
d = driller.Driller("../../Benchmarks/ParaDySE-legion/small_benchmarks/replace/replace", # path to the target binary
File "/home/donggel/Baselines/Driller/driller/driller/driller_main.py", line 85, in drill
list(self._drill_input())
File "/home/donggel/Baselines/Driller/driller/driller/driller_main.py", line 141, in _drill_input
simgr.step()
File "/home/donggel/Dependencies/angr/angr/misc/hookset.py", line 75, in call
result = current_hook(self.func.self, *args, **kwargs)
File "/home/donggel/Dependencies/angr/angr/exploration_techniques/driller_core.py", line 39, in step
simgr.step(stash=stash, **kwargs)
File "/home/donggel/Dependencies/angr/angr/misc/hookset.py", line 75, in call
result = current_hook(self.func.self, *args, **kwargs)
File "/home/donggel/Dependencies/angr/angr/exploration_techniques/tracer.py", line 225, in step
return simgr.step(stash=stash, **kwargs)
File "/home/donggel/Dependencies/angr/angr/misc/hookset.py", line 80, in call
return self.func(*args, **kwargs)
File "/home/donggel/Dependencies/angr/angr/sim_manager.py", line 344, in step
successors = self.step_state(state, successor_func=successor_func, **run_args)
File "/home/donggel/Dependencies/angr/angr/misc/hookset.py", line 75, in call
result = current_hook(self.func.self, *args, **kwargs)
File "/home/donggel/Dependencies/angr/angr/exploration_techniques/tracer.py", line 275, in step_state
self._update_state_tracking(succs[0])
File "/home/donggel/Dependencies/angr/angr/exploration_techniques/tracer.py", line 386, in _update_state_tracking
deviating_trace_idx=idx)
angr.exploration_techniques.tracer.TracerDesyncError: BUG! Please investigate the claim in the comment above me

Metadata

Metadata

Assignees

No one assigned

    Labels

    BaselineIssues related to running baselinesDockerIssues related to using Dockers

    Projects

    No projects

    Milestone

    No milestone

    Relationships

    None yet

    Development

    No branches or pull requests

    Issue actions