Combination of Abstractions in the ASTRÉE Static Analyzer-Reference-Cited by-同舟云学术

Combination of Abstractions in the ASTRÉE Static Analyzer

Published:2007 Issue: Volume: Page:272-300
ISSN:0302-9743
Container-title:Advances in Computer Science - ASIAN 2006. Secure Software and Related Issues
language:
Short-container-title:

Author:

Cousot Patrick,Cousot Radhia,Feret Jérôme,Mauborgne Laurent,Miné Antoine,Monniaux David,Rival Xavier

Publisher

Springer Berlin Heidelberg

Link

http://link.springer.com/content/pdf/10.1007/978-3-540-77505-8_23

Reference23 articles.

1. Cousot, P., Cousot, R.: Abstract interpretation: a unified lattice model for static analysis of programs by construction or approximation of fixpoints. In: 4th ACM POPL, pp. 238–252 (1977)

2. Cousot, P., Cousot, R.: Abstract interpretation frameworks. Journal of Logic and Computation 2, 511–547 (1992)

3. Lecture Notes in Computer Science;B. Blanchet,2002

4. Blanchet, B., Cousot, P., Cousot, R., Feret, J., Mauborgne, L., Miné, A., Monniaux, D., Rival, X.: A static analyzer for large safety-critical software. In: Proc. ACM SIGPLAN ’2003 Conf, PLDI, San Diego, pp. 196–207. ACM Press, New York (2003)

5. LNCS 3444;P. Cousot,2005

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

1. Compiling with Abstract Interpretation;Proceedings of the ACM on Programming Languages;2024-06-20

2. Mopsa-C: Improved Verification for C Programs, Simple Validation of Correctness Witnesses (Competition Contribution);Lecture Notes in Computer Science;2024

3. Mitigating False Positive Static Analysis Warnings: Progress, Challenges, and Opportunities;IEEE Transactions on Software Engineering;2023-12

4. A Personal Historical Perspective on Abstract Interpretation;The French School of Programming;2023-10-11

5. SSA Translation Is an Abstract Interpretation;Proceedings of the ACM on Programming Languages;2023-01-09