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
-
-
Also, potential for optimization is limited by all accesses at asm level needing to be treated as may_alias (precluding most reordering/vectorization).
Thanks. Twitter will use this to make your timeline better. UndoUndo
-
-
-
Think of things like restartable sequences. d82991a8688ad128b46db1b42d5d84396487a508
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.