Behave or be watched
Akshay Kumar, Peter Goodman, Ashvin Goel, Angela Demke Brown · 2013
Finding, understanding, and fixing bugs in an operating system is challenging. Dynamic binary translation (DBT) systems provide a powerful facility for building program analysis and debugging tools. However, DBT abstractions are too low-level and provide limited contextual information for instrumentation tools.