xiw / stack
A static checker for identifying unstable code.
☆359Updated 9 years ago
Related projects ⓘ
Alternatives and complementary repositories for stack
- collection of C/C++ programs that try to get compilers to exploit undefined behavior☆174Updated 5 years ago
- Alive: Automatic LLVM's Instcombine Verifier☆219Updated last year
- Lean C/C++ Bounds Checking with Low-Fat Pointers☆176Updated 2 years ago
- Semantics of C in K☆306Updated 2 years ago
- LLVM Profiling Visualization☆83Updated 2 years ago
- Compiler/source code fuzzing tool using AFL instrumentation☆124Updated 6 years ago
- static analysis benchmarks from Toyota ITC☆112Updated last year
- custom type systems for Clang☆96Updated 9 years ago
- ☆108Updated 3 months ago
- Oink is a collaboration of C++ static analysis tools.☆154Updated last year
- Symbiotic is a tool for finding bugs in computer programs based on instrumentation, program slicing and KLEE☆313Updated last week
- API tracing framework for Linux C/C++ applications☆157Updated 8 years ago
- A dynamic analysis framework for concurrent programs (x86 binaries). It is shipped with a few tools written using this framework for test…☆68Updated 7 years ago
- PerfFuzz: Automatically Generate Pathological Inputs for C/C++ programs☆132Updated 4 years ago
- Combining Unit Tests, Fuzzing, and AI☆299Updated 5 years ago
- A minimal toy implementation of strace(1)☆170Updated last year
- This is the archived S2E 1.0 repo. We do not maintain it anymore.☆314Updated 4 years ago
- Source code of the Coccinelle project (mirror of the main Coccinelle repository located at Inria)☆623Updated this week
- minimal symbolic model checker & fuzzer☆111Updated 9 years ago
- CREST is a concolic test generation tool for C.☆158Updated 4 years ago
- Python wrapper for the Clang C++ preprocessor and parser.☆127Updated 10 years ago
- C code refactoring browser☆197Updated 2 months ago
- Binary Translator to LLVM IR☆214Updated last year
- Constraint solver based on coverage-guided fuzzing☆239Updated 11 months ago
- Static Slicer for LLVM☆65Updated 8 years ago
- ☆279Updated last year
- Load-time selective binary rewriting☆152Updated 2 years ago
- ☆110Updated 10 years ago