CTADL is a static taint analysis tool
☆51Aug 29, 2025Updated 6 months ago
Alternatives and similar repositories for ctadl
Users that are interested in ctadl are comparing it to the libraries listed below
Sorting:
- ☆12Sep 29, 2025Updated 5 months ago
- Automatically exported from code.google.com/p/windbgshark☆11Jul 1, 2015Updated 10 years ago
- ☆14Updated this week
- ☆14Feb 7, 2018Updated 8 years ago
- Output high level Pcode (PcodeAST) in Ghidra☆16Apr 7, 2023Updated 2 years ago
- Binary Ninja plugin to automate the process of generating pseudo-C code, running Semgrep over the pseudo-C, and presenting the results.☆34Feb 4, 2025Updated last year
- ☆21Sep 10, 2024Updated last year
- A precise and scalable pointer analysis for LLVM, written in Ascent☆68Mar 1, 2025Updated last year
- A tool for synthesizing code-reuse attacks (aka ROP) from a reference program, powered by logical modeling of Ghidra's `p-code` IL.☆23Dec 25, 2025Updated 2 months ago
- Security Harness Engineering for Robust Program Analysis☆112Jan 23, 2026Updated last month
- Import CMSIS SVD files information onto your Ghidra memory map☆37Feb 15, 2026Updated 2 weeks ago
- 802.15.4 Fuzzer☆21Mar 25, 2019Updated 6 years ago
- Supporting Materials for “Symbolic Triage” blog post☆24Oct 31, 2022Updated 3 years ago
- A parser for Microsoft PDB (Program Database) debugging information☆23Nov 5, 2024Updated last year
- KFLAT is a tool to serialize memory of selected variables from the running Linux kernel and organize it into a single memory block of con…☆30Jan 20, 2026Updated last month
- High-Efficiency eXpanded Coverage for Improved Testing of Executables☆25Jul 7, 2022Updated 3 years ago
- Demangles C++ symbol names genarated by Microsoft Visual C++ in order to retrieve the original C++ declarations.☆33Jun 25, 2020Updated 5 years ago
- ☆32Feb 14, 2026Updated 2 weeks ago
- Serverless Optimized MODules - A Serverless Framework to create reusable micro apps☆18Jul 7, 2025Updated 8 months ago
- ☆48Jul 30, 2025Updated 7 months ago
- FireEye Alert json files to MISP Malware information sharing plattform (Alpha)☆32Jun 11, 2017Updated 8 years ago
- ☆28Aug 24, 2014Updated 11 years ago
- Cerberus C semantics☆80Feb 16, 2026Updated 2 weeks ago
- CodeHawk Abstract Interpretation Engine and Analyzers☆74Updated this week
- ☆39Jan 24, 2024Updated 2 years ago
- ☆35Jan 27, 2025Updated last year
- Public Source code Release of Theori's AIxCC AFC Submission☆237Aug 5, 2025Updated 7 months ago
- SARIF Explorer: A VSCode extension that helps you visualize and triage static analysis results☆46Updated this week
- CodeHawk Binary Analyzer for malware analysis and general reverse engineering☆39Updated this week
- Scriptable Binary Ninja plugin to enable automated coverage analysis and visualization☆136Feb 15, 2023Updated 3 years ago
- ☆38Apr 1, 2024Updated last year
- AoT is a system for automatically generating off-target test harness by using build information.☆39Dec 6, 2024Updated last year
- ☆16Feb 7, 2025Updated last year
- This is the Arduino Library for ELEGOO Smart Robot Car Kit☆10Jun 3, 2024Updated last year
- Near Real-Time Bolide Detection Engine☆19Feb 25, 2026Updated last week
- Simple FTP fuzzer to demonstrate boofuzz usage.☆29May 21, 2021Updated 4 years ago
- Hacky scripts to fixup stack strings in Ghidra's decompiler.☆36May 22, 2022Updated 3 years ago
- USB armory - boot loader☆39Feb 22, 2026Updated last week
- AFL bindings for Unicorn-Engine☆89Sep 19, 2025Updated 5 months ago