Automatic predicate abstraction of C programs
Top Cited Papers
- 1 May 2001
- proceedings article
- Published by Association for Computing Machinery (ACM)
- Vol. 36 (5) , 203-213
- https://doi.org/10.1145/378795.378846
Abstract
No abstract availableThis publication has 18 references indexed in Scilit:
- Annotation inference for modular checkersPublished by Elsevier ,2001
- Safety checking of machine codePublished by Association for Computing Machinery (ACM) ,2000
- Unification-based pointer analysis with directional assignmentsPublished by Association for Computing Machinery (ACM) ,2000
- BanderaPublished by Association for Computing Machinery (ACM) ,2000
- Improving data-flow analysis with path profilesPublished by Association for Computing Machinery (ACM) ,1998
- Precise interprocedural dataflow analysis via graph reachabilityPublished by Association for Computing Machinery (ACM) ,1995
- Interprocedural modification side effect analysis with pointer aliasingPublished by Association for Computing Machinery (ACM) ,1993
- A General Axiom of AssignmentPublished by Springer Nature ,1982
- Abstract interpretation: a unified lattice model for static analysis of programs by construction or approximation of fixpointsPublished by Association for Computing Machinery (ACM) ,1977
- Implementation of an array bound checkerPublished by Association for Computing Machinery (ACM) ,1977