A compiler-level intermediate representation based binary analysis and rewriting system. - Kapil Anand; Matthew Smithson; Khaled Elwazeer; Aparna Kotha; Jim Gruen; Nathan Giles; Rajeev Barua (EuroSys, 2013)