O

Decision filters

Choose skills by scenario, quality, and trust signals.

4 skills matching "program-analysis"

Best blend of quality, stars, freshness, and agent usage

1

Semgrep Rules

VERIFIEDEXCELLENT · 97

Semgrep Community Edition rules, maintained by Semgrep and the community. Free to use under the Semgrep Rules License.

$ npx skills add semgrep/semgrep-rules
1.2K stars63 qualityClaude Code
High-confidence pick with strong adoption and healthy maintenance signals.
hclstatic-analysis
by semgrepQuick view
2

Phasar

VERIFIEDEXCELLENT · 90

A LLVM-based static analysis framework.

$ npx skills add secure-software-engineering/phasar
1.0K stars63 qualityClaude Code
High-confidence pick with strong adoption and healthy maintenance signals.
c++static-analysis
by secure-software-engineeringQuick view
3

WALA

EXCELLENT · 87

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

$ npx skills add wala/WALA
851 stars54 qualityClaude Code
High-confidence pick with strong adoption and healthy maintenance signals.
javastatic-analysis
by walaQuick view
4

Tai E Assignments

VERIFIEDSTRONG · 78

Tai-e assignments for static program analysis

$ npx skills add pascal-lab/Tai-e-assignments
1.2K stars52 qualityClaude Code
Solid option that is likely worth shortlisting for production workflows.
javastatic-analysis
by pascal-labQuick view