enzet/symbolic-execution

Add ponce for IDA

Ret2lib opened this issue · 0 comments

https://github.com/illera88/Ponce

"Provides users the ability to perform taint analysis and symbolic execution over binaries in an easy and intuitive fashion. With Ponce you are one click away from getting all the power from cutting edge symbolic execution. Entirely written in C/C++"