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
95Exceptionalhealth index
soot-oss/SootUp
A new version of Soot with a completely overhauled architecture
Java★ 818Sep 13, 2026
LGPL-2.1Sep 13, 2026 · metrics 2.10.0
PyPI
91Excellenthealth index
angr/angr-management
The official angr GUI.
Python★ 1,178Sep 10, 2026
BSD-2-ClauseSep 10, 2026 · metrics 2.10.0
Maven · PyPI
91Excellenthealth index
wala/WALA
T.J. Watson Libraries for Analysis, with front ends for Java, Android, and JavaScript, and many common static program analyses.
Java★ 867Sep 10, 2026
EPL-2.0Sep 10, 2026 · metrics 2.10.0
npm · Go · PyPI
73Goodhealth 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★ 95↓ 1,134/moOct 20, 2026
No licenseOct 20, 2026 · metrics 2.10.0
Hex · npm
73Goodhealth index
elixir-vibe/reach
Program dependence graph and architecture/code-flow analysis for BEAM projects
Elixir★ 191↓ 20.9K/moSep 9, 2026
MITSep 9, 2026 · metrics 2.10.0
crates.io
53Moderatehealth index
s-arash/ascent
Logic programming in Rust
Rust★ 591↓ 235.7K/moOct 21, 2026
MITOct 21, 2026 · metrics 2.10.0