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☆175Updated 5 years ago
- Alive: Automatic LLVM's Instcombine Verifier☆219Updated last year
- Oink is a collaboration of C++ static analysis tools.☆154Updated last year
- static analysis benchmarks from Toyota ITC☆113Updated last year
- Compiler/source code fuzzing tool using AFL instrumentation☆125Updated 6 years ago
- Semantics of C in K☆306Updated 2 years ago
- custom type systems for Clang☆96Updated 9 years ago
- LLVM Profiling Visualization☆83Updated 2 years ago
- Lean C/C++ Bounds Checking with Low-Fat Pointers☆177Updated 2 years ago
- API tracing framework for Linux C/C++ applications☆157Updated 8 years ago
- Symbiotic is a tool for finding bugs in computer programs based on instrumentation, program slicing and KLEE☆313Updated this week
- Material for an LLVM Tutorial presented at LLVM Dev Meeting 2015☆48Updated 7 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
- ☆108Updated 4 months ago
- Static Slicer for LLVM☆65Updated 8 years ago
- PerfFuzz: Automatically Generate Pathological Inputs for C/C++ programs☆132Updated 4 years ago
- ☆279Updated last year
- Load-time selective binary rewriting☆152Updated 2 years ago
- Alive (Automated LLVM's InstCombine Verifier) with automated reasoning for both integer and floating point peephole optimizations in LLVM☆28Updated 5 years ago
- Dynamic Program Slicing in LLVM Compiler☆134Updated 6 years ago
- Combining Unit Tests, Fuzzing, and AI☆299Updated 5 years ago
- A collection of clang plugins for safer C programming☆91Updated 6 years ago
- Constraint solver based on coverage-guided fuzzing☆239Updated 11 months ago
- An easy guide to Clang Static Analyzer extension.☆138Updated 4 years ago
- A minimal toy implementation of strace(1)☆170Updated last year
- SeaHorn Verification Framework☆441Updated 2 months ago
- minimal symbolic model checker & fuzzer☆111Updated 9 years ago
- CREST is a concolic test generation tool for C.☆159Updated 4 years ago