A compiler-level intermediate representation based binary analysis and rewriting system
Reverse engineering of binary device drivers with RevNIC