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.☆38Sep 25, 2019Updated 6 years ago
- clang checker to find heartbleed☆86Apr 28, 2014Updated 11 years ago
- 面向软件安全的污点数据检测系统☆24Jul 26, 2016Updated 9 years ago
- GPU virtual machines on DigitalOcean Gradient AI • AdGet to production fast with high-performance AMD and NVIDIA GPUs you can spin up in seconds. The definition of operational simplicity.
- 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 last month
- 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 4 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☆22Jul 30, 2016Updated 9 years ago
- Managed Database hosting by DigitalOcean • AdPostgreSQL, MySQL, MongoDB, Kafka, Valkey, and OpenSearch available. Automatically scale up storage and focus on building your apps.
- 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☆337Apr 30, 2022Updated 3 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,038Mar 14, 2026Updated last week
- Grey-box fuzzer SIVO☆13Jul 11, 2021Updated 4 years ago
- Managed Kubernetes at scale on DigitalOcean • AdDigitalOcean Kubernetes includes the control plane, bandwidth allowance, container registry, automatic updates, and more for free.
- Clang Static Analyzer with use-after-free and double-free checkers☆15Jul 24, 2015Updated 10 years ago
- ☆387Oct 28, 2019Updated 6 years ago
- A taint-tracking plugin for the Valgrind memory checking tool☆265May 30, 2025Updated 9 months ago
- Valgrind extension for whitebox fuzz testing☆30Jul 10, 2009Updated 16 years ago
- Static Value-Flow Analysis Framework for Source Code☆1,663Updated this week
- An easy guide to Clang Static Analyzer extension.☆144Mar 21, 2020Updated 6 years ago
- 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).☆17May 20, 2018Updated 7 years ago
- Assorted pintools☆30Mar 30, 2020Updated 5 years ago
- DigitalOcean Gradient AI Platform • AdBuild production-ready AI agents using customizable tools or access multiple LLMs through a single endpoint. Create custom knowledge bases or connect external data.
- A faster,smaller,Address Sanitizer,200X Faster,95% Smaller.☆18Jan 4, 2022Updated 4 years ago
- Read-only mirror of the Klever Git repository☆25Feb 12, 2026Updated last month
- 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☆62Sep 4, 2019Updated 6 years ago
- Program Analysis for LLVM☆38Mar 25, 2017Updated 9 years ago
- Safe Rust bindings to the DynamoRIO dynamic binary instrumentation framework.☆21Mar 8, 2025Updated last year
- ☆18Aug 7, 2020Updated 5 years ago