xiw / stack
A static checker for identifying unstable code.
☆361Updated 9 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
- Lean C/C++ Bounds Checking with Low-Fat Pointers☆181Updated 3 years ago
- LLVM Profiling Visualization☆84Updated 3 years ago
- Semantics of C in K☆311Updated 3 years ago
- Oink is a collaboration of C++ static analysis tools.☆155Updated 2 years ago
- Combining Unit Tests, Fuzzing, and AI☆300Updated 6 years ago
- This is the archived S2E 1.0 repo. We do not maintain it anymore.☆314Updated 4 years ago
- Compiler/source code fuzzing tool using AFL instrumentation☆124Updated 6 years ago
- API tracing framework for Linux C/C++ applications☆157Updated 9 years ago
- ☆280Updated last year
- Alive (Automated LLVM's InstCombine Verifier) with automated reasoning for both integer and floating point peephole optimizations in LLVM☆29Updated 5 years ago
- Material for an LLVM Tutorial presented at LLVM Dev Meeting 2015☆49Updated 8 years ago
- ☆110Updated 8 months ago
- A minimal toy implementation of strace(1)☆176Updated last year
- An easy guide to Clang Static Analyzer extension.☆142Updated 5 years ago
- custom type systems for Clang☆97Updated 9 years ago
- Load-time selective binary rewriting☆157Updated 2 years ago
- Source code of the Coccinelle project (mirror of the main Coccinelle repository located at Inria)☆647Updated 2 weeks ago
- static analysis benchmarks from Toyota ITC☆114Updated last year
- DieHard: An error-resistant memory allocator for Windows, Linux, and Mac OS X☆410Updated 2 weeks ago
- Simple Intel CPU processor tracing on Linux☆346Updated 2 years ago
- An amd64 symbolic emulator☆314Updated 3 years ago
- ☆110Updated 11 years ago
- Constraint solver based on coverage-guided fuzzing☆243Updated last year
- a tool for querying Dwarf (debuginfo) graphs☆53Updated 10 months ago
- A static binary rewriter that does not use heuristics☆303Updated 6 years ago
- Debug Information Visual Analyzer☆77Updated 5 months ago
- GCC plugin that embeds CPython inside the compiler☆202Updated 3 years ago
- An optimizing decompiler☆718Updated 4 years ago