Implementation of the memory-safe full ANSI-C compiler
Abstract
This paper describes a completely memory-safe compiler for C language programs that is fully compatible with the ANSI C specification.
Related papers
- The CIMS PL/I compiler PLDI 1979
- CBMC-GC: An ANSI C Compiler for Secure Two-Party Computations CC 2014
- MSWasm: Soundly Enforcing Memory-Safe Execution of Unsafe Code POPL 2023
- A promising semantics for relaxed-memory concurrency POPL 2017
- Safe Deferred Memory Reclamation with Types ESOP 2019
- Robustly Safe Compilation, an Efficient Form of Secure Compilation TOPLAS 2021
- From ML to Ada: Strongly-Typed Language Interoperability via Source Translation JFP 1998
- Bug-Assist: Assisting Fault Localization in ANSI-C Programs CAV 2011