quarkslab / numbatLinks
Library to manipulate and create Sourcetrail databases
☆23Updated 3 months ago
Alternatives and similar repositories for numbat
Users that are interested in numbat are comparing it to the libraries listed below
Sorting:
- CodeHawk Binary Analyzer for malware analysis and general reverse engineering☆36Updated this week
- AIL: The angr Intermediate Language.☆32Updated 3 months ago
- Supporting Materials for “Symbolic Triage” blog post☆24Updated 2 years ago
- ☆87Updated 5 months ago
- StdFuzzer is the reference implementation of a generic bit-level fuzzer with LibAFL☆48Updated 9 months ago
- A fast, multithreaded, ROP-gadget semantics analyzer.☆51Updated 4 years ago
- Generation-based, context-free grammar fuzzer.☆52Updated 3 years ago
- Binary Ninja plugin to automate the process of generating pseudo-C code, running Semgrep over the pseudo-C, and presenting the results.☆33Updated 7 months ago
- A monitoring script for AFL☆40Updated 8 years ago
- ☆38Updated 5 years ago
- Hashashin: A Fuzzy Matching Tool for Binary Ninja☆94Updated 2 years ago
- Bin2Wrong: a Unified Fuzzing Framework for Uncovering Semantic Errors in Binary-to-C Decompilers☆52Updated 4 months ago
- radius is a fast binary emulation and symbolic execution framework using radare2☆46Updated 3 years ago
- Symbolic execution in radare2 with angr☆39Updated 4 years ago
- A Ghidra extension for scripting with GraalVM languages, including Javascript, Python3, R, and Ruby.☆61Updated 4 years ago
- ☆25Updated 3 years ago
- Quarkslab Bindiffer but not only !☆208Updated 4 months ago
- KLEE Symbolic Execution Engine☆60Updated 5 years ago
- tool for multi-execution jump coverage introspection☆66Updated 7 months ago
- Collection of images and examples to use with Shoggoth.☆19Updated 5 years ago
- ☆137Updated 3 years ago
- RISC-V emulator for high-performance fuzzing with AOT instead of JIT compilation 🦑☆21Updated 3 months ago
- Semantic strings based on tree-sitter☆17Updated 7 months ago
- Ariadne: Binary Ninja Graph Analysis Plugin☆96Updated 7 months ago
- Target-centric program analysis.☆77Updated last month
- High performance fuzzing using riscv to x86 binary translations and modern fuzzing techniques☆152Updated last year
- Tantō slices functions into more consumable chunks☆71Updated 5 months ago
- ☆66Updated 6 months ago
- A Ghidra plugin for locating object file boundaries.☆124Updated this week
- Binary Type Inference Ghidra Plugin☆166Updated last year