CCured, type-safe retrofitting of legacy code
From MaRDI portal
Publication:5178902
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
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
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)