Lists (1)
Stars
MegaVul - The largest, high-quality, extensible, continuously updated, C/C++/Java vulnerability dataset
Context7 Platform -- Up-to-date code documentation for LLMs and AI code editors
An agentic skills framework & software development methodology that works.
GitNexus: The Zero-Server Code Intelligence Engine - GitNexus is a client-side knowledge graph creator that runs entirely in your browser. Drop in a GitHub repo or ZIP file, and get an interactive …
A curated list of awesome symbolic execution resources including essential research papers, lectures, videos, and tools.
Find zero-days while you sleep. DeepZero is an automated vulnerability research framework that parses, decompiles, and analyzes thousands of Windows kernel drivers for exploitable IOCTLs natively u…
Beautiful UIs in Rust. Cross-platform. Dead simple.
Make Linux crash dump small by filtering and compressing pages
GDB plug-in that helps exploiting the Linux kernel's SLUB allocator
Source code of a multiple series of tutorials about the hypervisor. Available at: https://rayanfam.com/tutorials
A bare minimum hypervisor on AMD and Intel processors for learners.
A Bochs-based instrumentation project designed to log kernel memory references, to identify "double fetches" and other OS vulnerabilities
Library for lifting machine code to LLVM bitcode
A fast and powerful gadget finder and ROP chain generator. A research prototype for the ropbot paper accepted at NDSS'26.
A patched QEMU that exposes an interface for LibAFL-based fuzzers
Mirror rustup and crates.io repositories, for offline Rust and cargo usage.
Multi-architecture emulation for the modern era.
A plugin to introduce interactive symbols into your debugger from your decompiler