Chua Zheng Leong
Chua Zheng Leong
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...
Results for TEST instructions are discarded hence operands should have no write access.
There are discrepancies between what Witness currently supports vis-a-vis what the documentations say it supports. Need to update our docs to reflect the changes.