Reopt: recompiling compiled code to do enhanced optimizations. It works by mapping binaries into LLVM byte code, using the LLVM optimization passes to optimize the LLVM, and then combining the newly generated into the binary to generate a new executable.https://github.com/GaloisInc/reopt
-
-
How does it avoid transforming asm that was originally written as asm (and that may have reasons why any transformation at all would be invalid)?
2 replies 0 retweets 4 likes
Think of things like restartable sequences. d82991a8688ad128b46db1b42d5d84396487a508
3:28 PM - 30 Jul 2018
0 replies
0 retweets
1 like
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.