Semantics-aware trace analysis

As computer systems continue to become more powerful and comdo programs. High-level abstractions introduced to deal with complexity in large programs, while simplifying human reasoning, can often obfuscate salient program properties gleaned from automated source-level analysis through subtle (often nonlocal) interactions. Consequently, understanding the effects of program changes and whether these changes violate intended protocols become difficult to infer. Refactorings, and feature additions, modifications, or removals can introduce hard-to-catch bugs that often go undetected until many revisions later. To address these issues, this paper presents a novel dynamic program analysis that builds a semantic view of program executions. ews reflect program abstractions and aspects; however, views are not simply projections of execution traces, but are linked other to capture semantic interactions among abstractions at different levels of granularity in a scalable manner. We describe our ap...

• Type: Conference
• Year: 2009
• Where: PLDI
• Authors: Kevin J. Hoffman, Patrick Eugster, Suresh Jagannathan
• Keywords: Dynamic Program Analysis, PLDI 2009, Program Abstractions, Programming Languages, Salient Program Properties