
lighthouse
A Coverage Explorer for Reverse Engineers

A Coverage Explorer for Reverse Engineers

Trace-assisted VMProtect devirtualization research platform: version front-ends feed a shared Remill/LLVM backend to lift handlers, recover dataflow,…

The community's most comprehensive, continuously-updated index of research on Large Language Models for software vulnerability detection — papers…

Tracker of publicly reported prompt-injection techniques, broken down by delivery method, encoding, and propagation behavior, with confirmed models,…

Curated directory of static analysis (SAST) tools and linters for programming languages, configs, build tools, and CI, focused on improving code…

Agentic Framework for Synthesizing CodeQL Queries

Set of tools to assess and improve LLM security.

Code written as part of our various malware investigations

Human-in-the-loop UI that converts natural-language or C/C++ protocol descriptions into a reviewable Protocol IR, then generates Sapic+/Tamarin…

Community Cryptography Specification Project

Code deobfuscation framework to simplify Mixed Boolean-Arithmetic (MBA) expressions

Public security advisories and PoCs for vulnerabilities discovered in open-source web software, with root-cause analysis, CVE references,…


HTTP/2 Last Frame Synchronization (also known as Single Packet Attack) low Level Library / Tool based on Scapy + Exploit Timing Attacks

Curated collection of LLVM security resources covering binary lifting, code obfuscation, static analysis, symbolic execution, sanitizers, and…

An LLVM-based instrumentation tool for universal taint tracking, dataflow analysis, and tracing.

WordPress REST API SQLi to RCE PoC (CVE-2026-63030 & CVE-2026-60137)

Sandbox untrusted code with safe access to the host.