CBMC-SSM: Bounded Model Checking of C Programs with Symbolic Shadow Memory-Reference-Cited by-同舟云学术

CBMC-SSM: Bounded Model Checking of C Programs with Symbolic Shadow Memory

Published:2022-10-10 Issue: Volume: Page:
ISSN:
Container-title:Proceedings of the 37th IEEE/ACM International Conference on Automated Software Engineering
language:
Short-container-title:

Author:

Fischer Bernd¹^ORCID,La Torre Salvatore²^ORCID,Parlato Gennaro³^ORCID,Schrammel Peter⁴^ORCID

Affiliation:

1. Stellenbosch University, South Africa

2. University of Salerno, Italy

3. University of Molise, Italy

4. University of Sussex and Diffblue Ltd, United Kingdom

Funder

Gruppo Nazionale per il Calcolo Scientifico

Amazon Web Services

Publisher

ACM

Link

https://dl.acm.org/doi/pdf/10.1145/3551349.3559523

Reference14 articles.

1. [ 1 ] F., D., and D. R.. Sys : A static/symbolic tool for finding good bugs in good (browser) code . USENIX Security Symp. , pp.99– 216 . USENIX Assoc., 2020. [1] F., D., and D. R.. Sys: A static/symbolic tool for finding good bugs in good (browser) code. USENIX Security Symp., pp.99–216. USENIX Assoc., 2020.

2. [ 2 ] C., D., and D. R.. KLEE : unassisted and automatic generation of high-coverage tests for complex systems programs . OSDI , pp.09– 224 . USENIX Assoc., 2008. [2] C., D., and D. R.. KLEE: unassisted and automatic generation of high-coverage tests for complex systems programs. OSDI, pp.09–224. USENIX Assoc., 2008.

3. A tool for checking ANSI-C programs. TACAS;LNCS 2988,2004

4. SMT-Based Bounded Model Checking for Embedded ANSI-C Software

5. [ 5 ] O., T. L., B., S.{ La Torre , and G.. Lazy -CSeq : A context-bounded model checking tool for multi-threaded C-programs . ASE , pp.07– 812 . IEEE Comp.., 2015. [5] O., T. L., B., S.{La Torre, and G.. Lazy-CSeq: A context-bounded model checking tool for multi-threaded C-programs. ASE, pp.07–812. IEEE Comp.., 2015.

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

1. Static Data Race Detection via Lazy Sequentialization;Lecture Notes in Computer Science;2024