search

angr / tracer

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

TracerDesyncError #77

Closed balbassam closed 2 years ago

balbassam commented 4 years ago

Hey,

I'm getting an issue related to #76

I have the attached code here bugreport.zip to help reproduce a tracer desync error as well as the stack trace provided. I did modify tracer to add logging of the addresses in in _update_state_tracking and an example run is provided.

To help debug the desync, I have the following addresses obtained 

Out[6]: '0x7ffff7a621d8'
In [7]: hex(self._trace[idx])
Out[7]: '0x4000aae184'
In [8]: idx
Out[8]: 17029
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.