github.com/radareorg/esilsolve commits | Ecosyste.ms: OpenCollective

use di, use colon for r2frida

b232e061014f86dc04a1d8d60f464f623c8ef51a authored almost 3 years ago by aemmitt-ns <[email protected]>

fix float ops

d918c446ef16260b17ad68191b81cdd66d98de85 authored almost 3 years ago by aemmitt-ns <[email protected]>

Merge branch 'master' of github.com:radareorg/esilsolve

0de8242c61e8dd751c561db32255f45b6878f3c8 authored almost 4 years ago by aemmitt-ns <[email protected]>

make some debugging changes and slightly change register logic

4dc9ee9f7cc8f12140c52905fc5bae9b7d3925c8 authored almost 4 years ago by aemmitt-ns <[email protected]>

Create LICENSE

e412681b8da1e10b2471566566d538ee157f0fc4 authored almost 4 years ago by aemmitt-ns <[email protected]>

fix enum issues for py3.8+, remove esplugin install temporarily

208300a14382bf15617ac0d0e3049a31d2416049 authored almost 4 years ago by aemmitt-ns <[email protected]>

use logging

81eab202d5e90b298dbe72a3591e4a7f9d7e0c74 authored almost 4 years ago by aemmitt-ns <[email protected]>

add settings to r2api

52b6e7d129a795af74acb0b6fe1ea8f9724a98ce authored almost 4 years ago by aemmitt-ns <[email protected]>

add symbolic address memory access

57654871ba1cdc537ecc830951f4c318733de7f5 authored almost 4 years ago by aemmitt-ns <[email protected]>

refactor memory access to accomodate event hooks

d9509e31782194b18549bc1eaa3ddeb87b88318d authored almost 4 years ago by aemmitt-ns <[email protected]>

small readme changes

872cf6d56f3fa3a11cc0a6a5903737af35afe8ef authored almost 4 years ago by aemmitt-ns <[email protected]>

add esilos, add entry_state and __libc_start_main hook

26b316f2260e19b63e5a67554d8991e5d32722f5 authored almost 4 years ago by aemmitt-ns <[email protected]>

add a couple more sims, fix a memory issue

4595c4004d8fbfc5a91b41c96ca96e8cdf5adb42 authored almost 4 years ago by aemmitt-ns <[email protected]>

add more functions to simlibc

d9b688aa2e74208aebae6efc7bdc3c71c1cb1799 authored almost 4 years ago by aemmitt-ns <[email protected]>

add esilsim and simlibc to simulate lib functions

f0c8e2687de21692c87f08f8258bd3253c50b2a9 authored almost 4 years ago by aemmitt-ns <[email protected]>

add REPEAT, change todo, trap, and syscall behavior

a189717144cd7a4fe9f165531cca7464446a4b73 authored almost 4 years ago by aemmitt-ns <[email protected]>

improve floating point operation, add arm example

29442412f30038df44d6dd12f694f57a03911a73 authored almost 4 years ago by aemmitt-ns <[email protected]>

fix register setting to not default to zero ext

5d82504e6e8782908e36e01fcb4f1340902a807c authored about 4 years ago by aemmitt-ns <[email protected]>

change esplugin so it doesn't destroy everything on failure

e0d9ec670113ef85d90025146b9bfb0018708bf1 authored about 4 years ago by aemmitt-ns <[email protected]>

update README with new install intructions

d910ca0d7ff2f5b2c3b911690db8d797b04987cb authored about 4 years ago by aemmitt-ns <[email protected]>

update README and setup, numerous other needless changes

d9509676654e5991c0586c95daf742b3f94eb90b authored about 4 years ago by aemmitt-ns <[email protected]>

fix goto implementation, make r200.py better

090fec793ba8686734bde5b5eb141b185d6c44b0 authored about 4 years ago by aemmitt-ns <[email protected]>

add state merging and boolref tactics

0ee0210df4681596703e94600ff0c2b42e7ae588 authored about 4 years ago by aemmitt-ns <[email protected]>

update README, add docs (slides), do other things of little value

f94a94eeaa1011f054c74cbe262809851a01877c authored about 4 years ago by aemmitt-ns <[email protected]>

add memory permission checking, more r2frida integration

fe5905f6ba95fce2c618c18ea12e9d44ed619423 authored about 4 years ago by aemmitt-ns <[email protected]>

add better support for r2frida, add ability to init state from frida hook

