All tags
Catalogue tag

#program-analysis

Every repository in the public record carrying this tag — from its GitHub topics or the keywords its package registries publish. Health is measured under the same versioned methodology as the rest of the record.

6 records
Tagged “program-analysis”Ranked by health index
Maven
96Exceptionalhealth index
soot-oss/SootUp
A new version of Soot with a completely overhauled architecture
Java★ 811Jul 25, 2026
LGPL-2.1Jul 25, 2026 · metrics 2.10.0
PyPI
91Excellenthealth index
angr/angr-management
The official angr GUI.
Python★ 1,157Jul 18, 2026
BSD-2-ClauseJul 18, 2026 · metrics 2.10.0
Maven · PyPI
89Excellenthealth index
wala/WALA
T.J. Watson Libraries for Analysis, with front ends for Java, Android, and JavaScript, and many common static program analyses.
Java★ 860Jul 17, 2026
EPL-2.0Jul 17, 2026 · metrics 2.10.0
npm · Go · PyPI
78Goodhealth index
antgroup/YASA-UAST
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.
TypeScript · JavaScript★ 89↓ 1,416/moAug 21, 2026
No licenseAug 21, 2026 · metrics 2.10.0
Hex · npm
75Goodhealth index
elixir-vibe/reach
Program dependence graph and architecture/code-flow analysis for BEAM projects
Elixir★ 159↓ 17.1K/moJul 17, 2026
MITJul 17, 2026 · metrics 2.10.0
crates.io
57Moderatehealth index
s-arash/ascent
Logic programming in Rust
Rust★ 578↓ 151.6K/moSep 1, 2026
MITSep 1, 2026 · metrics 2.10.0