suspended / Clang-Static-Analyzer-Checkers
Clang Static Analyzer with use-after-free and double-free checkers
☆14Updated 9 years ago
Related projects ⓘ
Alternatives and complementary repositories for Clang-Static-Analyzer-Checkers
- An example LLVM pass which can run automatically in clang.☆36Updated 9 years ago
- 基于clang static analyzer的源码漏洞检测插件☆195Updated 5 years ago
- A LLVM Pass with runtime dataflow sanitization☆32Updated 5 years ago
- Source-to-source transformation to call native symbolic execution library and SMT Kit☆32Updated 10 years ago
- A simple example of defining custom plugins for clang and the clang static analyzer.☆78Updated 3 years ago
- predicate scientific program performance model using llvm☆28Updated 9 years ago
- Slicing tool for c++ programs using clang AST.☆18Updated 3 years ago
- llvm control flow graph☆26Updated 5 years ago
- LLVM dataflow analysis framework; Reaching Definition Analysis; Liveness Analysis, May-point-to Definition Analysis ; inter-procedural m…☆25Updated 4 years ago
- Explore LLVM Bitcode interactively using a graph database☆58Updated 4 years ago
- A collection of code based on LLVM/Clang compilation libraries and tools☆39Updated 4 years ago
- A collection of command-line tools based on Dyninst☆16Updated 3 years ago
- PARTS / LLVM compiler☆31Updated 5 years ago
- An LLVM interpreter that aims to compute points-to sets dynamically☆30Updated 9 years ago
- Static range analysis for the LLVM compiler infrastructure.☆55Updated 5 years ago
- clang checker to find heartbleed☆85Updated 10 years ago
- A binary to LLVM translator☆144Updated 6 years ago
- Clang static checker that carries out tainting analysis.☆87Updated 6 years ago
- A toolkit for building whole-program LLVM bitcode files☆73Updated 3 years ago
- Fast static binary instrumentation for linux/x86☆82Updated 7 years ago
- Generate project templates for executables that use LLVM and LLVM passes☆51Updated 2 years ago
- Collection of various llvm passes☆117Updated 9 years ago
- Exports an LLVM control flow graph (CFG) (including function calls) to JSON☆23Updated 2 years ago
- Low-level IR mutations for LLVM Bitcode☆37Updated last year
- MemLock: Memory Usage Guided Fuzzing☆33Updated 4 years ago
- Visualization of LLVM IR☆60Updated 10 years ago
- Dynamic Program Slicing in LLVM Compiler☆134Updated 6 years ago
- Runtime type and bounds-error checking for C/C++☆101Updated 2 years ago
- SUPA☆28Updated 4 years ago
- Material for an LLVM Tutorial presented at LLVM Dev Meeting 2015☆48Updated 7 years ago