L1NNA / jvdLinks
Disassembly Generation and Processing for JARV1S
☆14Updated last month
Alternatives and similar repositories for jvd
Users that are interested in jvd are comparing it to the libraries listed below
Sorting:
- A Unit-Based Symbolic Execution Method for Detecting Memory Corruption Vulnerabilities in Executable Codes☆43Updated 2 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
- A framework for static analysis of ROP exploits and programs☆40Updated 6 years ago
- DeepToad is a library and a tool to clusterize similar files using fuzzy hashing☆20Updated 5 years ago
- Vagrant setup for building a machine for CTF/exploit development☆23Updated 6 years ago
- FuzzSplore: Visualizing Feedback-Driven Fuzzing Techniques☆35Updated 4 years ago
- This is the source of our Return Oriented Programming tool.☆15Updated 5 years ago
- ☆17Updated 4 years ago
- Pulled out Linux kernel code to run in userland so they could be targeted by AFL and KLEE☆20Updated 5 years ago
- Supporting Materials for “Symbolic Triage” blog post☆24Updated 2 years ago
- Default query sets for Joern☆27Updated 3 years ago
- Binary Ninja Plugin for Generating Callgraphs☆17Updated 3 years ago
- Ditto.☆17Updated 4 years ago
- Angr-based static analysis tool for vusec/vuzzer64 fuzzing tool☆22Updated 4 years ago
- A coverage-based software testing tool☆34Updated 4 years ago
- GDB plug-in based on PWNDBG, GEF and PEDA that makes debugging MIPS with GDB suck less☆15Updated 8 months ago
- ☆9Updated 6 years ago
- Files used for reproducing Fuzzware's experiments☆57Updated 2 years ago
- ☆47Updated 5 years ago
- Superion Mutator for AFLPlusPlus☆31Updated last year
- Python interface for Binexport, the Bindiff export format☆16Updated last week
- findLoop - find possible encryption/decryption or compression/decompression code☆26Updated 6 years ago
- Code for the use cases presented in the paper Symbion: Interleaving Symbolic with Concrete Execution☆16Updated 3 years ago
- SymFusion: Hybrid Instrumentation for Concolic Execution☆17Updated 2 years ago
- ☆15Updated 5 years ago
- ☆32Updated 11 months ago
- Code snippets for Qiling Tutorials☆20Updated 4 years ago
- A multi-platform fuzzer for poking at userland binaries, network clients and servers☆68Updated 8 months ago
- Headless Scripts for Ghidra's Headless Analyzer written in Python☆32Updated 5 years ago
- A Unit-Based Symbolic Execution Method for Detecting Heap Overflow Vulnerability in Executable Codes☆23Updated 2 years ago