目录标签

#program-analysis

公开记录中带有此标签的全部仓库——标签来自其 GitHub 主题或软件包注册表发布的关键词。健康度量遵循与记录其余部分相同的版本化方法论。

6 条记录

标签为“program-analysis”按健康指数排序

Maven

95卓越健康指数

soot-oss/SootUp

A new version of Soot with a completely overhauled architecture

Java★ 8182026年9月13日

LGPL-2.12026年9月13日 · 指标 2.10.0

PyPI

91优秀健康指数

angr/angr-management

The official angr GUI.

Python★ 1,1782026年9月10日

BSD-2-Clause2026年9月10日 · 指标 2.10.0

Maven · PyPI

91优秀健康指数

wala/WALA

T.J. Watson Libraries for Analysis, with front ends for Java, Android, and JavaScript, and many common static program analyses.

Java★ 8672026年9月10日

EPL-2.02026年9月10日 · 指标 2.10.0

npm · Go · PyPI

73良好健康指数

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/月2026年10月20日

无许可证2026年10月20日 · 指标 2.10.0

Hex · npm

73良好健康指数

elixir-vibe/reach

Program dependence graph and architecture/code-flow analysis for BEAM projects

Elixir★ 191↓ 20.9K/月2026年9月9日

MIT2026年9月9日 · 指标 2.10.0

crates.io

53中等健康指数

s-arash/ascent

Logic programming in Rust

Rust★ 591↓ 235.7K/月2026年10月21日

MIT2026年10月21日 · 指标 2.10.0