A compiler-level intermediate representation based binary analysis and rewriting system
efficient , transparent , and comprehensive runtime code manipulation .