#Taint-analysis
Showing 10 of 10 repositories tagged #taint-analysis, ranked by stars
Performant type-checking for python.
The SpotBugs plugin for security audits of Java web applications and Android applications. (Also work with Kotlin, Groovy and Scala projects)
Binary Analysis Platform
A Static Analysis Tool for Detecting Security Vulnerabilities in Python Web Applications
An easy-to-learn/use static analysis framework for Java and Android
Angora is a mutation-based fuzzer. The main goal of Angora is to increase branch coverage by solving path constraints without symbolic execution.
The open source taint analysis tool for the AI era. The analyzer you can customize and self-host, built so AI agents drive your security analysis without burning tokens on every scan. AI-ready open source alternative to Semgrep Pro and CodeQL.
支持MCP调用的ARM Trace污点追踪与条件搜索工具，集成可视化UI、ARM64污点追踪分析与大文件Trace搜索。
YASA-UAST is an intermediate representation structure for multi-language program analysis. The UAST-Parser parses code from different programming languages into a unified abstract syntax format.
Detecting Flow of Sensitive Data in Mini-Programs with Static Taint Analysis