 aemmitt-ns
|
29442412f3
|
improve floating point operation, add arm example
|
2021-01-17 01:55:33 -05:00 |
|
|
aemmitt-ns
|
0ee0210df4
|
add state merging and boolref tactics
|
2020-12-07 22:46:13 -05:00 |
|
|
aemmitt-ns
|
f94a94eeaa
|
update README, add docs (slides), do other things of little value
|
2020-12-05 14:58:12 -05:00 |
|
|
aemmitt-ns
|
68800dca69
|
add better support for r2frida, add ability to init state from frida hook
|
2020-11-19 11:21:08 -05:00 |
|
|
aemmitt-ns
|
16564f7a93
|
speed improvements and some small pcode and fp related changes
|
2020-10-31 20:59:12 -04:00 |
|
|
aemmitt-ns
|
9edc69c2ff
|
execute floating point instructions with esil from r2ghidra
|
2020-10-19 21:04:37 -04:00 |
|
|
aemmitt-ns
|
89bf874aee
|
add more fp support
|
2020-10-16 17:06:27 -04:00 |
|
|
aemmitt-ns
|
b765079f62
|
add typing and docstrings
|
2020-08-23 21:29:55 -04:00 |
|
|
aemmitt-ns
|
cfeda56572
|
fix plugin, move examples
|
2020-08-20 19:50:04 -04:00 |
|
|
aemmitt-ns
|
a674605cc5
|
add lazy solving to ES, add many solved ctf challenges to demonstrate api / effectiveness
|
2020-08-15 20:08:39 -04:00 |
|
|
aemmitt-ns
|
dd1425f648
|
add r100 to compare ES to angr
|
2020-08-14 01:47:41 -04:00 |
|
|
aemmitt-ns
|
7396a09e4a
|
use kwargs and clean up some other things
|
2020-08-13 02:24:36 -04:00 |
|
|
aemmitt-ns
|
9f89ad1798
|
add support for GOTO though limited to prevent the explosion of condition size
|
2020-06-11 22:17:22 -04:00 |
|
|
aemmitt-ns
|
564bfa635c
|
add a really simple simproc implementation that is not working yet
|
2020-06-07 04:45:05 -04:00 |
|
|
aemmitt-ns
|
dd93eea26d
|
some changes corresponding to changes to r2 and some relevant esilcheck changes
|
2020-05-25 21:29:24 -04:00 |
|
|
aemmitt-ns
|
3931e2c104
|
update readme examples with newest api
|
2020-05-17 01:11:27 -04:00 |
|
|
aemmitt-ns
|
3c50cdfd97
|
remove unnecessary imports
|
2020-05-16 22:42:07 -04:00 |
|
|
aemmitt-ns
|
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
|
2020-05-16 22:24:04 -04:00 |
|
|
aemmitt-ns
|
b07d0fee86
|
make some minor api improvements and allow regex constraint
|
2020-05-14 20:47:18 -04:00 |
|
|
aemmitt-ns
|
340de85a98
|
add simple reference counting to registers and memory to make clone more efficient
|
2020-05-14 12:42:48 -04:00 |
|
|
aemmitt-ns
|
385d8fa362
|
rename solver to smt and add to ES for clarity, fix bv2bytes issue
|
2020-05-12 14:10:00 -04:00 |
|
|
aemmitt-ns
|
8998e10edf
|
add ipa example to the readme and an r2pipe handle to esilsolver class
|
2020-05-12 12:32:35 -04:00 |
|
|
aemmitt-ns
|
e4b15db194
|
simplify the readme
|
2020-05-12 11:44:05 -04:00 |
|
|
aemmitt-ns
|
50acea8e4b
|
add readme example to code
|
2020-05-12 11:22:42 -04:00 |
|
|
aemmitt-ns
|
85e6cdcc56
|
uncomment the jump constraints in the aeg_es example
|
2020-05-12 10:46:07 -04:00 |
|
|
aemmitt-ns
|
e59a161a4b
|
make a bunch of optimizations, including less/smarter state copying, and using model completion
|
2020-05-11 23:06:38 -04:00 |
|
|
aemmitt-ns
|
f745d8275f
|
add more caching to r2api, remove junk from aeg example
|
2020-05-11 00:09:24 -04:00 |
|
|
aemmitt-ns
|
45d24ecc7d
|
fix how conditionals are handled yet again and add pwnable.kr aeg example
|
2020-05-10 23:09:27 -04:00 |
|
|
aemmitt-ns
|
e2600ecc01
|
cache instructions for significant performance improvement. crackme solved w/ r2frida in <5s!
|
2020-04-05 21:26:19 -04:00 |
|
|
aemmitt-ns
|
3a001e9896
|
fix typo, default test to local
|
2020-04-05 20:55:55 -04:00 |
|
|
aemmitt-ns
|
a92d4b4a66
|
add r2frida crackme example to tests.py, it works!
|
2020-04-05 20:29:25 -04:00 |
|
|
aemmitt-ns
|
0248a31974
|
convert to package structure and add readme and setup.py
|
2020-04-05 17:08:39 -04:00 |
|