Ecosyste.ms: OpenCollective
An open API service for software projects hosted on Open Collective.
github.com/radareorg/esilsolve
A python symbolic execution framework using radare2's ESIL (Evaluable String Intermediate Language)
https://github.com/radareorg/esilsolve
remove unecessary stuff
a2fdb1b4727d3af9e1b1475d4d1a8b0b15f0daaa authored about 5 years ago
a2fdb1b4727d3af9e1b1475d4d1a8b0b15f0daaa authored about 5 years ago
reorganize esilsolve in myriad ok ways
ea8ae85079beaa28106e7be80646c2fe48b0a6f1 authored about 5 years ago
ea8ae85079beaa28106e7be80646c2fe48b0a6f1 authored about 5 years ago
begin reorganization of esil parsing and execution into separate class
8ed0f00aec2e5358c326689c2bcbe88d6d20f02a authored about 5 years ago
8ed0f00aec2e5358c326689c2bcbe88d6d20f02a authored about 5 years ago
small fixes
36b7830683926134e68fd613ce6ef959c857871b authored about 5 years ago
36b7830683926134e68fd613ce6ef959c857871b authored about 5 years ago
fix extvalue thing
494f5853408e14520fb8d8dbbae848261e284a80 authored about 5 years ago
494f5853408e14520fb8d8dbbae848261e284a80 authored about 5 years ago
concretize memory and add some error checking
ac8ede22be79a51a798ee93d12a83dabfd407fdd authored about 5 years ago
ac8ede22be79a51a798ee93d12a83dabfd407fdd authored about 5 years ago
add state management, fix cf/bf flag ult, pop fixed value size
d799123b5a4eaa15edbc70aae97a3531e9df8795 authored about 5 years ago
d799123b5a4eaa15edbc70aae97a3531e9df8795 authored about 5 years ago
add disorganized state management and cloning, properly handling sym pc values etc
724d83eaaebf20955ab16518193aa08fb67c2d8a authored about 5 years ago
724d83eaaebf20955ab16518193aa08fb67c2d8a authored about 5 years ago
change some things to try to fix the BV2Int issue, failed, I'm gonna nuke everything now and do it right
71cc71f9fb426988df363e5f37dc08a9772d571b authored about 5 years ago
71cc71f9fb426988df363e5f37dc08a9772d571b authored about 5 years ago
fix small issues relating to bv/int clean up unnecessary deepcopy
1d0352f3df0e7290322106f7bb8eed8bbb626f66 authored about 5 years ago
1d0352f3df0e7290322106f7bb8eed8bbb626f66 authored about 5 years ago
complete redesign of how registers work
9ac475d2d748a72c8a3d4287f05d524feaf7518b authored about 5 years ago
9ac475d2d748a72c8a3d4287f05d524feaf7518b authored about 5 years ago
a handful of shitty changes that didn't really advance the project much
2812b3cef67cf514983d648d1e8a19b0517ccdde authored about 5 years ago
2812b3cef67cf514983d648d1e8a19b0517ccdde authored about 5 years ago
get rid of arch and add ipa test
9e59554651999c19420ae784afc72f3a88a97293 authored about 5 years ago
9e59554651999c19420ae784afc72f3a88a97293 authored about 5 years ago
fix the addState statement mistakenly left in
3dfa650c12134f00867dedad6b6ad8a3076cc12c authored about 5 years ago
3dfa650c12134f00867dedad6b6ad8a3076cc12c authored about 5 years ago
prepare for better handling of conditionals and make plugin slightly more useful
e63f7068ef3c9b1a7a9cf5f2527015b4ea862955 authored about 5 years ago
e63f7068ef3c9b1a7a9cf5f2527015b4ea862955 authored about 5 years ago
Merge branch 'master' of github.com:aemmitt-ns/esilsolve
fb46ef8440773d2a4b2cac2d2672c13eea6bb53f authored about 5 years ago
fb46ef8440773d2a4b2cac2d2672c13eea6bb53f authored about 5 years ago
small cahnges to support arm
5bbe2c5917a9530f2bb9bee9bdef005b2b0ae89e authored about 5 years ago
5bbe2c5917a9530f2bb9bee9bdef005b2b0ae89e authored about 5 years ago
add bare bones plugin
50ec0d6e4f2433712a5c3e2066147382163bf9c3 authored about 5 years ago
50ec0d6e4f2433712a5c3e2066147382163bf9c3 authored about 5 years ago
fixed signed multiplication issue, maybe not well, and the parity flag inconsistency
3f4ec53cf1f39df423cfe1f7fdd3f759039095f4 authored over 5 years ago
3f4ec53cf1f39df423cfe1f7fdd3f759039095f4 authored over 5 years ago
add some fixes and the weak eq operator which is not right yet
6176e59ecd74432ec1838f0ac2b0fd76bcf996d2 authored over 5 years ago
6176e59ecd74432ec1838f0ac2b0fd76bcf996d2 authored over 5 years ago
refactor how registers are handled on the stack so it isn't gross
cdbc5cd844c3b93b017655f5767c588dfad57d7e authored over 5 years ago
cdbc5cd844c3b93b017655f5767c588dfad57d7e authored over 5 years ago
Add tests dir
5e66dff69222e221a1239bb5ff2a00bf03113f73 authored over 5 years ago
5e66dff69222e221a1239bb5ff2a00bf03113f73 authored over 5 years ago
Add a lot of bad code to make a working demo of solving a simplish program
8060d22ce2988a1f725bedbdb35edf3eadfc58b3 authored over 5 years ago
8060d22ce2988a1f725bedbdb35edf3eadfc58b3 authored over 5 years ago
Add ESILState and major refactoring to prepare for state management
cd8ceb5590f3e5367a0191b6244823ff8f620d43 authored over 5 years ago
cd8ceb5590f3e5367a0191b6244823ff8f620d43 authored over 5 years ago
Change main slightly
483b16947c3c01010ae7d54fd0d6c646fc3094f6 authored over 5 years ago
483b16947c3c01010ae7d54fd0d6c646fc3094f6 authored over 5 years ago
Add a memory interface to support peek and poke operations
59aebc05163e0bee8aa82e4705aa94b0d2838cf2 authored over 5 years ago
59aebc05163e0bee8aa82e4705aa94b0d2838cf2 authored over 5 years ago
Lay out some structure for memory, and reading / writing from r2
64510503fdcd05f5cb15d6d18e836609a6b98859 authored over 5 years ago
64510503fdcd05f5cb15d6d18e836609a6b98859 authored over 5 years ago
Add unsat exception
c20c105bf66835d6877a6f19dec0d9c713085065 authored over 5 years ago
c20c105bf66835d6877a6f19dec0d9c713085065 authored over 5 years ago
Registers can be accessed with their alias in the same way as access with the reg name
bd9bfc79dda2d876409d3fc14792f2ad9731b61b authored over 5 years ago
bd9bfc79dda2d876409d3fc14792f2ad9731b61b authored over 5 years ago
Small changes to esilsolve and r2api to allow passed in r2pipe
eb6f0955b9500e88bb2cb1a5d21e67112475424f authored over 5 years ago
eb6f0955b9500e88bb2cb1a5d21e67112475424f authored over 5 years ago
Add conditionals, flag ops, extend supported opcodes, and change organization
296bcca0904275cfc093bc52f68cc0b412def0aa authored over 5 years ago
296bcca0904275cfc093bc52f68cc0b412def0aa authored over 5 years ago
Add sub registers (ax, ah, etc) and add a ESILRegisters class
219fcaeeb74a971b513f3b8c69dfa0454a98484c authored over 5 years ago
219fcaeeb74a971b513f3b8c69dfa0454a98484c authored over 5 years ago
Fix esilsolve typo
20cdc546230775d5d272edbd91eb0bddc1a03ced authored over 5 years ago
20cdc546230775d5d272edbd91eb0bddc1a03ced authored over 5 years ago
Add the preliminary work on the esil solver
6624a28fd34d1e46f83d69b41a95956d0fb8b691 authored over 5 years ago
6624a28fd34d1e46f83d69b41a95956d0fb8b691 authored over 5 years ago