Morion is a PoC tool to experiment with symbolic execution on real-word (ARMv7) binaries.
☆15Oct 3, 2024Updated last year
Alternatives and similar repositories for morion
Users that are interested in morion are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- A Software-defined Sensor Architecture for Large-scale Wideband Spectrum Monitoring☆14Feb 23, 2015Updated 11 years ago
- A Binary Ninja plugin to identify interesting paths using static backward slicing☆76Mar 12, 2026Updated 2 weeks ago
- C Bindings to BAP☆16Jul 13, 2022Updated 3 years ago
- I am still working on it☆12Apr 30, 2020Updated 5 years ago
- ☆11May 24, 2022Updated 3 years ago
- End-to-end encrypted cloud storage - Proton Drive • AdSpecial offer: 40% Off Yearly / 80% Off First Month. Protect your most important files, photos, and documents from prying eyes.
- libflutter.so(s) modified for traffic intercepting removing certificate pinning validation. Dart version is 2.10.5☆12Jul 11, 2021Updated 4 years ago
- ☆24Jun 29, 2025Updated 9 months ago
- RE for champions☆15Mar 22, 2026Updated last week
- Google Client Implementation in Scapy☆14Jun 26, 2018Updated 7 years ago
- Windows API sniffer and dumper utility for reverse engineering.☆13Jun 22, 2023Updated 2 years ago
- PATRIOTIC - Pervasive Anti-Tampering and Anti-Repackaging for IoT for Integrated C-based Firmware☆10Jan 26, 2023Updated 3 years ago
- WinDbg Symbols Caching Proxy.☆17Updated this week
- Real time network visualization for Cyber Defense Competitions.☆14Apr 19, 2015Updated 10 years ago
- CVE-2024-8381: A SpiderMonkey Interpreter Type Confusion Bug.☆16Feb 12, 2025Updated last year
- Virtual machines for every use case on DigitalOcean • AdGet dependable uptime with 99.99% SLA, simple security tools, and predictable monthly pricing with DigitalOcean's virtual machines, called Droplets.
- A string deobfuscator for Android applications using backwards program slicing☆15Aug 10, 2019Updated 6 years ago
- Lightweight Symbolic Execution Engine☆23Jul 1, 2015Updated 10 years ago
- Produce code coverage reports for AFL++ fuzzing campaigns with source code or in binary-only mode☆33Jul 18, 2025Updated 8 months ago
- A collection of scripts by UnixHub guys☆12Jul 17, 2013Updated 12 years ago
- Implemention of CapsNet from the paper Dynamic Routing Between Capsules☆10Nov 7, 2017Updated 8 years ago
- T-Watch 2020 v1 library for ESP32☆18Sep 6, 2022Updated 3 years ago
- Cross platform xamarin and windows plugins for PCLs☆12Jun 4, 2018Updated 7 years ago
- ☆14Apr 2, 2015Updated 10 years ago
- Ruby bindings for Augeas☆17Aug 7, 2024Updated last year
- End-to-end encrypted cloud storage - Proton Drive • AdSpecial offer: 40% Off Yearly / 80% Off First Month. Protect your most important files, photos, and documents from prying eyes.
- Exploring the potential benefits of implementing APIs in the style of the Actor Model, even in single-threaded programming environments s…☆33May 15, 2018Updated 7 years ago
- winafl with mopt mutators and afl fast power schedulers.☆22Feb 2, 2025Updated last year
- The Flexible Filesystem Benchmark (FFSB) is a cross-platform filesystem performance measurement tool.☆20Apr 25, 2012Updated 13 years ago
- This repository is used to provide a reference for CTF dynamic target machine☆14Mar 11, 2023Updated 3 years ago
- Code for the AsiaCCS 2017 paper "Discovering Logical Vulnerabilities in the Wi-Fi Handshake using Model-Based Testing".☆13Oct 12, 2018Updated 7 years ago
- private online storage for hackers☆16Sep 1, 2013Updated 12 years ago
- Python script sending push notifications whenever a new room is published on the WOKO (student association for housing in Zurich) website…☆13Jul 13, 2023Updated 2 years ago
- ☆13Mar 7, 2025Updated last year
- Cumulative cyclomatic complexity calculation for Ghidra☆20Feb 26, 2026Updated last month
- Virtual machines for every use case on DigitalOcean • AdGet dependable uptime with 99.99% SLA, simple security tools, and predictable monthly pricing with DigitalOcean's virtual machines, called Droplets.
- ☆12Aug 26, 2022Updated 3 years ago
- Mscgen in LaTeX☆21Oct 1, 2020Updated 5 years ago
- Trace jni calls with eBPF on Android☆24Jun 21, 2022Updated 3 years ago
- Frida script which decrypts and dumps locally all LUA (luac) or JS (jsc) files with source code of Cocos2D game☆15Mar 2, 2024Updated 2 years ago
- ☆12Sep 25, 2020Updated 5 years ago
- PyTorch implementation of DreamerV3, Mastering Diverse Domains through World Models.☆10Feb 16, 2024Updated 2 years ago
- ☆28Apr 18, 2024Updated last year