#taint-analysis (8 Repositories)
Ranked open-source repositories tagged with #taint-analysis, scored by pull request acceptance likelihood and maintainer engagement velocity.
18.8%
36.1h
8 repositories tagged #taint-analysis
elixir-vibe/reach
Program dependence graph and architecture/code-flow analysis for BEAM projects
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).
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.
BinaryAnalysisPlatform/bap
Binary Analysis Platform
SourceCode-AI/aura
Python source code auditing and static analysis on a large scale
airbus-seclab/bincat
Binary code static analyser, with IDA integration. Performs value and taint analysis, type reconstruction, use-after-free and double-free detection
BytecodeDL/ByteCodeDL
A declarative static analysis tool for jvm bytecode based Datalog like CodeQL