search

can1357 / retro

Experimental static analysis framework.
10 stars 2 forks source link

why not use pcode/sleigh...? #1

Open CR3Swapper opened 1 year ago

CR3Swapper commented 1 year ago

https://github.com/can1357/retro/tree/master/libretro/src/arch/x86/sema

usa tax dollars already paid for the creation of all lifting of x86 to an IR....

You can have it free.

https://github.com/NationalSecurityAgency/ghidra/blob/master/Ghidra/Processors/x86/data/languages/ia.sinc https://grant-h.github.io/docs/ghidra/decompiler/sleigh.html

Might save you 100 years of development 🖖

CR3Swapper commented 1 year ago

people have already built strong symbolic execution/DSE tools ontop of pcode. You can just inherit from existing code.

https://maat.re/ https://github.com/trailofbits/maat

We should team up and write a compiler/backend for pcode back to x86 mr can :eye: