esilsolve icon indicating copy to clipboard operation
esilsolve copied to clipboard

A python symbolic execution framework using radare2's ESIL (Evaluable String Intermediate Language)

Results 3 esilsolve issues
Sort by recently updated
recently updated
newest added

After installing esilsolve, there is no options in the r2 command line: ![image](https://user-images.githubusercontent.com/15239745/155553519-76b01771-89e0-4f58-8300-5f072d659ecb.png)

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