68800dca69a7f939e9ab63e2ec25b04fffa587e8 authored about 4 years ago by aemmitt-ns <[email protected]>

speed improvements and some small pcode and fp related changes

16564f7a93655557ad9a77555356df3be7f1391f authored about 4 years ago by aemmitt-ns <[email protected]>

execute floating point instructions with esil from r2ghidra

9edc69c2ff65ccc152bf0924b087cc41d70201bd authored about 4 years ago by aemmitt-ns <[email protected]>

add more fp support

89bf874aee3315fc1ddbf2dd4bad672fc2b57b3f authored about 4 years ago by aemmitt-ns <[email protected]>

add support for esil from r2ghidra pcode translation (pdga)

dce3f6fd74b217c247ecbaed885ca0b18876df2e authored about 4 years ago by aemmitt-ns <[email protected]>

add initial support for some floating point and larger bit width operations

84ef994c9e798edd7c8c95305b602c49a12eb603 authored over 4 years ago by aemmitt-ns <[email protected]>

fix symbolic addr constrain typo

43e6277efb3369b90f44cfd02153bda6c5202103 authored over 4 years ago by aemmitt-ns <[email protected]>

add make_calls option, remove sym addr print

220e26d2ef7cc167894af0c27ebcec1c336b0031 authored over 4 years ago by aemmitt-ns <[email protected]>

simplify first example

46f3f2f7a56f97984510873e8e9b581943912d3d authored over 4 years ago by aemmitt-ns <[email protected]>

Merge branch 'master' of github.com:aemmitt-ns/esilsolve

5a55cecf09d62d1e606bb2d9cdd00adcf6be0ec4 authored over 4 years ago by aemmitt-ns <[email protected]>

some additions to plugin

443a1e806a17d1c63a9134a7788e79939430a57d authored over 4 years ago by aemmitt-ns <[email protected]>

add typing and docstrings

b765079f6298c53a897ed0e2e2eb548a0edffb25 authored over 4 years ago by aemmitt-ns <[email protected]>

remove target from avoid, add msg to unsat exception

d162e77f158b41b23cbc11120e792e9c888e4dfc authored over 4 years ago by aemmitt-ns <[email protected]>

fix plugin, move examples

cfeda565724ce030bf9b958d30737625121ed93f authored over 4 years ago by aemmitt-ns <[email protected]>

add lazy solving to ES, add many solved ctf challenges to demonstrate api / effectiveness

a674605cc5ee2e328f48d80786ecedec6fcfdb0b authored over 4 years ago by aemmitt-ns <[email protected]>

add r100 to compare ES to angr

dd1425f6488712bc6fe8c0dfb5ff7d223c225c30 authored over 4 years ago by aemmitt-ns <[email protected]>

use kwargs and clean up some other things

7396a09e4ad960e4b1667a5e7499766180a0f4e7 authored over 4 years ago by aemmitt-ns <[email protected]>

Update setup.py

38ee1b473cd877b56a6a1ebcaa01bd117381acc1 authored over 4 years ago by aemmitt-ns <[email protected]>

Fix logo url for github

6e116a6a4b9b5e807e78858fb7a3a243332151e1 authored over 4 years ago by aemmitt-ns <[email protected]>

changes to esilops to sign extend signed operations, additions to vex2esil, new tools to id esil expressions that need work

8b3992904659af19c117a891b664716adb86a01c authored over 4 years ago by aemmitt-ns <[email protected]>

add signext to prepare instead of extracts in RS

6baaeddc7db11521ffd60b3eefe1ad4fe1297dd8 authored over 4 years ago by aemmitt-ns <[email protected]>

vex2esil no longer relies on RPICK

9d0b16463f3f5cbcffa8ad05f2d40ed9e5082d85 authored over 4 years ago by aemmitt-ns <[email protected]>

small changes to vexit, add the symbol eval comments to esplugin for aesxrc

980686cf209cfda0dcbcc58520db1c082c75e71b authored over 4 years ago by aemmitt-ns <[email protected]>

add vexit, a vex to esil jit translator for instructions without esil

13a18276a32ba747c0040967dc7f71b1bc42380c authored over 4 years ago by aemmitt-ns <[email protected]>

add vexit, a vex to esil jit translator for instructions without esil

c4381e43f7ca12ed19b83dfce3d437cc07b0fdf4 authored over 4 years ago by aemmitt-ns <[email protected]>

a 'working' vex2esil script relying on defunct RPICK

