GaloisInc / greaseLinks
CLI tool and Ghidra plug-in for analyzing binaries using under-constrained symbolic execution
☆111Updated 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 last month
- libLISA: Instruction Discovery and Analysis on x86-64☆113Updated 3 months ago
- C and C++ compiler frontend using PASTA to parse code, and VAST to represent the code as MLIR.☆42Updated 9 months ago
- Detecting Inconsistencies in Feature or Function Evaluations of Requirements☆67Updated last year
- Dalvik bytecode disassembler and graph view☆65Updated last year
- rev.ng configuration for orchestra. The starting point for any development.☆36Updated 3 weeks ago
- ☆427Updated 5 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.☆193Updated 2 years ago
- A custom ELF linker/loader for installing ET_REL binary patches at runtime☆166Updated 2 months ago
- Peter's Amazing Syntax Tree Analyzer☆131Updated 8 months ago
- A library for writing plugins in any decompiler: includes API lifting, common data formatting, and GUI abstraction!☆105Updated this week
- Quarkslab Bindiffer but not only !☆202Updated 3 weeks ago
- Autarkie - Instant Grammar Fuzzing Using Rust Macros☆65Updated this week
- ☆70Updated 11 months ago
- StdFuzzer is the reference implementation of a generic bit-level fuzzer with LibAFL☆48Updated 5 months ago
- ☆46Updated last year
- simple type recognition in decompiled executables☆110Updated 11 months ago
- Seer is a tool that recognizes the architecture of a binary file☆102Updated 3 years ago
- A research decompiler implemented as a Binary Ninja plugin.☆193Updated this week
- Ariadne: Binary Ninja Graph Analysis Plugin☆89Updated 3 months ago
- Shiva is a programmable dynamic linker for loading ELF microprograms☆32Updated last year
- Symbolic execution for RISC-V machine code based on the formal LibRISCV ISA model☆46Updated last week
- gradient-based symbolic execution engine implemented from scratch☆34Updated last year
- ☆79Updated 6 months ago
- VirtFuzz is a Linux Kernel Fuzzer that uses VirtIO to provide inputs into the kernels subsystem. It is built with LibAFL.☆122Updated 11 months ago
- Binary Type Inference Ghidra Plugin☆161Updated last year
- Fast, parallel, cross-variant ROP/JOP gadget search for x86/x64 binaries.☆93Updated last year
- Tantō slices functions into more consumable chunks☆67Updated last month
- A Dolev-Yao-model-guided fuzzer for TLS☆140Updated this week
- ☆13Updated 2 years ago