xiw / stack
A static checker for identifying unstable code.
☆361Updated 10 years ago
Alternatives and similar repositories for stack:
Users that are interested in stack are comparing it to the libraries listed below
- collection of C/C++ programs that try to get compilers to exploit undefined behavior☆179Updated 6 years ago
- Alive: Automatic LLVM's Instcombine Verifier☆219Updated last year
- Oink is a collaboration of C++ static analysis tools.☆155Updated 2 years ago
- Compiler/source code fuzzing tool using AFL instrumentation☆124Updated 6 years ago
- Semantics of C in K☆314Updated 3 years ago
- ☆280Updated 2 years ago
- This is the archived S2E 1.0 repo. We do not maintain it anymore.☆314Updated 4 years ago
- static analysis benchmarks from Toyota ITC☆113Updated last year
- LLVM Profiling Visualization☆84Updated 3 years ago
- Lean C/C++ Bounds Checking with Low-Fat Pointers☆181Updated 3 years ago
- Load-time selective binary rewriting☆157Updated 2 years ago
- Material for an LLVM Tutorial presented at LLVM Dev Meeting 2015☆49Updated 8 years ago
- Symbiotic is a tool for finding bugs in computer programs based on instrumentation, program slicing and KLEE☆322Updated 2 weeks ago
- An amd64 symbolic emulator☆312Updated 3 years ago
- ☆109Updated 9 months ago
- PerfFuzz: Automatically Generate Pathological Inputs for C/C++ programs☆134Updated 5 years ago
- Combining Unit Tests, Fuzzing, and AI☆301Updated 6 years ago
- SMACK Software Verifier and Verification Toolchain☆437Updated last week
- custom type systems for Clang☆97Updated 9 years ago
- A static binary rewriter that does not use heuristics☆303Updated 6 years ago
- A collection of clang plugins for safer C programming☆91Updated 6 years ago
- Constraint solver based on coverage-guided fuzzing☆244Updated last year
- API tracing framework for Linux C/C++ applications☆157Updated 9 years ago
- Source code of the Coccinelle project (mirror of the main Coccinelle repository located at Inria)☆647Updated last month
- Dynamic Program Slicing in LLVM Compiler☆136Updated 6 years ago
- Simple Intel CPU processor tracing on Linux☆346Updated 2 years ago
- Static Slicer for LLVM☆66Updated 9 years ago
- SeaHorn Verification Framework☆446Updated last month
- ☆112Updated 11 years ago
- An easy guide to Clang Static Analyzer extension.☆142Updated 5 years ago