
kata-containers
Kata Containers is an open source project and community working to build a standard implementation of lightweight Virtual Machines (VMs) that feel…

Kata Containers is an open source project and community working to build a standard implementation of lightweight Virtual Machines (VMs) that feel…

MCP server integrating IDA Pro with AI agents, featuring a stateless gateway for multi-session management, a relational SQL query engine for binary…

A collection of android security related resources

Unofficial revival of the well known .NET debugger and assembly editor, dnSpy

Provide powerful tools for seccomp analysis

A secure* runtime for autonomous AI agents. Policy from plain-English constitutions. (*https://ironcurtain.dev)

Controlled vulnerability research and reproduction lab for CVE-2020-14343 in PyYAML

Curated repository of live malware samples and source code for educational malware analysis and research, with an organized database and CLI tools…

Automated hypervisor-level malware analysis sandbox with agentless guest introspection, web-based result exploration, and guided installer for…

Embedded GRU neural network for real-time human behavior verification via mouse movement analysis, detecting automated analysis systems, sandboxes,…

End-to-end exploitation lab for CVE-2025-5548 (FreeFloat FTP Server stack buffer overflow). Includes static analysis with IDA/Ghidra, binary fuzzing,…

Async API security scanner in Rust for CORS, CSP, GraphQL, JWT, OpenAPI, and active API posture checks.

Externalize Java application access to protected resources as log messages.

A tool that is used to hunt vulnerabilities in x64 WDM drivers

CVE-2026-39808 - Fortinet Sandbox - Draft

CVE-2026-39813 - Fortinet Sandbox - Draft