GaloisInc / greaseLinks
CLI tool, Ghidra plug-in, and Haskell library for analyzing binaries using under-constrained symbolic execution
☆125Updated this week
Alternatives and similar repositories for grease
Users that are interested in grease are comparing it to the libraries listed below
Sorting:
- Quarkslab Bindiffer but not only !☆215Updated 9 months ago
- libLISA: Instruction Discovery and Analysis on x86-64☆123Updated 11 months ago
- rev.ng configuration for orchestra. The starting point for any development.☆36Updated last month
- Learn to LibAFL with parking-game puzzles.☆77Updated 4 months ago
- Coverage-Guided Greybox Distributed Fuzzer☆132Updated last week
- Binary Type Inference Ghidra Plugin☆168Updated last year
- Tantō slices functions into more consumable chunks☆78Updated last month
- Bin2Wrong: a Unified Fuzzing Framework for Uncovering Semantic Errors in Binary-to-C Decompilers☆59Updated 8 months ago
- Peter's Amazing Syntax Tree Analyzer☆133Updated 3 months ago
- ☆424Updated last year
- simple type recognition in decompiled executables☆118Updated last year
- CodeHawk Binary Analyzer for malware analysis and general reverse engineering☆38Updated last week
- Autarkie - Instant Grammar Fuzzing Using Rust Macros☆89Updated 3 weeks ago
- Detecting Inconsistencies in Feature or Function Evaluations of Requirements☆68Updated last year
- CTADL is a static taint analysis tool☆50Updated 5 months ago
- Ariadne: Binary Ninja Graph Analysis Plugin☆104Updated 11 months ago
- Security-related flags and options for C compilers☆198Updated 3 years ago
- Common format for transferring and applying function information across binary analysis tools☆56Updated 2 months ago
- A library for writing plugins in any decompiler: includes API lifting, common data formatting, and GUI abstraction!☆127Updated this week
- ☆21Updated last year
- ☆59Updated 3 years ago
- The CRISPR static binary patcher☆37Updated 5 years ago
- Library to manipulate and create Sourcetrail databases☆23Updated 8 months ago
- Determine which CPU architecture is used in a binary file.☆125Updated 10 months ago
- A Binary Ninja plugin to identify interesting paths using static backward slicing☆74Updated last week
- 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.☆195Updated 3 years ago
- A custom ELF linker/loader for installing ET_REL binary patches at runtime☆189Updated this week
- Simple syscall sandboxing for Linux☆144Updated 3 months ago
- Symbolic execution for RISC-V machine code based on the formal LibRISCV ISA model☆54Updated 8 months ago
- Shiva is a programmable dynamic linker for loading ELF microprograms☆35Updated 2 years ago