Commit Graph

Select branches

Hide Pull Requests

master

merger-monday

renaming

reorganization

#1

#4

#4/merge

Mono Color

• b232e06101 use di, use colon for r2frida master aemmitt-ns 2022-01-26 23:07:17 -05:00
• d918c446ef fix float ops aemmitt-ns 2022-01-26 22:58:56 -05:00
• 0de8242c61 Merge branch 'master' of github.com:radareorg/esilsolve aemmitt-ns 2021-03-28 23:41:58 -04:00
• 4dc9ee9f7c make some debugging changes and slightly change register logic aemmitt-ns 2021-03-28 23:41:38 -04:00
• e412681b8d Create LICENSE aemmitt-ns 2021-03-19 13:16:28 -04:00
• 208300a143 fix enum issues for py3.8+, remove esplugin install temporarily aemmitt-ns 2021-03-10 19:57:28 -05:00
• 81eab202d5 use logging aemmitt-ns 2021-02-27 23:36:32 -05:00
• 52b6e7d129 add settings to r2api aemmitt-ns 2021-02-27 00:35:51 -05:00
• 57654871ba add symbolic address memory access aemmitt-ns 2021-02-26 13:44:27 -05:00
• d9509e3178 refactor memory access to accomodate event hooks aemmitt-ns 2021-02-22 00:26:43 -05:00
• 872cf6d56f small readme changes aemmitt-ns 2021-02-16 22:27:18 -05:00
• 26b316f226 add esilos, add entry_state and __libc_start_main hook aemmitt-ns 2021-02-14 22:25:56 -05:00
• 4595c4004d add a couple more sims, fix a memory issue aemmitt-ns 2021-02-01 09:31:54 -05:00
• d9b688aa2e add more functions to simlibc aemmitt-ns 2021-01-25 22:56:46 -05:00
• f0c8e2687d add esilsim and simlibc to simulate lib functions aemmitt-ns 2021-01-23 16:18:31 -05:00
• a189717144 add REPEAT, change todo, trap, and syscall behavior aemmitt-ns 2021-01-18 23:29:50 -05:00
• 29442412f3 improve floating point operation, add arm example aemmitt-ns 2021-01-17 01:55:33 -05:00
• 5d82504e6e fix register setting to not default to zero ext aemmitt-ns 2021-01-02 21:59:07 -05:00
• e0d9ec6701 change esplugin so it doesn't destroy everything on failure aemmitt-ns 2020-12-14 11:52:18 -05:00
• d910ca0d7f update README with new install intructions aemmitt-ns 2020-12-14 00:27:49 -05:00
• d950967665 update README and setup, numerous other needless changes aemmitt-ns 2020-12-14 00:12:14 -05:00
• 090fec793b fix goto implementation, make r200.py better aemmitt-ns 2020-12-11 01:15:04 -05:00
• 0ee0210df4 add state merging and boolref tactics merger-monday aemmitt-ns 2020-12-07 22:46:13 -05:00
• f94a94eeaa update README, add docs (slides), do other things of little value aemmitt-ns 2020-12-05 14:58:12 -05:00
• fe5905f6ba add memory permission checking, more r2frida integration aemmitt-ns 2020-11-20 21:47:43 -05:00
• 68800dca69 add better support for r2frida, add ability to init state from frida hook aemmitt-ns 2020-11-19 11:21:08 -05:00
• 16564f7a93 speed improvements and some small pcode and fp related changes aemmitt-ns 2020-10-31 20:59:12 -04:00
• 9edc69c2ff execute floating point instructions with esil from r2ghidra aemmitt-ns 2020-10-19 21:04:37 -04:00
• 89bf874aee add more fp support aemmitt-ns 2020-10-16 17:06:27 -04:00
• dce3f6fd74 add support for esil from r2ghidra pcode translation (pdga) aemmitt-ns 2020-10-16 14:09:56 -04:00
• 84ef994c9e add initial support for some floating point and larger bit width operations aemmitt-ns 2020-09-13 17:38:18 -04:00
• 43e6277efb fix symbolic addr constrain typo aemmitt-ns 2020-09-06 15:34:17 -04:00
• 220e26d2ef add make_calls option, remove sym addr print aemmitt-ns 2020-09-06 12:06:51 -04:00
• 46f3f2f7a5 simplify first example aemmitt-ns 2020-09-03 13:39:38 -04:00
• 5a55cecf09 Merge branch 'master' of github.com:aemmitt-ns/esilsolve aemmitt-ns 2020-09-03 02:04:34 -04:00
• 443a1e806a some additions to plugin aemmitt-ns 2020-09-03 02:04:00 -04:00
• b765079f62 add typing and docstrings aemmitt-ns 2020-08-23 21:29:55 -04:00
• d162e77f15 remove target from avoid, add msg to unsat exception aemmitt-ns 2020-08-21 16:17:43 -04:00
• cfeda56572 fix plugin, move examples aemmitt-ns 2020-08-20 19:50:04 -04:00
• a674605cc5 add lazy solving to ES, add many solved ctf challenges to demonstrate api / effectiveness aemmitt-ns 2020-08-15 20:08:39 -04:00
• dd1425f648 add r100 to compare ES to angr aemmitt-ns 2020-08-14 01:47:41 -04:00
• 7396a09e4a use kwargs and clean up some other things aemmitt-ns 2020-08-13 02:24:36 -04:00
• 38ee1b473c Update setup.py aemmitt-ns 2020-08-10 00:59:32 -04:00
• 6e116a6a4b Fix logo url for github aemmitt-ns 2020-08-09 22:54:40 -04:00
• 8b39929046 changes to esilops to sign extend signed operations, additions to vex2esil, new tools to id esil expressions that need work aemmitt-ns 2020-08-05 10:33:06 -04:00
• 6baaeddc7d add signext to prepare instead of extracts in RS aemmitt-ns 2020-07-24 12:52:51 -04:00
• 9d0b16463f vex2esil no longer relies on RPICK aemmitt-ns 2020-07-24 11:53:44 -04:00
• 980686cf20 small changes to vexit, add the symbol eval comments to esplugin for aesxrc aemmitt-ns 2020-06-23 22:04:38 -04:00
• 13a18276a3 add vexit, a vex to esil jit translator for instructions without esil aemmitt-ns 2020-06-15 01:03:18 -04:00
• c4381e43f7 add vexit, a vex to esil jit translator for instructions without esil aemmitt-ns 2020-06-15 01:02:54 -04:00
• 9178974bbb a 'working' vex2esil script relying on defunct RPICK aemmitt-ns 2020-06-14 03:17:13 -04:00
• 90a4d5eae9 add forgotten esilsim file, which defines esilsim parent class aemmitt-ns 2020-06-13 01:56:41 -04:00
• 9f89ad1798 add support for GOTO though limited to prevent the explosion of condition size aemmitt-ns 2020-06-11 22:17:22 -04:00
• b3eab956a0 many improvements to esplugin, simple sim implementation aemmitt-ns 2020-06-09 08:54:23 -04:00
• 564bfa635c add a really simple simproc implementation that is not working yet aemmitt-ns 2020-06-07 04:45:05 -04:00
• dd93eea26d some changes corresponding to changes to r2 and some relevant esilcheck changes aemmitt-ns 2020-05-25 21:29:24 -04:00
• b5a9331e0a get rid of some outdated comments and code aemmitt-ns 2020-05-19 22:55:51 -04:00
• daa02d3a79 change pop_value to pop_values. idk why maybe its faster? maybe its nicer. idk aemmitt-ns 2020-05-19 01:30:46 -04:00
• 3931e2c104 update readme examples with newest api aemmitt-ns 2020-05-17 01:11:27 -04:00
• 3c50cdfd97 remove unnecessary imports aemmitt-ns 2020-05-16 22:42:07 -04:00
• 2d4c88e581 get rid of solver.py and just import z3, much less confusing and at this point I dont think I will try to support other smts aemmitt-ns 2020-05-16 22:24:04 -04:00
• bd2bb9cd97 clean some stuff up and give up on multiprocessing for now aemmitt-ns 2020-05-16 20:09:31 -04:00
• 66fa390579 replace all the deep copies to speed up state cloning aemmitt-ns 2020-05-16 01:24:25 -04:00
• ee9c59bebc Resize logo in Readme Austin Emmitt 2020-05-15 01:21:23 +00:00
• 6d66301bf2 Add logo to readme! Austin Emmitt 2020-05-15 01:12:35 +00:00
• 3dba65f162 add logo! aemmitt-ns 2020-05-14 21:07:53 -04:00
• b07d0fee86 make some minor api improvements and allow regex constraint aemmitt-ns 2020-05-14 20:47:18 -04:00
• 340de85a98 add simple reference counting to registers and memory to make clone more efficient aemmitt-ns 2020-05-14 12:42:48 -04:00
• 385d8fa362 rename solver to smt and add to ES for clarity, fix bv2bytes issue aemmitt-ns 2020-05-12 14:10:00 -04:00
• 8998e10edf add ipa example to the readme and an r2pipe handle to esilsolver class aemmitt-ns 2020-05-12 12:32:35 -04:00
• e4b15db194 simplify the readme aemmitt-ns 2020-05-12 11:44:05 -04:00
• 50acea8e4b add readme example to code aemmitt-ns 2020-05-12 11:22:42 -04:00
• 85e6cdcc56 uncomment the jump constraints in the aeg_es example aemmitt-ns 2020-05-12 10:46:07 -04:00
• 4ad326de62 forgot to add esilprocess changes in last commit aemmitt-ns 2020-05-11 23:07:24 -04:00
• e59a161a4b make a bunch of optimizations, including less/smarter state copying, and using model completion aemmitt-ns 2020-05-11 23:06:38 -04:00
• f745d8275f add more caching to r2api, remove junk from aeg example aemmitt-ns 2020-05-11 00:09:24 -04:00
• 945d0bbefe Merge branch 'master' of gitlab.com:nowsecure/research/esilsolve aemmitt-ns 2020-05-10 23:09:52 -04:00
• 45d24ecc7d fix how conditionals are handled yet again and add pwnable.kr aeg example aemmitt-ns 2020-05-10 23:09:27 -04:00
• f405f85ee1 Update README.md Austin Emmitt 2020-04-06 03:38:51 +00:00
• 1370563af5 get rid of commented out dumb code aemmitt-ns 2020-04-05 21:27:36 -04:00
• e2600ecc01 cache instructions for significant performance improvement. crackme solved w/ r2frida in <5s! aemmitt-ns 2020-04-05 21:26:19 -04:00
• 3a001e9896 fix typo, default test to local aemmitt-ns 2020-04-05 20:55:55 -04:00
• a92d4b4a66 add r2frida crackme example to tests.py, it works! aemmitt-ns 2020-04-05 20:29:25 -04:00
• 0248a31974 convert to package structure and add readme and setup.py aemmitt-ns 2020-04-05 17:08:39 -04:00
• bf647a457d add a horrible implementation of multiple symbolic address value concretization aemmitt-ns 2020-04-05 16:19:02 -04:00
• e797519f7e make some changes to how the flag registers are formatted, small test changes aemmitt-ns 2020-03-11 00:21:59 -04:00
• 9435910ef3 a whole bunch of changes to improve/fix esilsolve/check aemmitt-ns 2020-03-06 01:27:31 -05:00
• 05675b2b00 fix the implementation of pf and of so they use the unsigned bv operations aemmitt-ns 2020-03-03 00:14:32 -05:00
• f5ff03d2c3 add the requirement that the vx cc_dep vars be zero, other fixes aemmitt-ns 2020-03-02 19:14:39 -05:00
• e5951d8bc9 remove the eflags zeroing, this has to be done in a better way to fix the eflags inequality aemmitt-ns 2020-03-02 12:39:15 -05:00
• 9540f25c19 fix pure symbolic stuff and significantly change the way esilcheck works aemmitt-ns 2020-03-02 12:31:56 -05:00
• c2f7f97211 clean up imports Austin Emmitt 2020-02-29 01:07:12 -05:00
• 7be749b194 add amd64 test to esilcheck Austin Emmitt 2020-02-29 00:50:18 -05:00
• 25348343e8 fix reg regex (ugh) and add arm examples Austin Emmitt 2020-02-29 00:30:46 -05:00
• 22f2c34835 remove main aemmitt-ns 2020-02-28 14:03:54 -05:00
• f25f51a42d add pure symbolic mode to esilsolve and add janky esilcheck aemmitt-ns 2020-02-28 13:55:10 -05:00
• f6f8de5006 small changes to tests aemmitt-ns 2020-02-21 10:57:56 -05:00
• 539d6770dd redo (almost) all the naming to be the standard renaming aemmitt-ns 2020-02-19 18:14:16 -05:00
• 6cb55f1865 make small improvements and removals aemmitt-ns 2020-01-08 16:05:37 -05:00
• f1bfa82aa6 Merge pull request #1 from aemmitt-ns/reorganization aemmitt-ns 2020-01-08 15:56:44 -05:00