Dan Guido

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..

On the upside, I did get it to successfully decompose libtiff which I recompiled in a working form after adding a version symbol and exporting all symbols as dynamic. Building was relatively smooth, but you need to build souffle from git src on last release tag version

You knowww... LibFuzzer will work on binaries lifted with mcsema? https://github.com/trailofbits/mcsema/blob/master/docs/UsingLibFuzzer.md …

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!