ligurio / gromit
EBNF grammar fuzzer
☆18Updated 5 years ago
Related projects ⓘ
Alternatives and complementary repositories for gromit
- ☆35Updated 4 years ago
- generate assemblers from disassemblers, 2018 jailbreak security summit talk☆37Updated 4 years ago
- TRACER Symbolic Execution Tool☆28Updated 4 years ago
- A simple library focusing on demangling symbols for different programing languages☆39Updated 3 years ago
- Dr. Disassembler☆35Updated 2 years ago
- Draft of generic instrumentation tool based on QEMU using eBPF to implement trivial instrumentations with trivial code☆18Updated 4 years ago
- Detect patterns of bad behavior in function calls☆25Updated 4 years ago
- Underconstrained symbolic execution for cryptography verification☆18Updated 3 years ago
- wrapper library for the functionality offered by ptrace. features facilities to enter breakpoint, debug and hook syscalls, etc.☆21Updated 2 years ago
- Patchestry is a binary patching framework built with MLIR and Ghidra.☆17Updated this week
- Pretty printer from GTIRB to assembly code☆48Updated last month
- A feature-complete reference implementation of a modern Xen VMI debugger. ARCHIVED: Development continues at https://github.com/spencermi…☆75Updated 4 years ago
- ROP gadget finder and analysis in pure Javascript☆29Updated 2 years ago
- XML representation of the x86 instruction set☆27Updated last year
- low-level Capstone system bindings for Rust☆12Updated 5 years ago
- SafeInit protects software from uninitialized read vulnerabilities - code released for NDSS 2017☆24Updated 3 years ago
- print information from LLVM dataflow analyses☆13Updated 4 years ago
- DROB (Dynamic Rewriter and Optimizer of Binary code)☆24Updated 4 years ago
- Measure branching along code paths☆20Updated 8 years ago
- Detect which compiler and compiler version a Linux executable (in the ELF format) was compiled with☆28Updated 9 months ago
- Dynamic binary translation framework for instrumenting the Linux kernel and its modules☆77Updated 6 years ago
- ELF/PE/Mach-O parsing library☆50Updated 7 months ago
- Turn an interpreter into a code generator☆29Updated 9 years ago
- TInA is an automated, generic, verification-friendly and trustworthy lifting technique turning GNU-style inline assembly into semanticall…☆27Updated 3 years ago
- Heap analysis tooling for dlmalloc☆26Updated 2 years ago
- LLVM-based, flexible, live coverage instrumentation for C/C++ code☆42Updated 8 years ago
- clang-based search engine for C/C++ data structures, classes, prototypes & macros☆101Updated 8 months ago
- x86 Dynamic Binary Translator Library☆34Updated 3 years ago
- Some Rust bindings for Binary Ninja☆30Updated last year