9178974bbb0107d03464edcc51208ec63444e293 authored over 4 years ago by aemmitt-ns <[email protected]>

add forgotten esilsim file, which defines esilsim parent class

90a4d5eae90f1f4811819555596074a9d983cbde authored over 4 years ago by aemmitt-ns <[email protected]>

add support for GOTO though limited to prevent the explosion of condition size

9f89ad179823aabe5e70a426664a484233f7ad4f authored over 4 years ago by aemmitt-ns <[email protected]>

many improvements to esplugin, simple sim implementation

b3eab956a0ff26de324a679b96803866a143d948 authored over 4 years ago by aemmitt-ns <[email protected]>

add a really simple simproc implementation that is not working yet

564bfa635c0e6161f5b6886b6b883ca0ce8c4a3f authored over 4 years ago by aemmitt-ns <[email protected]>

some changes corresponding to changes to r2 and some relevant esilcheck changes

dd93eea26df3474e816dda41adf62b4ac6873233 authored over 4 years ago by aemmitt-ns <[email protected]>

get rid of some outdated comments and code

b5a9331e0a1d5c2773012f6c5719aec1007bc06b authored over 4 years ago by aemmitt-ns <[email protected]>

change pop_value to pop_values. idk why maybe its faster? maybe its nicer. idk

daa02d3a793d1c2ac99b3c0ea7de185c3d74e58d authored over 4 years ago by aemmitt-ns <[email protected]>

update readme examples with newest api

3931e2c1040f680f52cd3ce32f20fd6edf54e575 authored over 4 years ago by aemmitt-ns <[email protected]>

remove unnecessary imports

3c50cdfd97358eb6cdfb995f92fefcae54d89acb authored over 4 years ago by aemmitt-ns <[email protected]>

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

2d4c88e581a20cf9a07d10a56e96a4698d0fcf9c authored over 4 years ago by aemmitt-ns <[email protected]>

clean some stuff up and give up on multiprocessing for now

bd2bb9cd9781690b6ad8b9b1d2053cfb62f16389 authored over 4 years ago by aemmitt-ns <[email protected]>

replace all the deep copies to speed up state cloning

66fa390579738096c38b8d61141faecd8a8b23d1 authored over 4 years ago by aemmitt-ns <[email protected]>

Resize logo in Readme

ee9c59bebc18e7c5a87633b4a1e2e0c0eac7215f authored over 4 years ago by Austin Emmitt <[email protected]>

Add logo to readme!

6d66301bf256c1fef2932b9c31dd26e5ac25a5fc authored over 4 years ago by Austin Emmitt <[email protected]>

add logo!

3dba65f16218391123c82ee803105c4c206c5639 authored over 4 years ago by aemmitt-ns <[email protected]>

make some minor api improvements and allow regex constraint

b07d0fee866efa61bf6ddc73704f5e8701e71172 authored over 4 years ago by aemmitt-ns <[email protected]>

add simple reference counting to registers and memory to make clone more efficient

340de85a98304c93481d6c6f0fe38750f22abdfd authored over 4 years ago by aemmitt-ns <[email protected]>

rename solver to smt and add to ES for clarity, fix bv2bytes issue

385d8fa36202e444bb44f839f0c5c0e14aef0589 authored over 4 years ago by aemmitt-ns <[email protected]>

add ipa example to the readme and an r2pipe handle to esilsolver class

8998e10edfb4f636453f78ad3394c94435d04a2c authored over 4 years ago by aemmitt-ns <[email protected]>

simplify the readme

e4b15db1946aff4a082d54046a13ecb8b217cf7e authored over 4 years ago by aemmitt-ns <[email protected]>

add readme example to code

50acea8e4ba0f211945eff5643af895d870bc2d9 authored over 4 years ago by aemmitt-ns <[email protected]>

uncomment the jump constraints in the aeg_es example

85e6cdcc56f47c5e5a7b5ccd74ded77d0545cd50 authored over 4 years ago by aemmitt-ns <[email protected]>

forgot to add esilprocess changes in last commit

4ad326de62d30704ef2da635201849b7edad59f2 authored over 4 years ago by aemmitt-ns <[email protected]>

make a bunch of optimizations, including less/smarter state copying, and using model completion

e59a161a4baa32aa8263e6ab9310e0c7ad09ee2c authored over 4 years ago by aemmitt-ns <[email protected]>

add more caching to r2api, remove junk from aeg example

f745d8275f4675c33cc46fc58ec9d0b422e10974 authored over 4 years ago by aemmitt-ns <[email protected]>

