correctcomputation / checkedc-clangLinks
This is the primary development repository for 3C, a tool for automatically converting legacy C code to the Checked C extension of C, which aims to enforce spatial memory safety. This repository is a fork of Checked C's.
☆15Updated 3 years ago
Alternatives and similar repositories for checkedc-clang
Users that are interested in checkedc-clang are comparing it to the libraries listed below
Sorting:
- Dynamic Program Slicing in LLVM Compiler☆143Updated 7 years ago
- A new context, field, and array-sensitive heap analysis for LLVM bitcode based on DSA.☆168Updated 2 months ago
- Semantics of x86-64 in K☆168Updated 5 years ago
- Counter-example guided inductive synthesis (CEGIS) implementation for the SMT solver Z3 by Microsoft Research☆57Updated 9 years ago
- A library for building abstract interpretation-based analyses. **Update**: crab is still actively maintained. Please use branch dev.☆250Updated last year
- SMT solver for the theory of floating-point arithmetic☆25Updated 8 years ago
- cclyzer++ is a precise and scalable pointer analysis for LLVM code.☆149Updated last year
- CCG is a random C Code Generator☆43Updated 3 years ago
- Static Analyzer for LLVM bitcode based on Abstract Interpretation. **Update**: clam is still actively maintained. Please use branch dev1…☆287Updated last year
- Runtime type and bounds-error checking for C/C++☆106Updated last year
- SCTBench: a set of C/C++ pthread benchmarks for evaluating concurrency testing techniques.☆32Updated 4 years ago
- Source code for the equivalence checker presented in the PLDI 2019 paper, "Semantic Program Alignment for Equivalence Checking"☆44Updated 5 years ago
- ☆66Updated 6 years ago
- An LLVM-based formal verification frontend for C programs.☆26Updated 4 years ago
- This is a tutorial on how to write an LLVM Pass using the (kind-of) new PassManager. It is compiled from different sources referenced in …☆58Updated 7 years ago
- C/C++ Source-to-Source Tool based on Clang☆88Updated last week
- Static range analysis for the LLVM compiler infrastructure.☆56Updated 6 years ago
- Constraint solver based on coverage-guided fuzzing☆249Updated 2 years ago
- A (concrete or symbolic) implementation of IEEE-754 / SMT-LIB floating-point☆50Updated 2 months ago
- An LLVM sanitizer tutorial☆204Updated 3 years ago
- A survey by the SEASON lab on symbolic execution tools and techniques. The survey has appeared in ACM CSUR in 2018.☆84Updated 7 years ago
- llvm opt fuzzer and bounded exhaustive test generator☆47Updated 3 years ago
- Automatic Binary Parallelisation☆43Updated 11 months ago
- Apron Numerical Abstract Domain Library☆144Updated 10 months ago
- DIVINE model checker git mirror, https://divine.fi.muni.cz. This is a read-only mirror of the main darcs repository. Issues should be rep…☆21Updated 4 years ago
- ☆52Updated 9 years ago
- NeonGoby alias analysis checker☆14Updated 12 years ago
- MetaCG offers an annotated whole program call-graph tool for Clang/LLVM.☆50Updated last week
- Static Analyzer and Verifier☆51Updated last year
- solver for the reachability modulo theories problem☆62Updated 2 years ago