A Library Modeling Language for the Static Analysis of C Programs-Reference-Cited by-同舟云学术

A Library Modeling Language for the Static Analysis of C Programs

Published:2020 Issue: Volume: Page:223-247
ISSN:0302-9743
Container-title:Static Analysis
language:
Short-container-title:

Author:

Ouadjaout Abdelraouf,Miné Antoine

Publisher

Springer International Publishing

Link

http://link.springer.com/content/pdf/10.1007/978-3-030-65474-0_11

Reference19 articles.

1. Common weakness enumeration: A community-developed list of software weakness types. https://cwe.mitre.org/. Accessed 24 May 2020

2. Lecture Notes in Computer Science;G Balakrishnan,2006

3. Baudin, P., Cuoq, P., Fillâtre, J., Marché, C., Monate, B., Moy, Y., Prevosto, V.: ACSL:ANSI/ISO C Specification Language. http://frama-c.com/acsl.html

4. Bertrane, J., Cousot, P., Cousot, R., Feret, J., Mauborgne, L., Miné, A., Rival, X.: Static analysis and verification of aerospace software by abstract interpretation. In: AIAA Infotech$$@$$Aerospace, pp. 1–38. No. 2010–3385, AIAA, April 2010

5. Black, P.E.: Juliet 1.3 test suite: changes from 1.2. Tech. Rep. NIST TN - 1995, NIST, June 2018

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

1. Formalizing Date Arithmetic and Statically Detecting Ambiguities for the Law;Lecture Notes in Computer Science;2024

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

3. Sound Abstract Nonexploitability Analysis;Lecture Notes in Computer Science;2023-12-30

4. Mopsa-C: Modular Domains and Relational Abstract Interpretation for C Programs (Competition Contribution);Tools and Algorithms for the Construction and Analysis of Systems;2023

5. The e-ACSL perspective on runtime assertion checking;Proceedings of the 5th ACM International Workshop on Verification and mOnitoring at Runtime EXecution;2021-07-11