GaloisInc / grease
CLI tool and Ghidra plug-in for analyzing binaries using under-constrained symbolic execution
☆108Updated this week
Alternatives and similar repositories for grease
Users that are interested in grease are comparing it to the libraries listed below
Sorting:
- Detecting Inconsistencies in Feature or Function Evaluations of Requirements☆67Updated last year
- Seer is a tool that recognizes the architecture of a binary file☆102Updated 3 years ago
- libLISA: Instruction Discovery and Analysis on x86-64☆113Updated 2 months ago
- Quarkslab Bindiffer but not only !☆202Updated last week
- rev.ng configuration for orchestra. The starting point for any development.☆36Updated this week
- ☆427Updated 5 months ago
- Coverage-Guided Greybox Distributed Fuzzer☆130Updated 3 weeks ago
- Tantō slices functions into more consumable chunks☆66Updated 3 weeks ago
- Binary Type Inference Ghidra Plugin☆160Updated last year
- simple type recognition in decompiled executables☆109Updated 10 months ago
- StdFuzzer is the reference implementation of a generic bit-level fuzzer with LibAFL☆48Updated 4 months ago
- VirtFuzz is a Linux Kernel Fuzzer that uses VirtIO to provide inputs into the kernels subsystem. It is built with LibAFL.☆120Updated 11 months ago
- A Ghidra extension for scripting with GraalVM languages, including Javascript, Python3, R, and Ruby.☆59Updated 4 years ago
- Dragodis is a Python framework which allows for the creation of universal disassembler scripts.☆50Updated 10 months ago
- A library for writing plugins in any decompiler: includes API lifting, common data formatting, and GUI abstraction!☆104Updated 2 weeks ago
- Peter's Amazing Syntax Tree Analyzer☆130Updated 7 months ago
- Ariadne: Binary Ninja Graph Analysis Plugin☆89Updated 2 months ago
- RISC-V emulator for high-performance fuzzing with AOT instead of JIT compilation 🦑☆20Updated 2 weeks ago
- C and C++ compiler frontend using PASTA to parse code, and VAST to represent the code as MLIR.☆42Updated 9 months ago
- A binary analysis framework written in Rust.☆169Updated this week
- Demonstrate ability to read memfd_secret() data from the kernel☆58Updated last year
- Autarkie - Instant Grammar Fuzzing Using Rust Macros☆52Updated this week
- Determine which CPU architecture is used in a binary file.☆118Updated 2 months ago
- Nyxelf is a highly effective tool tailored for analyzing malicious Linux ELF binaries, offering comprehensive support for both static and…☆104Updated 3 months ago
- Dr. Disassembler☆35Updated 3 years ago
- ☆12Updated 2 years ago
- gradient-based symbolic execution engine implemented from scratch☆35Updated last year
- Self-hosting binary instrumentation framework for security research☆213Updated last year
- ☆58Updated 2 years ago
- Triton-based DSE library with loading and exploration capabilities (and more!)☆117Updated this week