How to set up Ponce Symbolic Variables Constrains???For example, limit Sym0 to only range from 32-127 - Githubissues

illera88 / Ponce

IDA 2016 plugin contest winner! Symbolic Execution just one-click away!

https://docs.idaponce.com

Other

1.5k stars 74 forks source link

How to set up Ponce Symbolic Variables Constrains???For example, limit Sym0 to only range from 32-127 #142

Open 0xsyj opened 1 month ago

0xsyj commented 1 month ago