angr icon indicating copy to clipboard operation
angr copied to clipboard

Published 20 hours ago • verified publisher icon angr

Add 2 broken test cases for VFG

Open melynx opened this issue 8 years ago • 1 comments

Added 2 tests cases with errors for VFG/Claripy.

  1. Recursion limit hit when solving for function_final_states
  2. StridedInterval have no item() attribute when doing interfunction VFG creation.

Binaries are included in a separate pull request at angr/binaries

melynx avatar Dec 08 '16 09:12 melynx

Thanks! I'll merge them in once those issues are pinpointed and resolved.

ltfish avatar Dec 08 '16 15:12 ltfish