GaloisInc / greaseLinks
CLI tool, Ghidra plug-in, and Haskell library for analyzing binaries using under-constrained symbolic execution
☆118Updated this week
Alternatives and similar repositories for grease
Users that are interested in grease are comparing it to the libraries listed below
Sorting:
- libLISA: Instruction Discovery and Analysis on x86-64☆114Updated 4 months ago
- 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.☆193Updated 2 years ago
- Coverage-Guided Greybox Distributed Fuzzer☆131Updated 2 months ago
- rev.ng configuration for orchestra. The starting point for any development.☆36Updated last week
- Detecting Inconsistencies in Feature or Function Evaluations of Requirements☆67Updated last year
- ☆426Updated 6 months ago
- ☆84Updated 2 months ago
- Quarkslab Bindiffer but not only !☆202Updated last month
- Ariadne: Binary Ninja Graph Analysis Plugin☆93Updated 4 months ago
- A library for writing plugins in any decompiler: includes API lifting, common data formatting, and GUI abstraction!☆107Updated 3 weeks ago
- VirtFuzz is a Linux Kernel Fuzzer that uses VirtIO to provide inputs into the kernels subsystem. It is built with LibAFL.☆122Updated last year
- Peter's Amazing Syntax Tree Analyzer☆131Updated 9 months ago
- Tantō slices functions into more consumable chunks☆67Updated 2 months ago
- Dalvik bytecode disassembler and graph view☆67Updated last year
- C and C++ compiler frontend using PASTA to parse code, and VAST to represent the code as MLIR.☆42Updated 10 months ago
- Autarkie - Instant Grammar Fuzzing Using Rust Macros☆68Updated this week
- RISC-V emulator for high-performance fuzzing with AOT instead of JIT compilation 🦑☆20Updated 2 weeks ago
- A Dolev-Yao-model-guided fuzzer for TLS☆141Updated this week
- simple type recognition in decompiled executables☆111Updated 11 months ago
- A framework for instrumenting build tools☆89Updated this week
- Generation-based, context-free grammar fuzzer.☆52Updated 2 years ago
- CodeHawk Binary Analyzer for malware analysis and general reverse engineering☆34Updated 2 weeks ago
- Security-related flags and options for C compilers☆193Updated 2 years ago
- ☆70Updated 11 months ago
- Nyxelf is a highly effective tool tailored for analyzing malicious Linux ELF binaries, offering comprehensive support for both static and…☆106Updated 5 months ago
- ☆253Updated 2 years ago
- A versatile and easy-to-use static binary patching tool.☆37Updated 2 months ago
- ☆79Updated 7 months ago
- Shiva is a programmable dynamic linker for loading ELF microprograms☆32Updated last year
- The Decompilation Wiki: info on all things decompilation☆209Updated last month