An llvm pass to perform taint analysis on your code.
☆38Sep 25, 2019Updated 6 years ago
Alternatives and similar repositories for LLVMTaintAnalysis
Users that are interested in LLVMTaintAnalysis are comparing it to the libraries listed below
Sorting:
- Gives tainting information for the provided bitcode file generated from binary.☆44Sep 27, 2017Updated 8 years ago
- Clang static checker that carries out tainting analysis.☆88Mar 25, 2018Updated 7 years ago
- Implementation of Taint Tracking in LLVM compiler.☆10Jan 1, 2013Updated 13 years ago
- Dtaint: taint analysis based on DFSan and llvm instrumentation☆28Dec 28, 2021Updated 4 years ago
- Slow llvm tracing for the masses☆14Feb 22, 2020Updated 6 years ago
- implementation of ideas from 'Neutaint: Efficient Dynamic Taint Analysis with Neural Networks'☆14Sep 17, 2019Updated 6 years ago
- ☆26Oct 3, 2023Updated 2 years ago
- Source code of a few LLVM passes that I wrote to learn and that now I am sharing for my LLVM course for security engineering☆28Sep 16, 2022Updated 3 years ago
- 面向软件安全的污点数据检测系统☆24Jul 26, 2016Updated 9 years ago
- Concolic Exection Engine for Golang☆10May 16, 2018Updated 7 years ago
- SVM Abstrac Verifier tool☆12Oct 13, 2022Updated 3 years ago
- AFL++(2.63c/2.65c) + aflsmart(5ad7ea3)☆11Oct 20, 2020Updated 5 years ago
- Grey-box fuzzer SIVO☆13Jul 11, 2021Updated 4 years ago
- Exploits from the Finding and Preventing Bugs in JavaScript Bindings paper☆10May 22, 2017Updated 8 years ago
- Precise and high-order static points-to/taint analysis based on LLVM IR.☆90Sep 18, 2025Updated 5 months ago
- An LLVM-based instrumentation tool for universal taint tracking, dataflow analysis, and tracing.☆588Feb 20, 2026Updated last week
- ☆103Sep 12, 2021Updated 4 years ago
- taint tracer/analysis pintool☆26Jul 3, 2014Updated 11 years ago
- Ghidra is a software reverse engineering (SRE) framework☆17Jul 26, 2019Updated 6 years ago
- JS modules for Frida based tools to add code coverage to your instrumentation scripts.☆26Jan 16, 2019Updated 7 years ago
- A hacky clang analyzer checker that looks for potentially exploitable kernel integer overflows.☆20May 13, 2018Updated 7 years ago
- A faster,smaller,Address Sanitizer,200X Faster,95% Smaller.☆18Jan 4, 2022Updated 4 years ago
- infrastructure for building a complete swift, clang, llvm toolchain☆20Oct 1, 2020Updated 5 years ago
- fuzzing + concolic = fuzzolic :)☆127Nov 6, 2025Updated 3 months ago
- winafl with mopt mutators and afl fast power schedulers.☆22Feb 2, 2025Updated last year
- drawing graphs for llvm ir. data flow and control flow☆40Sep 10, 2017Updated 8 years ago
- Symbolic Execution Engine based on Ghidra's PCode☆84Mar 16, 2023Updated 2 years ago
- ☆21Feb 15, 2022Updated 4 years ago
- ☆24May 18, 2021Updated 4 years ago
- a few Ghidra scripts for dumping PCode data☆50May 21, 2019Updated 6 years ago
- Safe Rust bindings to the DynamoRIO dynamic binary instrumentation framework.☆21Mar 8, 2025Updated 11 months ago
- Source code of MEUZZ fuzzer☆46Dec 11, 2021Updated 4 years ago
- All virtualization escape challenges and writeups in RealWorldCTF☆89Jan 14, 2019Updated 7 years ago
- An LLVM pass to profile dynamic LLVM IR instructions and runtime values☆141Nov 28, 2020Updated 5 years ago
- A Linux Kernel Module that implements a fast snapshot mechanism for fuzzing.☆141Aug 17, 2021Updated 4 years ago
- Backward Taint Analysis (GUI) on Desktop : Analyzing trace log to determine exploitability by tracking data propagation☆49Jan 6, 2017Updated 9 years ago
- Reward Guided Test Generation for Deep Learning☆21Aug 2, 2024Updated last year
- First level taint implementation with qemu for linux user mode☆28Aug 11, 2020Updated 5 years ago
- A LLVM Sanitizer for Symbolic Tracing☆234Feb 7, 2026Updated 3 weeks ago