CCured
From MaRDI portal
Cited in
(38)- SACLIB
- Zing
- CalFuzzer
- MiBench
- A type system for static and dynamic checking of C++ pointers
- AnZenMail
- ADL
- ConTest
- Cyclone
- RacerX
- Insure++
- MOPS
- YOGI
- SAFECode
- CSSV
- Stochastic modelling of communication protocols from source code
- Formalizing the SAFECode type system
- Partitioned memory models for program analysis
- Looper
- Combining model checking and testing
- HAVOC
- Privtrans
- Pointer Analysis, Conditional Soundness, and Proving the Absence of Errors
- CATG
- CIL
- scientific article; zbMATH DE number 1962745 (Why is no real title available?)
- scientific article; zbMATH DE number 2087570 (Why is no real title available?)
- CCured, type-safe retrofitting of legacy code
- Compositional may-must program analysis: unleashing the power of alternation
- Unifying type checking and property checking for low-level code
- Software Model Checking: Searching for Computations in the Abstract or the Concrete
- Extracting Zing Models from C Source Code
- Computer Algebra in Scientific Computing
- Con2colic
- A hybrid approach to enhancing the reliability of software
- Tools and Algorithms for the Construction and Analysis of Systems
- State of the Union: Type Inference Via Craig Interpolation
- Using static analysis to reduce dynamic analysis overhead
This page was built for software: CCured
