search

angr / tracer

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

fix for removing preconstraints which were also constraints added during tracing #18

Closed salls closed 7 years ago