An llvm pass to perform taint analysis on your code.
☆37Sep 25, 2019Updated 7 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
- implementation of ideas from 'Neutaint: Efficient Dynamic Taint Analysis with Neural Networks'☆14Sep 17, 2019Updated 7 years ago
- Implementation of Taint Tracking in LLVM compiler.☆10Jan 1, 2013Updated 13 years ago
- Precise and high-order static points-to/taint analysis based on LLVM IR.☆93Sep 18, 2025Updated last year
- Gives tainting information for the provided bitcode file generated from binary.☆44Sep 27, 2017Updated 9 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.
- Clang static checker that carries out tainting analysis.☆87Mar 25, 2018Updated 8 years ago
- taint tracer/analysis pintool☆26Jul 3, 2014Updated 12 years ago
- 面向软件安全的污点数据检测系统☆24Jul 26, 2016Updated 10 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☆29Sep 16, 2022Updated 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
- An LLVM-based instrumentation tool for universal taint tracking, dataflow analysis, and tracing.☆601Jun 10, 2026Updated 4 months ago
- Concolic Exection Engine for Golang☆10May 16, 2018Updated 8 years ago
- Slow llvm tracing for the masses☆14Feb 22, 2020Updated 6 years ago
- A LLVM Pass with runtime dataflow sanitization☆32Mar 28, 2019Updated 7 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.
- Dynamic Taint Analysis in JavaScript☆16Feb 24, 2011Updated 15 years ago
- Saryn: Fuzzing with Taint Inference☆16Jun 16, 2022Updated 4 years ago
- 15-745 note☆13Jul 16, 2020Updated 6 years ago
- fuzzing + concolic = fuzzolic :)☆131Nov 6, 2025Updated 11 months ago
- A faster,smaller,Address Sanitizer,200X Faster,95% Smaller.☆18Jan 4, 2022Updated 4 years ago
- winafl with mopt mutators and afl fast power schedulers.☆22Feb 2, 2025Updated last year
- SVM Abstrac Verifier tool☆12Oct 13, 2022Updated 4 years ago
- ☆27Oct 3, 2023Updated 3 years ago
- AFL++(2.63c/2.65c) + aflsmart(5ad7ea3)☆11Oct 20, 2020Updated 6 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.
- The fuzzer afl++ is afl with community patches, qemu 5.1 upgrade, collision-free coverage, enhanced laf-intel & redqueen, AFLfast++ power…☆65Feb 28, 2022Updated 4 years ago
- A LLVM Sanitizer for Symbolic Tracing and Under-Constrained Execution☆243Updated this week
- drawing graphs for llvm ir. data flow and control flow☆39Sep 10, 2017Updated 9 years ago
- Symbolic Execution Engine based on Ghidra's PCode☆85Mar 16, 2023Updated 3 years ago
- An extendable and flexible infrastructure for program instrumentation.☆26Sep 9, 2026Updated last month
- ☆21Feb 15, 2022Updated 4 years ago
- Grey-box fuzzer SIVO☆13Jul 11, 2021Updated 5 years ago
- Re-randomizing the memory layout of a process at runtime☆22May 28, 2016Updated 10 years ago
- ☆13Jun 20, 2022Updated 4 years ago
- Virtual machines for every use case on DigitalOcean • AdGet dependable uptime with 99.99% SLA, simple security tools, and predictable monthly pricing with DigitalOcean's virtual machines, called Droplets.
- ☆85Sep 3, 2021Updated 5 years ago
- ☆19Dec 9, 2022Updated 3 years ago
- llvm control flow graph☆26Sep 16, 2019Updated 7 years ago
- ☆15Feb 1, 2020Updated 6 years ago
- ☆102Sep 12, 2021Updated 5 years ago
- Exploit for the [pwn] just-in-time challenge from google ctf 2018's finals (TurboFan bug)☆60Jan 26, 2019Updated 7 years ago
- SymFusion: Hybrid Instrumentation for Concolic Execution☆18May 5, 2023Updated 3 years ago