Evaluating the imprecision of static analysis

This work discusses two non-traditional approaches for evaluating the imprecision of static analysis. The approaches are based on proofs of feasibility or infeasibility that are constructed manually by the experimenters. We also describe our initial experience with these techniques. Categories and Subject Descriptors F.3.2 [Logics and Meanings of Programs]: Semantics of Programming Languages—program analysis General Terms Experimentation, measurement, languages, algorithms Keywords Static analysis, dynamic analysis, analysis precision

• Type: Conference
• Year: 2004
• Where: PASTE
• Authors: Atanas Rountev, Scott Kagan, Michael Gibas
• Keywords: Analysis General Terms, Keywords Static Analysis, PASTE 2004, Static Analysis