BinRec: Dynamic Binary Lifting and Recompilation - View it on GitHub