GaloisInc / greaseLinks
CLI tool, Ghidra plug-in, and Haskell library for analyzing binaries using under-constrained symbolic execution
☆119Updated this week
Alternatives and similar repositories for grease
Users that are interested in grease are comparing it to the libraries listed below
Sorting:
- Coverage-Guided Greybox Distributed Fuzzer☆131Updated 2 months ago
- libLISA: Instruction Discovery and Analysis on x86-64☆114Updated 4 months ago
- Bin2Wrong: a Unified Fuzzing Framework for Uncovering Semantic Errors in Binary-to-C Decompilers☆37Updated last month
- Tantō slices functions into more consumable chunks☆68Updated 2 months ago
- Binary Type Inference Ghidra Plugin☆164Updated last year
- simple type recognition in decompiled executables☆112Updated last year
- Peter's Amazing Syntax Tree Analyzer☆131Updated 9 months ago
- Detecting Inconsistencies in Feature or Function Evaluations of Requirements☆67Updated last year
- Quarkslab Bindiffer but not only !☆204Updated 2 months ago
- Determine which CPU architecture is used in a binary file.☆121Updated 4 months ago
- RISC-V emulator for high-performance fuzzing with AOT instead of JIT compilation 🦑☆20Updated 3 weeks ago
- Patchestry is a binary patching framework built with MLIR and Ghidra.☆20Updated last week
- Shiva is a programmable dynamic linker for loading ELF microprograms☆32Updated last year
- Repository for a library focused on binary analysis (mainly for Java related bytecodes)☆43Updated last week
- ☆426Updated 7 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.☆192Updated 2 years ago
- ☆58Updated 2 years ago
- rev.ng configuration for orchestra. The starting point for any development.☆36Updated this week
- Library to manipulate and create Sourcetrail databases☆23Updated last month
- ☆70Updated last year
- gradient-based symbolic execution engine implemented from scratch☆35Updated last year
- Ariadne: Binary Ninja Graph Analysis Plugin☆93Updated 5 months ago
- Unofficial CMake build for Ghidra's C++ SLEIGH code☆156Updated this week
- A library for writing plugins in any decompiler: includes API lifting, common data formatting, and GUI abstraction!☆109Updated 2 weeks ago
- Self-hosting binary instrumentation framework for security research☆215Updated last year
- Autarkie - Instant Grammar Fuzzing Using Rust Macros☆68Updated last week
- Seer is a tool that recognizes the architecture of a binary file☆102Updated 3 years ago
- Dr. Disassembler☆36Updated 3 years ago
- Fast, parallel, cross-variant ROP/JOP gadget search for x86/x64 binaries.☆113Updated last year
- A custom ELF linker/loader for installing ET_REL binary patches at runtime☆167Updated 3 months ago