CCured, type-safe retrofitting of legacy code
DOI10.1145/503272.503286zbMATH Open1323.68382OpenAlexW4234020632MaRDI QIDQ5178902FDOQ5178902
Authors: George C. Necula, Scott McPeak, Westley Weimer 
Publication date: 17 March 2015
Published in: Proceedings of the 29th ACM SIGPLAN-SIGACT symposium on Principles of programming languages (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1145/503272.503286
Recommendations
Theory of programming languages (68N15) Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30) Specification and verification (program logics, model checking, etc.) (68Q60) Functional programming and lambda calculus (68N18) Semantics in the theory of computing (68Q55)
Cited In (17)
- A Hybrid Approach for Safe Memory Management in C
- Title not available (Why is that?)
- Title not available (Why is that?)
- Interprocedural and flow-sensitive type analysis for memory and type safety of C code
- On the edge-length ratio of outerplanar graphs
- State of the Union: Type Inference Via Craig Interpolation
- Vector commitments and their applications
- Avoid a void: The eradication of null dereferencing
- A type system for static and dynamic checking of C++ pointers
- Combining model checking and testing
- Tools to make C programs safe: a deeper study
- Partitioned memory models for program analysis
- Inferring effective types for static analysis of C programs
- Title not available (Why is that?)
- Title not available (Why is that?)
- Stochastic modelling of communication protocols from source code
- Using static analysis to reduce dynamic analysis overhead
Uses Software
This page was built for publication: CCured, type-safe retrofitting of legacy code
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5178902)
