CCured, type-safe retrofitting of legacy code

DOI10.1145/503272.503286MaRDI QIDQ5178902zbMATH OpenOpenAlexFDO

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

Mathematics Subject Classification ID

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)

Recommendations

• scientific article; zbMATH DE number 1956458
• scientific article; zbMATH DE number 1962745
• Interprocedural and flow-sensitive type analysis for memory and type safety of C code
• Low-level liquid types
• State of the Union: Type Inference Via Craig Interpolation

Cited in

(16)

• scientific article; zbMATH DE number 1693522 (Why is no real title available?)
• Stochastic modelling of communication protocols from source code
• Tools to make C programs safe: a deeper study
• Avoid a void: The eradication of null dereferencing
• Inferring effective types for static analysis of C programs
• A type system for static and dynamic checking of C++ pointers
• Combining model checking and testing
• Using static analysis to reduce dynamic analysis overhead
• scientific article; zbMATH DE number 1956458 (Why is no real title available?)
• scientific article; zbMATH DE number 1746460 (Why is no real title available?)
• Vector commitments and their applications
• A Hybrid Approach for Safe Memory Management in C
• Partitioned memory models for program analysis
• scientific article; zbMATH DE number 1962745 (Why is no real title available?)
• State of the Union: Type Inference Via Craig Interpolation
• Interprocedural and flow-sensitive type analysis for memory and type safety of C code

Describes a project that uses

Uses Software

• CCured

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)