esilsolve
esilsolve copied to clipboard
A python symbolic execution framework using radare2's ESIL (Evaluable String Intermediate Language)
After installing esilsolve, there is no options in the r2 command line: 
I've tried to replicate the Android analysis of the application escrackme.apk as it's described here: https://www.nowsecure.com/blog/2021/03/10/how-to-perform-symbolic-execution-of-mobile-apps-with-r2frida-esilsolve/ However, after install the application and force the odex generation, it is not possible...
Fixes int parsing error for Condition Flags