L1NNA / jvdLinks
Disassembly Generation and Processing for JARV1S
☆15Updated last week
Alternatives and similar repositories for jvd
Users that are interested in jvd are comparing it to the libraries listed below
Sorting:
- A collection of software bug types and articles showcasing the hunt for and exploitation of them.☆20Updated 4 years ago
- Supporting Materials for “Symbolic Triage” blog post☆24Updated 2 years ago
- The malsource dataset☆11Updated 3 years ago
- A Unit-Based Symbolic Execution Method for Detecting Memory Corruption Vulnerabilities in Executable Codes☆43Updated 2 years ago
- A tool to perform so called BGE attack☆24Updated last month
- Debugging library to quickly get the minimal crashing test case☆37Updated 7 years ago
- SymFusion: Hybrid Instrumentation for Concolic Execution☆17Updated 2 years ago
- Toy implementation of a Automated Exploit Generation built on Angr; stiched using radare, pwntools, pyelftools, and Angrop.☆17Updated 3 years ago
- Read only mirror - No pull requests☆19Updated 4 years ago
- Code snippets for Qiling Tutorials☆20Updated 4 years ago
- This is the source of our Return Oriented Programming tool.☆15Updated 5 years ago
- GDB plug-in based on PWNDBG, GEF and PEDA that makes debugging MIPS with GDB suck less☆15Updated 10 months ago
- 👓 Yet another binary vulnerbilities checker. An automated vulnerability scanner for ELF based on symbolic execution.☆35Updated 3 years ago
- Default query sets for Joern☆26Updated 3 years ago
- Headless Scripts for Ghidra's Headless Analyzer written in Python☆32Updated 5 years ago
- ☆28Updated 3 years ago
- ☆9Updated 6 years ago
- Python interface for Binexport, the Bindiff export format☆17Updated last month
- Vagrant setup for building a machine for CTF/exploit development☆23Updated 6 years ago
- A tool that acts as an assistant for Reverse Engineering challenges in CTFs☆17Updated 4 years ago
- IoT Malware Similarity Analysis Platform☆44Updated 3 years ago
- Inspector-gadget (a.k.a. PSHAPE - Practical Support for Half-Automated Program Exploitation) is an open source tool which assists analyst…☆25Updated 5 years ago
- BE-PUM (Binary Emulation for PUshdown Model) is a project for analyzing and detecting binary files. Its main focus is on generating CFG (…☆19Updated 7 years ago
- CERT Kaiju is a binary analysis framework extension for the Ghidra software reverse engineering suite. This repository is a "mirror" -- p…☆130Updated last week
- RESTful API for Unipacker (https://github.com/unipacker/unipacker)☆15Updated 4 years ago
- tool for multi-execution jump coverage introspection☆65Updated 5 months ago
- AIL: The angr Intermediate Language.☆32Updated last month
- A Linux x86/x86-64 tool to trace registers and memory regions.☆38Updated 3 years ago
- Towards Automatically Generating a Sound and Complete Dataset for Evaluating Static Analysis Tools☆14Updated 6 years ago
- A coverage-based software testing tool☆34Updated 4 years ago