angr / tracer

Utilities for generating dynamic traces
BSD 2-Clause "Simplified" License
88 stars 28 forks source link

another bug found in tracepov.py #36

Closed benquike closed 2 years ago

benquike commented 7 years ago
t = tracer.Tracer('cgc-vm_fuzz/cgc-challenge-corpus/CROMU_00007/bin/CROMU_00007', pov_file='cgc-vm_fuzz/cgc-challenge-corpus/CROMU_00007/pov/POV_00000.xml')
---------------------------------------------------------------------------
KeyError                                  Traceback (most recent call last)
<ipython-input-6-e0fb424d12b5> in <module>()
----> 1 t = tracer.Tracer('cgc-vm_fuzz/cgc-challenge-corpus/CROMU_00007/bin/CROMU_00007', pov_file='cgc-vm_fuzz/cgc-challenge-corpus/CROMU_00007/pov/POV_00000.xml')

/home/hexfuzz/.virtualenvs/driller+/local/lib/python2.7/site-packages/tracer/tracer.pyc in __init__(self, binary, input, pov_file, simprocedures, hooks, seed, preconstrain_input, preconstrain_flag, resiliency, chroot, add_options, remove_options, trim_history, project, dump_syscall, dump_cache, max_size, exclude_sim_procedures_list, argv, trace_log_limit, trace_timeout)
    154         # a PoV was provided
    155         if self.pov_file is not None:
--> 156             self.pov_file = TracerPoV(self.pov_file)
    157             self.pov = True
    158         else:

/home/hexfuzz/.virtualenvs/driller+/local/lib/python2.7/site-packages/tracer/tracerpov.pyc in __init__(self, filename)
     15         self._raw_reads = self._root.find('replay').findall('read')
     16         self._collect_variables()
---> 17         self._clean_writes()
     18 
     19 

/home/hexfuzz/.virtualenvs/driller+/local/lib/python2.7/site-packages/tracer/tracerpov.pyc in _clean_writes(self)
     60                     text = i.text
     61                 else:
---> 62                     text = self._variables[i.text]
     63                 if mode_i == 'ascii':
     64                     body += text.decode('string-escape')

KeyError: 'busy_week'
github-actions[bot] commented 2 years ago

This issue has been marked as stale because it has no recent activity. Please comment or add the pinned tag to prevent this issue from being closed.

github-actions[bot] commented 2 years ago

This issue has been closed due to inactivity.