cyber-defence-campus / morionLinks
Morion is a PoC tool to experiment with symbolic execution on real-word (ARMv7) binaries.
☆14Updated 11 months ago
Alternatives and similar repositories for morion
Users that are interested in morion are comparing it to the libraries listed below
Sorting:
- ☆115Updated last year
- Utilities for generating dynamic traces☆93Updated 5 months ago
- Use angr inside GDB. Create an angr state from the current debugger state.☆200Updated 5 years ago
- BigMAC: Analysis tool to introspect and query Android security policies.☆39Updated last year
- A collection of resources/tools and analyses for the angr binary analysis framework.☆179Updated 3 years ago
- Compiled CGC binaries for experimentation porpoises.☆22Updated 8 years ago
- A python symbolic execution framework using radare2's ESIL (Evaluable String Intermediate Language)☆164Updated 2 years ago
- SALT - SLUB ALlocator Tracer for the Linux kernel☆153Updated 7 years ago
- Python bindings to Ghidra's SLEIGH library for disassembly and lifting to P-Code IR☆200Updated this week
- LibAFL components for stateful fuzzing☆51Updated 3 years ago
- A de-socketing tool that is 10x faster than desock (Preeny) in fuzzing network protocols☆91Updated 3 years ago
- Handy utilities for the angr binary analysis framework, most notably CFG visualization☆292Updated 6 years ago
- Miscellaneous utilities and such that I use for pwning. Open sourced since people might find these useful. Be warned: nothing is stable.☆139Updated last year
- A plugin for Hex-Ray's IDA Pro and radare2 to export the symbols recognized to the ELF symbol table☆212Updated 3 years ago
- Generates `.pyi` type stubs for the entire Ghidra API☆151Updated 7 months ago
- Some helper scripts to set up an environment for angr development.☆118Updated last month
- ☆198Updated 3 years ago
- Coverage-guided binary fuzzing powered by Frida Stalker☆184Updated 4 years ago
- A Linux Kernel Module that implements a fast snapshot mechanism for fuzzing.☆140Updated 4 years ago
- a few Ghidra scripts for dumping PCode data☆50Updated 6 years ago
- Emulation and Feedback Fuzzing of Firmware with Memory Sanitization☆163Updated 4 years ago
- Scudo useful files☆10Updated 3 years ago
- Scripts, plugins, and information for working with Samsung's Shannon baseband.☆163Updated last year
- IDA command palette & more (Ctrl+Shift+P, Ctrl+P)☆163Updated last week
- ☆193Updated 2 years ago
- An binary-to-LLVM IR lifter that leverages Ghidra's IR and analysis☆227Updated 5 years ago
- ☆184Updated 7 months ago
- Triton-based DSE library with loading and exploration capabilities (and more!)☆127Updated 2 weeks ago
- Super Fast Concolic Execution Engine based on Source Code Taint Tracing☆102Updated 3 years ago
- Repository of code I've written during my twitch stream, "F'ing Around with Binary Ninja"☆107Updated 4 years ago