#taint-analysis (14 Repositories)
Ranked open-source repositories tagged with #taint-analysis, scored by pull request acceptance likelihood and maintainer engagement velocity.
20.0%
0.7h
14 repositories tagged #taint-analysis
JonathanSalwan/Triton
Triton is a dynamic binary analysis library. Build your own program analysis tools, automate your reverse engineering, perform software verification or just emulate code.
pascal-lab/Tai-e
An easy-to-learn/use static analysis framework for Java and Android
vimeo/psalm
A PHP static analysis tool for finding errors and security vulnerabilities in PHP applications
Lekssays/codebadger
🦡 codebadger is a containerized Model Context Protocol (MCP) server that gives AI agents and LLMs deep, queryable access to a codebase's structure and data flow through Joern Code Property Graphs (CPGs).
elixir-vibe/reach
Program dependence graph and architecture/code-flow analysis for BEAM projects
facebook/pyre-check
Performant type-checking for python.
antgroup/YASA-Engine
YASA is an open-source static program analysis project. Its core innovation lies in a unified intermediate representation called UAST, designed to support multiple programming languages. Built on top of UAST, YASA provides a highly accurate static analysis framework.
SourceCode-AI/aura
Python source code auditing and static analysis on a large scale
BytecodeDL/ByteCodeDL
A declarative static analysis tool for jvm bytecode based Datalog like CodeQL
BinaryAnalysisPlatform/bap
Binary Analysis Platform
airbus-seclab/bincat
Binary code static analyser, with IDA integration. Performs value and taint analysis, type reconstruction, use-after-free and double-free detection
find-sec-bugs/find-sec-bugs
The SpotBugs plugin for security audits of Java web applications and Android applications. (Also work with Kotlin, Groovy and Scala projects)
AngoraFuzzer/Angora
Angora is a mutation-based fuzzer. The main goal of Angora is to increase branch coverage by solving path constraints without symbolic execution.
decaf-project/DECAF
DECAF (short for Dynamic Executable Code Analysis Framework) is a binary analysis platform based on QEMU. This is also the home of the DroidScope dynamic Android malware analysis platform. DroidScope is now an extension to DECAF.