franchiotta / taintchecker
Clang static checker that carries out tainting analysis.
☆88Updated 7 years ago
Alternatives and similar repositories for taintchecker:
Users that are interested in taintchecker are comparing it to the libraries listed below
- K-Miner☆75Updated 5 years ago
- ☆70Updated 5 years ago
- Seeding fuzzers with symbolic execution☆201Updated 7 years ago
- Gives tainting information for the provided bitcode file generated from binary.☆44Updated 7 years ago
- source code for savior fuzzer☆127Updated 4 years ago
- ☆53Updated 7 years ago
- APISan: Sanitizing API Usages through Semantic Cross-Checking☆63Updated 3 years ago
- ☆74Updated 3 years ago
- Compiler-assisted Code Randomization (CCR) Toolchain☆61Updated 2 years ago
- KLEE / CSE Project☆45Updated 5 years ago
- Dytan Taint Analysis Framework on Linux 64-bit☆46Updated 10 years ago
- ☆37Updated 2 years ago
- Towards Facilitating Exploit Generation of Kernel Out-Of-Bounds Write Vulnerabilities☆86Updated 10 months ago
- List the real world programs evaluated in fuzzing papers.☆56Updated 6 years ago
- ☆64Updated 6 years ago
- An interactive tool for better understanding and intervening fuzzing process via real-time visualization.☆76Updated 2 years ago
- "Seed Selection for Successful Fuzzing" artifact (at ISSTA 2021)☆42Updated 2 years ago
- ☆49Updated 4 years ago
- ☆46Updated 3 years ago
- Precise and high-order static points-to/taint analysis based on LLVM IR.☆73Updated 2 years ago
- Tool for detecting error handling bugs☆22Updated 8 years ago
- git://g.csail.mit.edu/kint☆49Updated 11 years ago
- LRSan: Detecting Lacking-Recheck Bugs in OS Kernels☆29Updated 6 years ago
- CheQ: Automatically Identifying Security Checks for Detecting Kernel Semantic Bugs☆43Updated 5 years ago
- We hinder fuzzing☆67Updated 3 years ago
- ☆44Updated 2 years ago
- ☆90Updated 3 years ago
- Symbolic Execution Over Processor Traces☆120Updated 7 months ago
- OSS-Fuzz - integrated with AFLGo for Patch Testing☆35Updated 7 years ago
- FuZZan: Efficient Sanitizer Metadata Design for Fuzzing☆120Updated 4 years ago