Evaluating the imprecision of static analysis

7 June 2004

conference paper
Published by Association for Computing Machinery (ACM)

p. 14-16
https://doi.org/10.1145/996821.996829

Abstract

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.

Keywords

INITIAL EXPERIENCE
NON-TRADITIONAL APPROACH
STATIC ANALYSIS
DYNAMIC ANALYSIS

This publication has 3 references indexed in Scilit:

Static and dynamic analysis of call chains in java
Published by Association for Computing Machinery (ACM) ,2004
A framework for call graph construction algorithms
ACM Transactions on Programming Languages and Systems, 2001
Abstract interpretation: a unified lattice model for static analysis of programs by construction or approximation of fixpoints
Published by Association for Computing Machinery (ACM) ,1977