A static binary rewriter that does not use heuristics - View it on GitHub