Merge branch 'master' of gitlab.com:nowsecure/research/esilsolve

945d0bbefed51f82050d4f91ad5ef17ed561288a authored over 4 years ago by aemmitt-ns <[email protected]>

fix how conditionals are handled yet again and add pwnable.kr aeg example

45d24ecc7d965968ba8e8be135f833bf7ad10f5b authored over 4 years ago by aemmitt-ns <[email protected]>

Update README.md

f405f85ee1fcce8a93a9e137e77662be8f11ac98 authored almost 5 years ago by Austin Emmitt <[email protected]>

get rid of commented out dumb code

1370563af55b280be5dd1af983c2306a5b7a2e5a authored almost 5 years ago by aemmitt-ns <[email protected]>

cache instructions for significant performance improvement. crackme solved w/ r2frida in <5s!

e2600ecc0181b2966cd990b1824619e5d32e83bd authored almost 5 years ago by aemmitt-ns <[email protected]>

fix typo, default test to local

3a001e98965d46d4a8380e0e8815eec69f091914 authored almost 5 years ago by aemmitt-ns <[email protected]>

add r2frida crackme example to tests.py, it works!

a92d4b4a667529ca16c433a454988816b48cd5a1 authored almost 5 years ago by aemmitt-ns <[email protected]>

convert to package structure and add readme and setup.py

0248a3197473dc44b68c2ecc392d26e118bac7cd authored almost 5 years ago by aemmitt-ns <[email protected]>

add a horrible implementation of multiple symbolic address value concretization

bf647a457daa8ea30de1aad2317eb56e0aa6b5e4 authored almost 5 years ago by aemmitt-ns <[email protected]>

make some changes to how the flag registers are formatted, small test changes

e797519f7e472ce874d4afe80145edacd91f9c1d authored almost 5 years ago by aemmitt-ns <[email protected]>

a whole bunch of changes to improve/fix esilsolve/check

9435910ef34260c5ee5865d61a5c74fa98fa3679 authored almost 5 years ago by aemmitt-ns <[email protected]>

fix the implementation of pf and of so they use the unsigned bv operations

05675b2b00a0d7eb49550ca4ed7f31ac44a8e9f9 authored almost 5 years ago by aemmitt-ns <[email protected]>

add the requirement that the vx cc_dep vars be zero, other fixes

f5ff03d2c3feff5016709f187503627bad2b2d04 authored almost 5 years ago by aemmitt-ns <[email protected]>

remove the eflags zeroing, this has to be done in a better way to fix the eflags inequality

e5951d8bc9c605191f74ca183be884c147247696 authored almost 5 years ago by aemmitt-ns <[email protected]>

fix pure symbolic stuff and significantly change the way esilcheck works

9540f25c1993d64e1549a21601a2b2ceede25c0f authored almost 5 years ago by aemmitt-ns <[email protected]>

clean up imports

c2f7f97211dfa4f50dd3c1d704e93b650a88529d authored almost 5 years ago by Austin Emmitt <[email protected]>

add amd64 test to esilcheck

7be749b194b57e6843939f2d87b2f4a739d8081f authored almost 5 years ago by Austin Emmitt <[email protected]>

fix reg regex (ugh) and add arm examples

25348343e81db02281ab2e9763cd4cea47c5f73e authored almost 5 years ago by Austin Emmitt <[email protected]>

remove main

22f2c348354f3ae1d548cf3ff0644ba4d75447df authored almost 5 years ago by aemmitt-ns <[email protected]>

add pure symbolic mode to esilsolve and add janky esilcheck

f25f51a42d2d504092503a82a39d924c8ca89e7c authored almost 5 years ago by aemmitt-ns <[email protected]>

small changes to tests

f6f8de50067f65f53a1399528b379ac3a6b2f0c9 authored almost 5 years ago by aemmitt-ns <[email protected]>

redo (almost) all the naming to be the standard

539d6770dd6822b999f9cefc17120fe8d65a6daf authored almost 5 years ago by aemmitt-ns <[email protected]>

make small improvements and removals

6cb55f1865dd5ef458c8f3176b662a2fa27cbf9d authored almost 5 years ago by aemmitt-ns <[email protected]>

Merge pull request #1 from aemmitt-ns/reorganization

Reorganization

f1bfa82aa641d786446f06b51bddf066195c1716 authored almost 5 years ago by aemmitt-ns <[email protected]>