GaloisInc / grease
CLI tool and Ghidra plug-in for analyzing binaries using under-constrained symbolic execution
☆89Updated this week
Alternatives and similar repositories for grease:
Users that are interested in grease are comparing it to the libraries listed below
- libLISA: Instruction Discovery and Analysis on x86-64☆107Updated last month
- ☆17Updated 6 months ago
- C and C++ compiler frontend using PASTA to parse code, and VAST to represent the code as MLIR.☆40Updated 7 months ago
- Quarkslab Bindiffer but not only !☆197Updated 3 weeks ago
- rev.ng configuration for orchestra. The starting point for any development.☆36Updated 2 weeks ago
- Coverage-Guided Greybox Distributed Fuzzer☆130Updated 7 months ago
- Repository for a library focused on binary analysis (mainly for Java related bytecodes)☆41Updated this week
- Dalvik bytecode disassembler and graph view☆66Updated 9 months ago
- Minimal setup to trigger the xz backdoor☆26Updated 5 months ago
- ☆79Updated 4 months ago
- Detecting Inconsistencies in Feature or Function Evaluations of Requirements☆67Updated last year
- gradient-based symbolic execution engine implemented from scratch☆35Updated last year
- Shiva is a programmable dynamic linker for loading ELF microprograms☆30Updated last year
- simple type recognition in decompiled executables☆103Updated 8 months ago
- Dr. Disassembler☆35Updated 3 years ago
- StdFuzzer is the reference implementation of a generic bit-level fuzzer with LibAFL☆48Updated 3 months ago
- Convert low ghidra pcode to verifiable C☆21Updated 6 months ago
- ☆69Updated 8 months ago
- CodeHawk Binary Analyzer for malware analysis and general reverse engineering☆28Updated last week
- Seer is a tool that recognizes the architecture of a binary file☆102Updated 2 years ago
- Peter's Amazing Syntax Tree Analyzer☆129Updated 6 months ago
- Symbolic execution for RISC-V machine code based on the formal LibRISCV ISA model☆45Updated 2 months ago
- A library for writing plugins in any decompiler: includes API lifting, common data formatting, and GUI abstraction!☆81Updated this week
- Library to manipulate and create Sourcetrail databases☆20Updated 3 months ago
- TInA is an automated, generic, verification-friendly and trustworthy lifting technique turning GNU-style inline assembly into semanticall…☆27Updated 3 years ago
- Nyxelf is a highly effective tool tailored for analyzing malicious Linux ELF binaries, offering comprehensive support for both static and…☆104Updated 2 months ago
- Ariadne: Binary Ninja Graph Analysis Plugin☆88Updated last month
- 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.☆191Updated 2 years ago
- ☆83Updated 6 months ago
- A Ghidra extension for scripting with GraalVM languages, including Javascript, Python3, R, and Ruby.☆60Updated 3 years ago