An llvm pass to perform taint analysis on your code.
☆37Sep 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. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- Dtaint: taint analysis based on DFSan and llvm instrumentation☆28Dec 28, 2021Updated 4 years ago
- Gives tainting information for the provided bitcode file generated from binary.☆44Sep 27, 2017Updated 8 years ago
- implementation of ideas from 'Neutaint: Efficient Dynamic Taint Analysis with Neural Networks'☆14Sep 17, 2019Updated 6 years ago
- Implementation of Taint Tracking in LLVM compiler.☆10Jan 1, 2013Updated 13 years ago
- Clang static checker that carries out tainting analysis.☆87Mar 25, 2018Updated 8 years ago
- GPUs on demand by Runpod - Special Offer Available • AdRun AI, ML, and HPC workloads on powerful cloud GPUs—without limits or wasted spend. Deploy GPUs in under a minute and pay by the second.
- Slow llvm tracing for the masses☆14Feb 22, 2020Updated 6 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
- Precise and high-order static points-to/taint analysis based on LLVM IR.☆92Sep 18, 2025Updated 10 months ago
- SIGPLAN website☆13Jul 16, 2026Updated last week
- Concolic Exection Engine for Golang☆10May 16, 2018Updated 8 years ago
- An LLVM-based instrumentation tool for universal taint tracking, dataflow analysis, and tracing.☆593Jun 10, 2026Updated last month
- Backward Taint Analysis (GUI) on Desktop : Analyzing trace log to determine exploitability by tracking data propagation☆48Jan 6, 2017Updated 9 years ago
- Dynamic Taint Analysis in JavaScript☆16Feb 24, 2011Updated 15 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.
- SVM Abstrac Verifier tool☆12Oct 13, 2022Updated 3 years ago
- taint tracer/analysis pintool☆26Jul 3, 2014Updated 12 years ago
- ☆26Oct 3, 2023Updated 2 years ago
- Python module to check for system call numbers☆11Sep 18, 2023Updated 2 years ago
- AFL++(2.63c/2.65c) + aflsmart(5ad7ea3)☆11Oct 20, 2020Updated 5 years ago
- Symbolic Execution Engine based on Ghidra's PCode☆84Mar 16, 2023Updated 3 years ago
- winafl with mopt mutators and afl fast power schedulers.☆22Feb 2, 2025Updated last year
- Ghidra is a software reverse engineering (SRE) framework☆17Jul 26, 2019Updated 6 years ago
- a few Ghidra scripts for dumping PCode data☆50May 21, 2019Updated 7 years ago
- Managed hosting for WordPress and PHP on Cloudways • AdManaged hosting for WordPress, Magento, Laravel, or PHP apps, on multiple cloud providers. Deploy in minutes on Cloudways by DigitalOcean.
- drawing graphs for llvm ir. data flow and control flow☆40Sep 10, 2017Updated 8 years ago
- Grey-box fuzzer SIVO☆13Jul 11, 2021Updated 5 years ago
- fuzzing + concolic = fuzzolic :)☆131Nov 6, 2025Updated 8 months ago
- The rev.ng demos☆13Mar 11, 2026Updated 4 months ago
- ☆19Dec 9, 2022Updated 3 years ago
- fuzz the linux kernel bpf verifier☆83Oct 9, 2021Updated 4 years ago
- ☆21Feb 15, 2022Updated 4 years ago
- ☆13Jun 20, 2022Updated 4 years ago
- ☆101Sep 12, 2021Updated 4 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.
- ☆12May 24, 2022Updated 4 years ago
- Repository for Software Security curriculum☆15Apr 19, 2020Updated 6 years ago
- infrastructure for building a complete swift, clang, llvm toolchain☆20Oct 1, 2020Updated 5 years ago
- A LLVM Sanitizer for Symbolic Tracing☆235Jul 14, 2026Updated last week
- A LLVM Pass with runtime dataflow sanitization☆32Mar 28, 2019Updated 7 years ago
- Exploit for the [pwn] just-in-time challenge from google ctf 2018's finals (TurboFan bug)☆60Jan 26, 2019Updated 7 years ago
- A repository for clang plugins development☆12Aug 19, 2018Updated 7 years ago