The octagon abstract domain

Reverse Engineering - Working Conference Proceedings

Volumn , Issue , 2001, Pages 310-319

  Mine A ^a  

^a ECOLE NORMALE SUPÉRIEURE   (France)

Author keywords

Abstract domains; Abstract interpretation; Linear invariants; Safety analysis; Static analysis tools

Indexed keywords

ALGORITHMS; APPROXIMATION THEORY; GRAPH THEORY; SAFETY TESTING;

OCTAGON ABSTRACT DOMAIN;

ABSTRACTING;

EID: 0034781047     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: None     Document Type: Conference Paper

References (21)

1. A new numerical abstract domain based on difference-bound matrices
2. Abstract interpretation: A unified lattice model for static analysis of programs by construction or approximation of fixpoints
3. Systematic design of program analysis frameworks
4. Static determination of dynamic properties of programs
5. Automatic discovery of linear restraints among variables of a program
6. Deciding linear inequalities by computing loop residues
7. A unit two variable per inequality integer constraint solver for constraint logic programming
8. Model-checking timed automata
9. Efficient verification of real-time systems: Compact data structure and state-space reduction
10. Automatic removal of array memory leaks in java
11. Abstract debugging of higher-order imperative languages
12. Interprocedural may-alias analysis for pointers: Beyond k-limiting
13. Cleanness checking of string manipulations in C programs via integer analysis
14. Abstract interpretation and application to logic programs
15. A new solution of Dijkstra's concurrent programming problem
16. Clock difference diagrams
17. Difference decision diagrams