
Tai-e
An easy-to-learn/use static analysis framework for Java and Android

An easy-to-learn/use static analysis framework for Java and Android

Ghidra is a software reverse engineering (SRE) framework

Runtime instrumentation framework for building dynamic analysis tools: tracing, profiling, code coverage, memory debugging, fuzzing, and disassembly…

UNIX-like reverse engineering framework and command-line toolset

Rust macros and Cargo subcommand to automate fuzzing with afl.rs, including corpus generation and harness implementation, integrated with Rust's…

Python framework for building LLM workflows as state machines with formal verification via Z3 theorem proving, CTL model checking, and conformal…

Qiskit-based resource estimation framework for space-efficient quantum modular inversion and affine point-addition circuits used in elliptic-curve…

Agentic Framework for Synthesizing CodeQL Queries

A Framework for Integrating Application Security into Software Engineering (FIASSE) using the Securable Software Engineering Model (SSEM)

Static Analyzer for Solidity and Vyper

Official code for the ISSTA 2026 paper: Is "Knowing It’s Malicious" Enough? Evaluating LLMs for Fine-Grained Malware Behavior Auditing

AST-based Python code transformation & deobfuscation framework

A Binary Genetic Traits Lexer Framework

The code of VulTriage: Triple-Path Context Augmentation for LLM-Based Vulnerability Detection

LLVM based static binary analysis framework

VulnAgent-X: A Layered Agentic Framework for Repository-Level Vulnerability Detection

Frida-based .NET Framework injector and managed method hooking toolkit for runtime tracing, native entrypoint resolution, and dynamic analysis of…

Multi-layer security framework for AI agent ecosystems. Provides pre-installation skill auditing, file integrity monitoring, runtime protection, and…