GaloisInc / grease
CLI tool and Ghidra plug-in for analyzing binaries using under-constrained symbolic execution
☆104Updated this week
Alternatives and similar repositories for grease:
Users that are interested in grease are comparing it to the libraries listed below
- Detecting Inconsistencies in Feature or Function Evaluations of Requirements☆67Updated last year
- Nyxelf is a highly effective tool tailored for analyzing malicious Linux ELF binaries, offering comprehensive support for both static and…☆104Updated 2 months ago
- Seer is a tool that recognizes the architecture of a binary file☆102Updated 2 years ago
- ☆426Updated 4 months ago
- libLISA: Instruction Discovery and Analysis on x86-64☆112Updated last month
- rev.ng configuration for orchestra. The starting point for any development.☆36Updated this week
- Determine which CPU architecture is used in a binary file.☆116Updated last month
- C and C++ compiler frontend using PASTA to parse code, and VAST to represent the code as MLIR.☆41Updated 8 months ago
- Quarkslab Bindiffer but not only !☆200Updated last month
- RISC-V emulator for high-performance fuzzing with AOT instead of JIT compilation 🦑☆19Updated last month
- gradient-based symbolic execution engine implemented from scratch☆35Updated last year
- Peter's Amazing Syntax Tree Analyzer☆129Updated 6 months ago
- ☆58Updated 2 years ago
- A library for intercepting system calls☆73Updated 3 months ago
- VirtFuzz is a Linux Kernel Fuzzer that uses VirtIO to provide inputs into the kernels subsystem. It is built with LibAFL.☆119Updated 10 months ago
- simple type recognition in decompiled executables☆107Updated 9 months ago
- Coverage-Guided Greybox Distributed Fuzzer☆130Updated 8 months ago
- A library for writing plugins in any decompiler: includes API lifting, common data formatting, and GUI abstraction!☆103Updated this week
- Dalvik bytecode disassembler and graph view☆67Updated 10 months ago
- Binary Type Inference Ghidra Plugin☆155Updated last year
- Shiva is a programmable dynamic linker for loading ELF microprograms☆32Updated last year
- ☆79Updated 5 months ago
- Repository for a library focused on binary analysis (mainly for Java related bytecodes)☆41Updated last week
- A framework for instrumenting build tools☆89Updated 4 months ago
- ☆45Updated last year
- Dragodis is a Python framework which allows for the creation of universal disassembler scripts.☆49Updated 10 months ago
- The next generation reverse engineering IDE (work-in-progress).☆95Updated 9 months ago
- Demonstrate ability to read memfd_secret() data from the kernel☆58Updated last year
- Ariadne: Binary Ninja Graph Analysis Plugin☆88Updated 2 months ago
- StdFuzzer is the reference implementation of a generic bit-level fuzzer with LibAFL☆48Updated 4 months ago