TaintAll, a taint analysis and concolic execution tool
☆31Jan 2, 2017Updated 9 years ago
Alternatives and similar repositories for TaintAll
Users that are interested in TaintAll are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- Fuzzing framework written in OCaml☆33Aug 23, 2016Updated 10 years ago
- A stateful fuzzing engine.☆45Nov 14, 2018Updated 7 years ago
- 面向软件安全的污点数据检测系统☆24Jul 26, 2016Updated 10 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 6 years ago
- Amoeba: Binary Code Diverisfication through Composite Software Diversification☆11Aug 3, 2017Updated 9 years ago
- Proton VPN Special Offer - Get 70% off • AdSpecial partner offer. Trusted by over 100 million users worldwide. Tested, Approved and Recommended by Experts.
- taint tracer/analysis pintool☆26Jul 3, 2014Updated 12 years ago
- x86 Dynamic Binary Translator Library☆33Dec 19, 2020Updated 5 years ago
- Windows平台下的细粒度污点分析工具☆50Mar 16, 2017Updated 9 years ago
- Mobile Application Fuzzer via SSL MITM☆16Jun 13, 2013Updated 13 years ago
- Malware analysis tool based on taint analysis.☆14Jan 29, 2022Updated 4 years ago
- Binary dynamic, static, and symbolic execution analysis tools for directed test generation☆22Nov 14, 2019Updated 6 years ago
- ☆87Jun 5, 2015Updated 11 years ago
- Gives tainting information for the provided bitcode file generated from binary.☆44Sep 27, 2017Updated 9 years ago
- REIL translation library☆36May 6, 2016Updated 10 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.
- Path based Dynamic Analysis☆118Mar 25, 2017Updated 9 years ago
- Angr-based static analysis tool for vusec/vuzzer64 fuzzing tool☆22Aug 3, 2020Updated 6 years ago
- Concolic Execution Fuzzer☆26Sep 22, 2021Updated 5 years ago
- libfuzzerfication - fuzzing for the rest of us!☆62Jan 9, 2017Updated 9 years ago
- libs2e.so☆18Dec 19, 2020Updated 5 years ago
- Very WIP taint analysis for DynamoRIO (ARM)☆21Apr 10, 2018Updated 8 years ago
- ☆53Jun 13, 2019Updated 7 years ago
- ☆16Mar 26, 2017Updated 9 years ago
- S2E plugins library☆17Jan 7, 2020Updated 6 years ago
- Managed Kubernetes at scale on DigitalOcean • AdDigitalOcean Kubernetes includes the control plane, bandwidth allowance, container registry, automatic updates, and more for free.
- Sequitur (context free grammar) fuzzer, maximum code coverage/set covering, plus other tools.☆19Jan 27, 2011Updated 15 years ago
- ☆65Oct 24, 2015Updated 11 years ago
- An updated and cross platform version of @DuIslingr's Nemezisv2.☆10Oct 8, 2016Updated 10 years ago
- Code for my blog post on combining S2E and Kaitai Struct☆15Jun 1, 2019Updated 7 years ago
- integration with IDA☆94May 27, 2021Updated 5 years ago
- Logic-Oriented Opaque Predicate Detection in Obfuscated Binary Code☆50Jan 19, 2016Updated 10 years ago
- This python/jython script is used as plugin to BinNavi tool to analyze a x86 binanry file to find buffer overflow prone functions. Such f…☆29Jan 8, 2013Updated 13 years ago
- A blanket execution/min hash semantic hash tool for binary function identification☆19Apr 22, 2016Updated 10 years ago
- aflpin enables afl to fuzz blackbox binaries using a pin tool to trace execution branches.☆173Jan 27, 2015Updated 11 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.
- Dytan Taint Analysis Framework on Linux 64-bit☆46Aug 7, 2014Updated 12 years ago
- A visual way to grep and review code☆19Nov 11, 2013Updated 12 years ago
- CRAX: software CRash analysis for Automatic eXploit generation☆53Aug 19, 2015Updated 11 years ago
- Universal Trace Debugger Engine. Currently, only support windbg on Windows, but the long term goal is to also support GDB or LLDB☆13Dec 30, 2013Updated 12 years ago
- framework for fuzzing various open source tools☆18Jul 24, 2015Updated 11 years ago
- ☆39Jun 1, 2022Updated 4 years ago
- A taint-tracking plugin for the Valgrind memory checking tool☆266Jul 20, 2026Updated 3 months ago