Semantics-aware trace analysis

11 years 14 days ago
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...
Kevin J. Hoffman, Patrick Eugster, Suresh Jagannat
Added 22 Nov 2009
Updated 22 Nov 2009
Type Conference
Year 2009
Where PLDI
Authors Kevin J. Hoffman, Patrick Eugster, Suresh Jagannathan
Comments (0)