Refining static analyses by trace-based partitioning using control flow

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Volumn 1503 LNCS, Issue , 1998, Pages 200-214

  Handjieva, Maria ^a   Tzolovski, Stanislav ^a  

^a ÉCOLE POLYTECHNIQUE   (France)

Author keywords

Abstract interpretation; Reduced cardinal power; Trace semantics

Indexed keywords

SEMANTICS;

ABSTRACT DOMAINS; ABSTRACT INTERPRETATIONS; CONVEX POLYHEDRONS; LINEAR CONGRUENCES; PROGRAM EXECUTION; REDUCED CARDINAL POWER; SYSTEMATIC METHOD; TRACE SEMANTICS;

STATIC ANALYSIS;

EID: 84904988866     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/3-540-49727-7_12     Document Type: Conference Paper

References (12)

1. F. Bourdoncle. Abstract interpretation by dynamic partitioning. Journal of Functional Programming, 2(4) (1992) 407-435.
2. P. Cousot. Semantic Foundations of Program Analysis. In Muchnick and Jones Eds. Program Flow Analysis, Theory and Applications, pp. 303-343, Prentice-Hall, 1981.
3. P. Cousot and R. Cousot. Static determination of dynamic properties of programs, In Proceedings of the 2nd Int. Symposium on Programming, pp. 106-130, 1976.
4. P. Cousot and R. Cousot. Abstract interpretation: a unified lattice model for static analysis of programs by construction or approximation of fixpoints. In Proceedings of the 4th ACM Symposium on Principles of Programming Languages, pp. 238-252, 1977.
5. P. Cousot, and R. Cousot, Systematic Design of Program Analysis frameworks. In Proceedings of the 6th ACM Symposium on Principles of Programming Languages, pp. 269-282, 1979.
6. P. Cousot, and R. Cousot, Abstract Interpretation and Application to Logic Programs. In Journal of Logic Programming, pp. 103-179, 1992.
7. P. Cousot and N. Halbwachs. Automatic discovery of linear restraints among variables of a program. In Proceedings of the 5th Annual ACM Symposium on Principles of Programming Languages, pp. 84-97, 1978.
8. G. Filé and F. Ranzato, Improving abstract interpretations by systematic lifting to the powerset. In Proceedings of the International Logic Programming Symposium, Ithaca, NY, pages 655-669. The MIT Press, 1994.
9. P. Granger, Static analysis of linear congruence equalities among variables of a program, In Proceedings of the International Joint Conference on Theory and Practice of Software Development, pp. 169-192, number 493 in LNCS, 1991.
10. N. Halbwachs and Y.-E. Proy and P. Raymond, Verification of linear hybrid systems by means of convex approximations, In Proceedings of the International Static Analysis Symposium, pp. 223-237, number 864 in LNCS, 1994.
11. F. Masdupuy. Array operations abstractions using semantics analysis of trapezoid congruences. In Proceedings of the International Conference on Supercomputing, Washington, 1992.
12. A. Schrijver, Theory of Linear and Integer Programming, John Wiley & Sons, 1986.