├── LICENSE ├── README.md ├── docs └── r2con2020-esilsolve.pdf ├── esilsolve ├── __init__.py ├── __pycache__ │ ├── __init__.cpython-36.pyc │ ├── __init__.cpython-38.pyc │ ├── esilclasses.cpython-36.pyc │ ├── esilclasses.cpython-38.pyc │ ├── esilfs.cpython-36.pyc │ ├── esilmemory.cpython-36.pyc │ ├── esilmemory.cpython-38.pyc │ ├── esilops.cpython-36.pyc │ ├── esilops.cpython-38.pyc │ ├── esilprocess.cpython-36.pyc │ ├── esilprocess.cpython-38.pyc │ ├── esilregisters.cpython-36.pyc │ ├── esilregisters.cpython-38.pyc │ ├── esilsim.cpython-36.pyc │ ├── esilsim.cpython-38.pyc │ ├── esilsolve.cpython-36.pyc │ ├── esilsolve.cpython-38.pyc │ ├── esilstate.cpython-36.pyc │ ├── esilstate.cpython-38.pyc │ ├── r2api.cpython-36.pyc │ ├── r2api.cpython-38.pyc │ ├── solver.cpython-36.pyc │ ├── vexit.cpython-36.pyc │ └── vexit.cpython-38.pyc ├── adhoc.py ├── esilclasses.py ├── esilfs.py ├── esilmemory.py ├── esilops.py ├── esilos.py ├── esilprocess.py ├── esilregisters.py ├── esilsim.py ├── esilsolve.py ├── esilstate.py ├── r2api.py ├── simlibc.py ├── simsys.py └── vexit.py ├── examples ├── ais3_crackme │ ├── ais3_crackme │ └── ais_crackme.py ├── defcamp_r100 │ ├── r100 │ └── r100.py ├── defcamp_r200 │ ├── r200 │ ├── r200.py │ └── r200_no_dbg.py ├── defcon2016quals_baby-re │ ├── baby-re │ └── baby_re.py └── google2016_unbreakable_0 │ ├── unbreakable │ └── unbreakable.py ├── raphi.svg ├── setup.py ├── test ├── aeg_r2.py ├── android_validate.py ├── example.py ├── float.py ├── floatarm.py ├── ipa_example.py ├── pcode_example.py ├── r2frida_example.py ├── tests.py └── tests │ ├── aeg_program │ ├── angrtest.py │ ├── crackme-level0-symbols.ipa │ ├── escrackme.apk │ ├── flag │ ├── float │ ├── float.c │ ├── floatarm │ ├── multibranch │ ├── multibranch.c │ ├── simple │ ├── simple.c │ ├── simplish │ ├── simplish.c │ ├── start │ ├── subtest │ ├── subtest.c │ └── validate └── tools ├── esilcheck.py ├── esplugin.py ├── expressioncheck.py ├── expressionless.py └── vex2esil.py /LICENSE: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/radareorg/esilsolve/HEAD/LICENSE -------------------------------------------------------------------------------- /README.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/radareorg/esilsolve/HEAD/README.md -------------------------------------------------------------------------------- /docs/r2con2020-esilsolve.pdf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/radareorg/esilsolve/HEAD/docs/r2con2020-esilsolve.pdf -------------------------------------------------------------------------------- /esilsolve/__init__.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/radareorg/esilsolve/HEAD/esilsolve/__init__.py -------------------------------------------------------------------------------- /esilsolve/__pycache__/__init__.cpython-36.pyc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/radareorg/esilsolve/HEAD/esilsolve/__pycache__/__init__.cpython-36.pyc -------------------------------------------------------------------------------- /esilsolve/__pycache__/__init__.cpython-38.pyc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/radareorg/esilsolve/HEAD/esilsolve/__pycache__/__init__.cpython-38.pyc -------------------------------------------------------------------------------- /esilsolve/__pycache__/esilclasses.cpython-36.pyc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/radareorg/esilsolve/HEAD/esilsolve/__pycache__/esilclasses.cpython-36.pyc -------------------------------------------------------------------------------- /esilsolve/__pycache__/esilclasses.cpython-38.pyc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/radareorg/esilsolve/HEAD/esilsolve/__pycache__/esilclasses.cpython-38.pyc -------------------------------------------------------------------------------- /esilsolve/__pycache__/esilfs.cpython-36.pyc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/radareorg/esilsolve/HEAD/esilsolve/__pycache__/esilfs.cpython-36.pyc -------------------------------------------------------------------------------- /esilsolve/__pycache__/esilmemory.cpython-36.pyc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/radareorg/esilsolve/HEAD/esilsolve/__pycache__/esilmemory.cpython-36.pyc -------------------------------------------------------------------------------- /esilsolve/__pycache__/esilmemory.cpython-38.pyc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/radareorg/esilsolve/HEAD/esilsolve/__pycache__/esilmemory.cpython-38.pyc -------------------------------------------------------------------------------- /esilsolve/__pycache__/esilops.cpython-36.pyc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/radareorg/esilsolve/HEAD/esilsolve/__pycache__/esilops.cpython-36.pyc -------------------------------------------------------------------------------- /esilsolve/__pycache__/esilops.cpython-38.pyc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/radareorg/esilsolve/HEAD/esilsolve/__pycache__/esilops.cpython-38.pyc -------------------------------------------------------------------------------- /esilsolve/__pycache__/esilprocess.cpython-36.pyc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/radareorg/esilsolve/HEAD/esilsolve/__pycache__/esilprocess.cpython-36.pyc -------------------------------------------------------------------------------- /esilsolve/__pycache__/esilprocess.cpython-38.pyc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/radareorg/esilsolve/HEAD/esilsolve/__pycache__/esilprocess.cpython-38.pyc -------------------------------------------------------------------------------- /esilsolve/__pycache__/esilregisters.cpython-36.pyc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/radareorg/esilsolve/HEAD/esilsolve/__pycache__/esilregisters.cpython-36.pyc -------------------------------------------------------------------------------- /esilsolve/__pycache__/esilregisters.cpython-38.pyc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/radareorg/esilsolve/HEAD/esilsolve/__pycache__/esilregisters.cpython-38.pyc -------------------------------------------------------------------------------- /esilsolve/__pycache__/esilsim.cpython-36.pyc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/radareorg/esilsolve/HEAD/esilsolve/__pycache__/esilsim.cpython-36.pyc -------------------------------------------------------------------------------- /esilsolve/__pycache__/esilsim.cpython-38.pyc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/radareorg/esilsolve/HEAD/esilsolve/__pycache__/esilsim.cpython-38.pyc -------------------------------------------------------------------------------- /esilsolve/__pycache__/esilsolve.cpython-36.pyc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/radareorg/esilsolve/HEAD/esilsolve/__pycache__/esilsolve.cpython-36.pyc -------------------------------------------------------------------------------- /esilsolve/__pycache__/esilsolve.cpython-38.pyc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/radareorg/esilsolve/HEAD/esilsolve/__pycache__/esilsolve.cpython-38.pyc -------------------------------------------------------------------------------- /esilsolve/__pycache__/esilstate.cpython-36.pyc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/radareorg/esilsolve/HEAD/esilsolve/__pycache__/esilstate.cpython-36.pyc -------------------------------------------------------------------------------- /esilsolve/__pycache__/esilstate.cpython-38.pyc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/radareorg/esilsolve/HEAD/esilsolve/__pycache__/esilstate.cpython-38.pyc -------------------------------------------------------------------------------- /esilsolve/__pycache__/r2api.cpython-36.pyc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/radareorg/esilsolve/HEAD/esilsolve/__pycache__/r2api.cpython-36.pyc -------------------------------------------------------------------------------- /esilsolve/__pycache__/r2api.cpython-38.pyc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/radareorg/esilsolve/HEAD/esilsolve/__pycache__/r2api.cpython-38.pyc -------------------------------------------------------------------------------- /esilsolve/__pycache__/solver.cpython-36.pyc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/radareorg/esilsolve/HEAD/esilsolve/__pycache__/solver.cpython-36.pyc -------------------------------------------------------------------------------- /esilsolve/__pycache__/vexit.cpython-36.pyc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/radareorg/esilsolve/HEAD/esilsolve/__pycache__/vexit.cpython-36.pyc -------------------------------------------------------------------------------- /esilsolve/__pycache__/vexit.cpython-38.pyc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/radareorg/esilsolve/HEAD/esilsolve/__pycache__/vexit.cpython-38.pyc -------------------------------------------------------------------------------- /esilsolve/adhoc.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/radareorg/esilsolve/HEAD/esilsolve/adhoc.py -------------------------------------------------------------------------------- /esilsolve/esilclasses.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/radareorg/esilsolve/HEAD/esilsolve/esilclasses.py -------------------------------------------------------------------------------- /esilsolve/esilfs.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/radareorg/esilsolve/HEAD/esilsolve/esilfs.py -------------------------------------------------------------------------------- /esilsolve/esilmemory.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/radareorg/esilsolve/HEAD/esilsolve/esilmemory.py -------------------------------------------------------------------------------- /esilsolve/esilops.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/radareorg/esilsolve/HEAD/esilsolve/esilops.py -------------------------------------------------------------------------------- /esilsolve/esilos.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/radareorg/esilsolve/HEAD/esilsolve/esilos.py -------------------------------------------------------------------------------- /esilsolve/esilprocess.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/radareorg/esilsolve/HEAD/esilsolve/esilprocess.py -------------------------------------------------------------------------------- /esilsolve/esilregisters.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/radareorg/esilsolve/HEAD/esilsolve/esilregisters.py -------------------------------------------------------------------------------- /esilsolve/esilsim.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/radareorg/esilsolve/HEAD/esilsolve/esilsim.py -------------------------------------------------------------------------------- /esilsolve/esilsolve.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/radareorg/esilsolve/HEAD/esilsolve/esilsolve.py -------------------------------------------------------------------------------- /esilsolve/esilstate.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/radareorg/esilsolve/HEAD/esilsolve/esilstate.py -------------------------------------------------------------------------------- /esilsolve/r2api.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/radareorg/esilsolve/HEAD/esilsolve/r2api.py -------------------------------------------------------------------------------- /esilsolve/simlibc.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/radareorg/esilsolve/HEAD/esilsolve/simlibc.py -------------------------------------------------------------------------------- /esilsolve/simsys.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/radareorg/esilsolve/HEAD/esilsolve/simsys.py -------------------------------------------------------------------------------- /esilsolve/vexit.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/radareorg/esilsolve/HEAD/esilsolve/vexit.py -------------------------------------------------------------------------------- /examples/ais3_crackme/ais3_crackme: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/radareorg/esilsolve/HEAD/examples/ais3_crackme/ais3_crackme -------------------------------------------------------------------------------- /examples/ais3_crackme/ais_crackme.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/radareorg/esilsolve/HEAD/examples/ais3_crackme/ais_crackme.py -------------------------------------------------------------------------------- /examples/defcamp_r100/r100: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/radareorg/esilsolve/HEAD/examples/defcamp_r100/r100 -------------------------------------------------------------------------------- /examples/defcamp_r100/r100.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/radareorg/esilsolve/HEAD/examples/defcamp_r100/r100.py -------------------------------------------------------------------------------- /examples/defcamp_r200/r200: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/radareorg/esilsolve/HEAD/examples/defcamp_r200/r200 -------------------------------------------------------------------------------- /examples/defcamp_r200/r200.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/radareorg/esilsolve/HEAD/examples/defcamp_r200/r200.py -------------------------------------------------------------------------------- /examples/defcamp_r200/r200_no_dbg.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/radareorg/esilsolve/HEAD/examples/defcamp_r200/r200_no_dbg.py -------------------------------------------------------------------------------- /examples/defcon2016quals_baby-re/baby-re: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/radareorg/esilsolve/HEAD/examples/defcon2016quals_baby-re/baby-re -------------------------------------------------------------------------------- /examples/defcon2016quals_baby-re/baby_re.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/radareorg/esilsolve/HEAD/examples/defcon2016quals_baby-re/baby_re.py -------------------------------------------------------------------------------- /examples/google2016_unbreakable_0/unbreakable: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/radareorg/esilsolve/HEAD/examples/google2016_unbreakable_0/unbreakable -------------------------------------------------------------------------------- /examples/google2016_unbreakable_0/unbreakable.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/radareorg/esilsolve/HEAD/examples/google2016_unbreakable_0/unbreakable.py -------------------------------------------------------------------------------- /raphi.svg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/radareorg/esilsolve/HEAD/raphi.svg -------------------------------------------------------------------------------- /setup.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/radareorg/esilsolve/HEAD/setup.py -------------------------------------------------------------------------------- /test/aeg_r2.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/radareorg/esilsolve/HEAD/test/aeg_r2.py -------------------------------------------------------------------------------- /test/android_validate.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/radareorg/esilsolve/HEAD/test/android_validate.py -------------------------------------------------------------------------------- /test/example.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/radareorg/esilsolve/HEAD/test/example.py -------------------------------------------------------------------------------- /test/float.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/radareorg/esilsolve/HEAD/test/float.py -------------------------------------------------------------------------------- /test/floatarm.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/radareorg/esilsolve/HEAD/test/floatarm.py -------------------------------------------------------------------------------- /test/ipa_example.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/radareorg/esilsolve/HEAD/test/ipa_example.py -------------------------------------------------------------------------------- /test/pcode_example.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/radareorg/esilsolve/HEAD/test/pcode_example.py -------------------------------------------------------------------------------- /test/r2frida_example.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/radareorg/esilsolve/HEAD/test/r2frida_example.py -------------------------------------------------------------------------------- /test/tests.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/radareorg/esilsolve/HEAD/test/tests.py -------------------------------------------------------------------------------- /test/tests/aeg_program: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/radareorg/esilsolve/HEAD/test/tests/aeg_program -------------------------------------------------------------------------------- /test/tests/angrtest.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/radareorg/esilsolve/HEAD/test/tests/angrtest.py -------------------------------------------------------------------------------- /test/tests/crackme-level0-symbols.ipa: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/radareorg/esilsolve/HEAD/test/tests/crackme-level0-symbols.ipa -------------------------------------------------------------------------------- /test/tests/escrackme.apk: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/radareorg/esilsolve/HEAD/test/tests/escrackme.apk -------------------------------------------------------------------------------- /test/tests/flag: -------------------------------------------------------------------------------- 1 | test 2 | -------------------------------------------------------------------------------- /test/tests/float: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/radareorg/esilsolve/HEAD/test/tests/float -------------------------------------------------------------------------------- /test/tests/float.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/radareorg/esilsolve/HEAD/test/tests/float.c -------------------------------------------------------------------------------- /test/tests/floatarm: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/radareorg/esilsolve/HEAD/test/tests/floatarm -------------------------------------------------------------------------------- /test/tests/multibranch: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/radareorg/esilsolve/HEAD/test/tests/multibranch -------------------------------------------------------------------------------- /test/tests/multibranch.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/radareorg/esilsolve/HEAD/test/tests/multibranch.c -------------------------------------------------------------------------------- /test/tests/simple: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/radareorg/esilsolve/HEAD/test/tests/simple -------------------------------------------------------------------------------- /test/tests/simple.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/radareorg/esilsolve/HEAD/test/tests/simple.c -------------------------------------------------------------------------------- /test/tests/simplish: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/radareorg/esilsolve/HEAD/test/tests/simplish -------------------------------------------------------------------------------- /test/tests/simplish.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/radareorg/esilsolve/HEAD/test/tests/simplish.c -------------------------------------------------------------------------------- /test/tests/start: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/radareorg/esilsolve/HEAD/test/tests/start -------------------------------------------------------------------------------- /test/tests/subtest: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/radareorg/esilsolve/HEAD/test/tests/subtest -------------------------------------------------------------------------------- /test/tests/subtest.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/radareorg/esilsolve/HEAD/test/tests/subtest.c -------------------------------------------------------------------------------- /test/tests/validate: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/radareorg/esilsolve/HEAD/test/tests/validate -------------------------------------------------------------------------------- /tools/esilcheck.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/radareorg/esilsolve/HEAD/tools/esilcheck.py -------------------------------------------------------------------------------- /tools/esplugin.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/radareorg/esilsolve/HEAD/tools/esplugin.py -------------------------------------------------------------------------------- /tools/expressioncheck.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/radareorg/esilsolve/HEAD/tools/expressioncheck.py -------------------------------------------------------------------------------- /tools/expressionless.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/radareorg/esilsolve/HEAD/tools/expressionless.py -------------------------------------------------------------------------------- /tools/vex2esil.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/radareorg/esilsolve/HEAD/tools/vex2esil.py --------------------------------------------------------------------------------