angr.exploration_techniques.stub_stasher¶
- class angr.exploration_techniques.stub_stasher.StubStasher¶
Bases:
ExplorationTechniqueStash states that reach a stub SimProcedure.
- static post_filter(state)¶
Back to top