angr.exploration_techniques.veritesting¶
- class angr.exploration_techniques.veritesting.Veritesting¶
Bases:
ExplorationTechniqueEnable veritesting. This technique, described in a paper[1] from CMU, attempts to address the problem of state explosions in loops by performing smart merging.
[1] https://users.ece.cmu.edu/~aavgerin/papers/veritesting-icse-2014.pdf
- __init__(**options)¶