Refining Static Analyses by Trace-Based Partitioning Using Control Flow-Reference-Cited by-同舟云学术

Refining Static Analyses by Trace-Based Partitioning Using Control Flow

Published:1998 Issue: Volume: Page:200-214
ISSN:0302-9743
Container-title:Static Analysis
language:
Short-container-title:

Author:

Handjieva Maria,Tzolovski Stanislav

Publisher

Springer Berlin Heidelberg

Link

http://link.springer.com/content/pdf/10.1007/3-540-49727-7_12

Reference12 articles.

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.

Cited by 34 articles. 订阅此论文施引文献订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献

1. Bubaak-SpLit: Split what you cannot verify (Competition contribution);Lecture Notes in Computer Science;2024

2. Clustered Relational Thread-Modular Abstract Interpretation with Local Traces;Programming Languages and Systems;2023

3. Trace-based control-flow analysis;Proceedings of the 42nd ACM SIGPLAN International Conference on Programming Language Design and Implementation;2021-06-18

4. Disjunctive Interval Analysis;Static Analysis;2021

5. A Theoretical Foundation of Sensitivity in an Abstract Interpretation Framework;ACM Transactions on Programming Languages and Systems;2018-08-29