GaloisInc / greaseLinks
CLI tool, Ghidra plug-in, and Haskell library for analyzing binaries using under-constrained symbolic execution
☆119Updated last week
Alternatives and similar repositories for grease
Users that are interested in grease are comparing it to the libraries listed below
Sorting:
- rev.ng configuration for orchestra. The starting point for any development.☆36Updated 3 weeks ago
- Quarkslab Bindiffer but not only !☆205Updated 3 months ago
- Coverage-Guided Greybox Distributed Fuzzer☆131Updated 4 months ago
- Binary Type Inference Ghidra Plugin☆165Updated last year
- Bin2Wrong: a Unified Fuzzing Framework for Uncovering Semantic Errors in Binary-to-C Decompilers☆51Updated 3 months ago
- simple type recognition in decompiled executables☆113Updated last year
- Tantō slices functions into more consumable chunks☆70Updated 4 months ago
- ☆19Updated 11 months ago
- libLISA: Instruction Discovery and Analysis on x86-64☆115Updated 6 months ago
- Peter's Amazing Syntax Tree Analyzer☆131Updated 11 months ago
- Library to manipulate and create Sourcetrail databases☆23Updated 2 months ago
- Security-related flags and options for C compilers☆194Updated 2 years 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.☆194Updated 2 years ago
- CodeHawk Binary Analyzer for malware analysis and general reverse engineering☆36Updated last week
- Self-hosting binary instrumentation framework for security research☆215Updated 2 years ago
- Seer is a tool that recognizes the architecture of a binary file☆102Updated 3 years ago
- Patchestry is a binary patching framework built with MLIR and Ghidra.☆30Updated last week
- RISC-V emulator for high-performance fuzzing with AOT instead of JIT compilation 🦑☆21Updated 2 months ago
- StdFuzzer is the reference implementation of a generic bit-level fuzzer with LibAFL☆48Updated 8 months ago
- Generation-based, context-free grammar fuzzer.☆52Updated 3 years ago
- A Dolev-Yao-model-guided fuzzer for TLS☆143Updated 2 weeks ago
- Determine which CPU architecture is used in a binary file.☆121Updated 5 months ago
- Ariadne: Binary Ninja Graph Analysis Plugin☆94Updated 6 months ago
- Autarkie - Instant Grammar Fuzzing Using Rust Macros☆78Updated this week
- ☆79Updated 9 months ago
- Ghidra Sleight (PCode) parsing library in Rust.☆44Updated 7 months ago
- AIL: The angr Intermediate Language.☆32Updated 2 months ago
- X86 disassembler benchmark☆61Updated last year
- A framework for instrumenting build tools☆89Updated last week
- ☆86Updated 4 months ago