After some testing, it looks like the only thing stopping @GrammaTech ddisasm (which lifts binaries and outputs gnu as compat .s files for recompilation) from being a simple backend for AFL is that it outputs the .s in intel syntax and afl-as is tuned for att syntax..
-
-
Do you know if its compatible with this, or if this could be possible https://saw.galois.com/tutorial.html Binary Equivalence checking using LLVM lifted compared to compiled LLVM, automated through McSema would be very cool!
-
Last time I played with this McSema wasn't as robust, and Fcd didn't play nice when I tried that one later. I just assumed the optimizations required and effort to get close to recompilable was the bottleneck that would eventually get closer. I wasn't worried about modulo names
- 2 more replies
New conversation -
-
-
Ya’ll are probably making my dissertation work easier with McSema
Thanks. Twitter will use this to make your timeline better. UndoUndo
-
Loading seems to be taking a while.
Twitter may be over capacity or experiencing a momentary hiccup. Try again or visit Twitter Status for more information.