angr
angr copied to clipboard
Add 2 broken test cases for VFG
Added 2 tests cases with errors for VFG/Claripy.
- Recursion limit hit when solving for function_final_states
- StridedInterval have no item() attribute when doing interfunction VFG creation.
Binaries are included in a separate pull request at angr/binaries
Thanks! I'll merge them in once those issues are pinpointed and resolved.