
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

Scala-based static analysis framework for Android and Java bytecode with flow analysis, decompilation, and native code analysis via symbolic…

Static Analyzer for Solidity and Vyper

Python source code auditing and static analysis on a large scale

LLVM based static binary analysis framework

Automated static code analysis framework integrated with SonarQube for early vulnerability detection in source code by scanning Git repositories…

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

Security-focused static analysis for the Phoenix Framework

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

Static Analyzer for Starknet smart contracts

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


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

Security testing framework for repositories and source code

Exploit for CVE-2011-4367 targeting Apache MyFaces JSF implementation, demonstrating a remote code execution vulnerability in the Jakarta Faces…

Created after the disclosure of CVE-2022-22965 and CVE-2022-22963. Bash script that detects Spring Framework occurrences in your projects and…

A Semantics-Enhanced Learnable Vulnerability Detector

JAW: A Graph-based Security Analysis Framework for Client-side JavaScript