GaloisInc / greaseLinks
CLI tool, Ghidra plug-in, and Haskell library for analyzing binaries using under-constrained symbolic execution
☆123Updated 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☆132Updated 6 months ago
- Bin2Wrong: a Unified Fuzzing Framework for Uncovering Semantic Errors in Binary-to-C Decompilers☆58Updated 5 months ago
- Quarkslab Bindiffer but not only !☆212Updated 6 months ago
- libLISA: Instruction Discovery and Analysis on x86-64☆119Updated 8 months ago
- rev.ng configuration for orchestra. The starting point for any development.☆36Updated 2 weeks ago
- Peter's Amazing Syntax Tree Analyzer☆134Updated 3 weeks ago
- Determine which CPU architecture is used in a binary file.☆124Updated 8 months ago
- Binary Type Inference Ghidra Plugin☆166Updated last year
- simple type recognition in decompiled executables☆116Updated last year
- Seer is a tool that recognizes the architecture of a binary file☆102Updated 3 years ago
- Tantō slices functions into more consumable chunks☆73Updated 6 months ago
- Library to manipulate and create Sourcetrail databases☆23Updated 5 months ago
- CodeHawk Binary Analyzer for malware analysis and general reverse engineering☆37Updated last week
- Detecting Inconsistencies in Feature or Function Evaluations of Requirements☆68Updated last year
- Self-hosting binary instrumentation framework for security research☆217Updated 2 years ago
- Learn to LibAFL with parking-game puzzles.☆73Updated 2 months ago
- Autarkie - Instant Grammar Fuzzing Using Rust Macros☆82Updated last week
- CTADL is a static taint analysis tool☆49Updated 2 months ago
- gradient-based symbolic execution engine implemented from scratch☆34Updated last year
- Ariadne: Binary Ninja Graph Analysis Plugin☆102Updated 9 months ago
- Symbolic execution for RISC-V machine code based on the formal LibRISCV ISA model☆52Updated 5 months ago
- Security-related flags and options for C compilers☆197Updated 3 years ago
- C and C++ compiler frontend using PASTA to parse code, and VAST to represent the code as MLIR.☆43Updated last year
- StdFuzzer is the reference implementation of a generic bit-level fuzzer with LibAFL☆48Updated 10 months ago
- A Dolev-Yao-model-guided fuzzer for TLS☆147Updated this week
- ☆59Updated 2 years ago
- A Binary Ninja plugin to identify interesting paths using static backward slicing☆47Updated 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.☆196Updated 3 years ago
- A framework for instrumenting build tools☆90Updated 3 weeks ago
- ☆19Updated last year