


Vulnerability Assessment and Auditing Framework for all the Crypto Implementations.

Agentic Framework for Synthesizing CodeQL Queries

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

Staged static taint analysis framework for GitHub Actions workflows. Detects code injection vulnerabilities using taint-tracking and an impact…

Modular framework to detect and prevent dependency confusion attacks by analyzing package manifests across multiple sources and package management…

"Sucosh" is an automated Source Code vulnerability scanner and assessment framework for Python(Flask-Django) & NodeJs capable of performing code…

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

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

Fuzzing Framework for Modules in Apache HTTPD Server

AST-based Python code transformation & deobfuscation framework

Example exploitable scenarios for CVE-2024-22243 affecting the Spring framework (open redirect & SSRF).

ReactGuard provides framework- and vulnerability-detection tooling for CVE-2025-55182 (React2Shell)

A complete framework for exploiting the vulnerability CVE-2025-55182

Security testing framework for repositories and source code

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

Policy-governed LLMSecOps framework providing AST-based SAST, secret scanning, supply-chain and multi-cloud CSPM checks, AI-BoM generation, and CI/CD…

A testing framework to identify and demonstrate deserialization vulnerabilities in LangChain Core (<0.3.81). Educational use only