L1NNA / jvd
Disassembly Generation and Processing for JARV1S
☆13Updated 5 months ago
Alternatives and similar repositories for jvd:
Users that are interested in jvd are comparing it to the libraries listed below
- Toy implementation of a Automated Exploit Generation built on Angr; stiched using radare, pwntools, pyelftools, and Angrop.☆18Updated 3 years ago
- Vagrant setup for building a machine for CTF/exploit development☆23Updated 5 years ago
- Inspector-gadget (a.k.a. PSHAPE - Practical Support for Half-Automated Program Exploitation) is an open source tool which assists analyst…☆23Updated 5 years ago
- Default query sets for Joern☆26Updated 3 years ago
- A Unit-Based Symbolic Execution Method for Detecting Memory Corruption Vulnerabilities in Executable Codes☆43Updated last year
- A Semantics-Enhanced Learnable Vulnerability Detector☆43Updated 2 years ago
- FuzzSplore: Visualizing Feedback-Driven Fuzzing Techniques☆35Updated 3 years ago
- ☆14Updated 2 years ago
- ☆17Updated 3 years ago
- Diaphora Machine Learning tools and datasets☆18Updated 3 months ago
- A framework for static analysis of ROP exploits and programs☆40Updated 5 years ago
- winAFL patch to enable network-based apps fuzzing☆37Updated 6 years ago
- CodeHawk Binary Analyzer for malware analysis and general reverse engineering☆26Updated 3 weeks ago
- A script to detect stack-strings by using emulation (leveraging Unicorn)☆34Updated last year
- Using automata learning to mine models used for fuzzing of statefull systems☆24Updated 3 years ago
- Code Property Graph (CPG) frontend for binary applications and libraries.☆85Updated 3 years ago
- ☆9Updated 5 years ago
- Extract useful semantic from CVE descriptions usinig NLP☆25Updated 2 years ago
- LLAP is an LLVM-based tool for generating enriched program dependency graphs (ePDGs) from program source code that are suitable for use i…☆13Updated last year
- Supporting Materials for “Symbolic Triage” blog post☆24Updated 2 years ago
- ☆24Updated last year
- IoT Malware Similarity Analysis Platform☆44Updated 2 years ago
- A coverage-based software testing tool☆32Updated 4 years ago
- ☆23Updated 2 years ago
- A Unit-Based Symbolic Execution Method for Detecting Heap Overflow Vulnerability in Executable Codes☆20Updated 2 years ago
- Fuzz testing framework for binary programs using AI☆49Updated last year
- Assembled Labeled Library for Static Analysis Research - Debian packages built for 6 architectures, storing compiler artifacts, binaries…☆28Updated 3 years ago
- My conference presentations and Materials for them.☆32Updated 2 years ago
- RESTful API for Unipacker (https://github.com/unipacker/unipacker)☆15Updated 3 years ago
- Analysis tool for estimating the likelihood that a binary contains compressed or encrypted bytes☆44Updated last month