correctcomputation / checkedc-clang
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.
☆14Updated 2 years ago
Alternatives and similar repositories for checkedc-clang:
Users that are interested in checkedc-clang are comparing it to the libraries listed below
- Source code for the equivalence checker presented in the PLDI 2019 paper, "Semantic Program Alignment for Equivalence Checking"☆40Updated 4 years ago
- MIT's abstract interpretation class taught by Cousot☆38Updated 10 years ago
- Interactive Control Flow Graph Visualization.☆31Updated 3 years ago
- A new context, field, and array-sensitive heap analysis for LLVM bitcode based on DSA.☆163Updated 7 months ago
- Runtime type and bounds-error checking for C/C++☆101Updated last month
- SMT solver for the theory of floating-point arithmetic☆26Updated 6 years ago
- LLVM-based type and memory allocation tracking sanitizer☆51Updated this week
- Manipulate C-family ASTs with Clang☆64Updated 6 years ago
- Program analysis tools developed at Draper on the CBAT project.☆102Updated last year
- Configurable instrumentation of LLVM bitcode☆33Updated last month
- Dynamic Program Slicing in LLVM Compiler☆136Updated 6 years ago
- CCG is a random C Code Generator☆43Updated 2 years ago
- An LLVM-based formal verification frontend for C programs.☆24Updated 3 years ago
- A (concrete or symbolic) implementation of IEEE-754 / SMT-LIB floating-point☆39Updated 2 years ago
- Generate project templates for executables that use LLVM and LLVM passes☆52Updated 2 years ago
- Semantics of x86-64 in K☆145Updated 4 years ago
- ☆51Updated 8 years ago
- A library for building abstract interpretation-based analyses☆236Updated 2 months ago
- Replication package for Mining Input Grammars From Dynamic Control Flow☆24Updated 4 years ago
- Fuzzer and generator for string and regex problems in SMT-LIB 2.x format.☆20Updated 3 years ago
- An LLVM sanitizer tutorial☆198Updated 2 years ago
- Constraint solver based on coverage-guided fuzzing☆240Updated last year
- Static Analyzer and Verifier☆46Updated 3 months ago
- SCTBench: a set of C/C++ pthread benchmarks for evaluating concurrency testing techniques.☆28Updated 3 years ago
- Material for an LLVM Tutorial presented at LLVM Dev Meeting 2015☆48Updated 7 years ago
- KLEE's version of uClibc☆50Updated 7 months ago
- manipulate LLVM IR files☆32Updated 9 years ago
- Static Slicer for LLVM☆65Updated 9 years ago
- ☆35Updated last year
- Symbolic Program Slicing with LLVM☆77Updated 4 years ago