search

enzet / symbolic-execution

History of symbolic execution (as well as SAT/SMT solving, fuzzing, and taint data tracking)
Creative Commons Attribution Share Alike 4.0 International
487 stars 56 forks source link

Add ponce for IDA #9

Closed Ret2lib closed 7 years ago

Ret2lib commented 7 years ago

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++"