GaloisInc / greaseLinks
CLI tool, Ghidra plug-in, and Haskell library for analyzing binaries using under-constrained symbolic execution
☆120Updated this week
Alternatives and similar repositories for grease
Users that are interested in grease are comparing it to the libraries listed below
Sorting:
- simple type recognition in decompiled executables☆113Updated last year
- Bin2Wrong: a Unified Fuzzing Framework for Uncovering Semantic Errors in Binary-to-C Decompilers☆50Updated 2 months ago
- libLISA: Instruction Discovery and Analysis on x86-64☆115Updated 5 months ago
- rev.ng configuration for orchestra. The starting point for any development.☆36Updated last week
- Binary Type Inference Ghidra Plugin☆164Updated last year
- Coverage-Guided Greybox Distributed Fuzzer☆131Updated 3 months ago
- Quarkslab Bindiffer but not only !☆204Updated 2 months ago
- Patchestry is a binary patching framework built with MLIR and Ghidra.☆25Updated this week
- Tantō slices functions into more consumable chunks☆68Updated 3 months ago
- Ariadne: Binary Ninja Graph Analysis Plugin☆93Updated 5 months ago
- Library to manipulate and create Sourcetrail databases☆23Updated 2 months ago
- ☆58Updated 2 years ago
- Peter's Amazing Syntax Tree Analyzer☆131Updated 10 months ago
- Generation-based, context-free grammar fuzzer.☆52Updated 2 years ago
- Shiva is a programmable dynamic linker for loading ELF microprograms☆33Updated last year
- CodeHawk Binary Analyzer for malware analysis and general reverse engineering☆34Updated last week
- RISC-V emulator for high-performance fuzzing with AOT instead of JIT compilation 🦑☆20Updated last month
- gradient-based symbolic execution engine implemented from scratch☆35Updated last year
- 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.☆193Updated 2 years ago
- Determine which CPU architecture is used in a binary file.☆122Updated 4 months ago
- A Ghidra extension for scripting with GraalVM languages, including Javascript, Python3, R, and Ruby.☆61Updated 4 years ago
- Seer is a tool that recognizes the architecture of a binary file☆102Updated 3 years ago
- ☆19Updated 10 months ago
- ☆426Updated 7 months ago
- A Dolev-Yao-model-guided fuzzer for TLS☆143Updated 2 weeks ago
- Scaling best-practice AFLPlusPlus fuzzing campaigns made easy and more☆67Updated 2 months ago
- Symbolic execution for RISC-V machine code based on the formal LibRISCV ISA model☆50Updated 2 months ago
- Detecting Inconsistencies in Feature or Function Evaluations of Requirements☆67Updated last year
- Ghidra Sleight (PCode) parsing library in Rust.☆44Updated 7 months ago
- ☆79Updated 8 months ago