Clang static checker that carries out tainting analysis.
☆88Mar 25, 2018Updated 8 years ago
Alternatives and similar repositories for taintchecker
Users that are interested in taintchecker are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- Implementation of Taint Tracking in LLVM compiler.☆10Jan 1, 2013Updated 13 years ago
- Gives tainting information for the provided bitcode file generated from binary.☆44Sep 27, 2017Updated 8 years ago
- An llvm pass to perform taint analysis on your code.☆37Sep 25, 2019Updated 6 years ago
- clang checker to find heartbleed☆86Apr 28, 2014Updated 12 years ago
- 面向软件安全的污点数据检测系统☆24Jul 26, 2016Updated 9 years ago
- Deploy on Railway without the complexity - Free Credits Offer • AdConnect your repo and Railway handles the rest with instant previews. Quickly provision container image services, databases, and storage volumes.
- implementation of ideas from 'Neutaint: Efficient Dynamic Taint Analysis with Neural Networks'☆14Sep 17, 2019Updated 6 years ago
- An LLVM-based instrumentation tool for universal taint tracking, dataflow analysis, and tracing.☆591Feb 20, 2026Updated 2 months ago
- libdft for Intel Pin 3.x and 64 bit platform. (Dynamic taint tracking, taint analysis)☆270Feb 21, 2025Updated last year
- FuZZan: Efficient Sanitizer Metadata Design for Fuzzing☆125Mar 31, 2021Updated 5 years ago
- taint tracer/analysis pintool☆26Jul 3, 2014Updated 11 years ago
- Dytan Taint Analysis Framework on Linux 64-bit☆46Aug 7, 2014Updated 11 years ago
- A hacky clang analyzer checker that looks for potentially exploitable kernel integer overflows.☆20May 13, 2018Updated 7 years ago
- Superion Mutator for AFLPlusPlus☆31Dec 5, 2023Updated 2 years ago
- Efficient Multi-threaded Binary Code Control Flow Profiling Pintool☆23Jul 30, 2016Updated 9 years ago
- Deploy on Railway without the complexity - Free Credits Offer • AdConnect your repo and Railway handles the rest with instant previews. Quickly provision container image services, databases, and storage volumes.
- Demos of and walkthroughs on in-browser fuzzing using WebAssembly☆124Dec 13, 2019Updated 6 years ago
- Dtaint: taint analysis based on DFSan and llvm instrumentation☆28Dec 28, 2021Updated 4 years ago
- ☆21Feb 15, 2022Updated 4 years ago
- Slow llvm tracing for the masses☆14Feb 22, 2020Updated 6 years ago
- DR.CHECKER : A Soundy Vulnerability Detection Tool for Linux Kernel Drivers☆338Apr 30, 2022Updated 4 years ago
- Map2Check: Finding Software Vulnerabilities☆30Nov 13, 2020Updated 5 years ago
- 基于clang static analyzer的源码漏洞检测插件☆199May 8, 2019Updated 6 years ago
- A LLVM-based static analysis framework.☆1,040Updated this week
- Grey-box fuzzer SIVO☆13Jul 11, 2021Updated 4 years ago
- Deploy to Railway using AI coding agents - Free Credits Offer • AdUse Claude Code, Codex, OpenCode, and more. Autonomous software development now has the infrastructure to match with Railway.
- Clang Static Analyzer with use-after-free and double-free checkers☆15Jul 24, 2015Updated 10 years ago
- ☆388Oct 28, 2019Updated 6 years ago
- A taint-tracking plugin for the Valgrind memory checking tool☆266May 30, 2025Updated 11 months ago
- Valgrind extension for whitebox fuzz testing☆30Jul 10, 2009Updated 16 years ago
- An easy guide to Clang Static Analyzer extension.☆144Mar 21, 2020Updated 6 years ago
- Static Value-Flow Analysis Framework for Source Code☆1,673Updated this week
- Minemu is a minimal emulator for dynamic taint analysis ( this is a mirror of https://minemu.org/code/minemu.git )☆44Jul 17, 2020Updated 5 years ago
- Blizzard CTF 2017: Sombra True Random Number Generator (STRNG).☆18May 20, 2018Updated 7 years ago
- A faster,smaller,Address Sanitizer,200X Faster,95% Smaller.☆18Jan 4, 2022Updated 4 years ago
- 1-Click AI Models by DigitalOcean Gradient • AdDeploy popular AI models on DigitalOcean Gradient GPU virtual machines with just a single click. Zero configuration with optimized deployments.
- Assorted pintools☆30Mar 30, 2020Updated 6 years ago
- Read-only mirror of the Klever Git repository☆25Apr 27, 2026Updated last week
- Agamotto: Accelerating Kernel Driver Fuzzing with Lightweight Virtual Machine Checkpoints☆127Jun 18, 2020Updated 5 years ago
- Facilitating control-flow hijacking primitive evaluation for Linux kernel vulnerability☆63Sep 4, 2019Updated 6 years ago
- Safe Rust bindings to the DynamoRIO dynamic binary instrumentation framework.☆23Updated this week
- Program Analysis for LLVM☆38Mar 25, 2017Updated 9 years ago
- ☆18Aug 7, 2020Updated 5 years ago