
ConcoLLMic
LLM-agent-powered concolic execution engine that instruments source code, summarizes path constraints in natural language, and generates test cases…

LLM-agent-powered concolic execution engine that instruments source code, summarizes path constraints in natural language, and generates test cases…

Trail of Bits Testing Handbook - appsec.guide

OWASP Secure Agent Playbook Project

Formal inter-procedural taint analysis engine for application security. Tracks untrusted data across function boundaries, persistence layers, and…

The first analysis framework for CPU microcode

A powerful decompiler that lets you reverse-engineer React Native mobile apps by converting their compiled Hermes bytecode (.hbc) files back into…

Checker for Lifetimes and other Refinement types

A Solution For Cross-Platform Obfuscated Commands Detection presented on CIS2019 China. 动静态Bash/CMD/PowerShell命令混淆检测框架 - CIS 2019大会

FileInsight-plugins: decoding toolbox of McAfee FileInsight hex editor for malware analysis

Static binary instrumentation tool that dumps COFF object files from executables, enabling code/data insertion at any location for black-box fuzzing…

Tool for finding URLs, paths, secrets and generating raw HTTP requests and OpenApi specifications from config files and annotations used in JAR / WAR…

PulseAPK Core: Cross-Platform tool for working with APK files: Decompilation, Analysis, Building

Wireshark-like forensic analysis for Model Context Protocol communications Capture, inspect, and investigate all HTTP requests and responses between…

Security-oriented Go toolchain, focused on state-of-the-art fuzzing capabilities.

Parallel IDA Pro binary analysis with AI-powered function naming, Neo4j knowledge graph, and phantomrt emulation/hooking/fuzzing engine for automated…


A pure Rust reimplementation of libxml2

Model Context Protocol server for autonomous vulnerability discovery