sandialabs / ctadlLinks
CTADL is a static taint analysis tool
☆44Updated last week
Alternatives and similar repositories for ctadl
Users that are interested in ctadl are comparing it to the libraries listed below
Sorting:
- gradient-based symbolic execution engine implemented from scratch☆35Updated last year
- libLISA: Instruction Discovery and Analysis on x86-64☆116Updated 6 months ago
- Easy-to-use grammar-based black-box fuzzer. Has found dozens of bugs in important targets like Clang, Deno, and rustc.☆75Updated last week
- CodeHawk Binary Analyzer for malware analysis and general reverse engineering☆36Updated last week
- ☆19Updated 11 months ago
- AIL: The angr Intermediate Language.☆32Updated 3 months ago
- CLI tool, Ghidra plug-in, and Haskell library for analyzing binaries using under-constrained symbolic execution☆122Updated this week
- Library to manipulate and create Sourcetrail databases☆23Updated 3 months ago
- Bin2Wrong: a Unified Fuzzing Framework for Uncovering Semantic Errors in Binary-to-C Decompilers☆52Updated 3 months ago
- Solving floating point SMT constraints on a GPU☆49Updated 4 years ago
- A tool for synthesizing code-reuse attacks (aka ROP) from a reference program, powered by logical modeling of Ghidra's `p-code` IL.☆15Updated this week
- C and C++ compiler frontend using PASTA to parse code, and VAST to represent the code as MLIR.☆43Updated last year
- Dynamically discover the commands used to create a piece of software☆51Updated 6 months ago
- A precise and scalable pointer analysis for LLVM, written in Ascent☆65Updated 6 months ago
- Next-generation JavaScript analysis tooling☆59Updated 3 weeks ago
- A framework for program analysis with a focus on modeling programmer assumptions, context- and path-sensitive analyses, and type checking…☆52Updated 7 months ago
- ☆24Updated 2 years ago
- An approximate solver for concolic execution☆18Updated 4 months ago
- Tantō slices functions into more consumable chunks☆70Updated 4 months ago
- RISC-V emulator for high-performance fuzzing with AOT instead of JIT compilation 🦑☆21Updated 2 months ago
- MATE is a suite of tools for interactive program analysis with a focus on hunting for bugs in C and C++ code using Code Property Graphs.☆195Updated 2 years ago
- ☆58Updated 2 years ago
- Open source binary analysis tools.☆230Updated this week
- Ghidra Sleight (PCode) parsing library in Rust.☆44Updated 8 months ago
- Autarkie - Instant Grammar Fuzzing Using Rust Macros☆78Updated last week
- ROSA: Finding Backdoors with Fuzzing☆24Updated 2 months ago
- Verified, Incremental, Binary Editing with Synthesis☆52Updated 2 years ago
- Demo showing Claude Opus does not find CVE-2023-0266☆15Updated last year
- Ariadne: Binary Ninja Graph Analysis Plugin☆96Updated 6 months ago
- Peter's Amazing Syntax Tree Analyzer☆133Updated 11 months ago