
revng
Open source binary analysis framework and decompiler built on LLVM and QEMU, lifting binaries to a readable intermediate representation for reverse…

Open source binary analysis framework and decompiler built on LLVM and QEMU, lifting binaries to a readable intermediate representation for reverse…

C-based Android static analysis framework for decompilation, secret detection, endpoint discovery, permission analysis, and native library scanning…

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

MCP-enabled multi-agent framework for declarative YAML-driven agentic workflows, used for AI-assisted code auditing, vulnerability triage, and…

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

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

Automated mobile application security testing framework for Android, iOS, and Windows. Performs static and dynamic analysis, malware detection, and…

Modular Android APK security analysis framework integrating static, dynamic, and reverse engineering tools for comprehensive vulnerability assessment…

Static code analysis tool for Android apps based on OWASP MASVS, detecting security vulnerabilities in APK files with low false-positive rates and…

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

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

Static Analyzer for Solidity and Vyper

AST-based Python code transformation & deobfuscation framework

An ML powered Graph-Based Multi-Architecture Approach for ROP Gadget Detection

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