Topic Hub
#pointer-analysis (6 Repositories)
Ranked open-source repositories tagged with #pointer-analysis, scored by pull request acceptance likelihood and maintainer engagement velocity.
Topic Avg Merge Rate
53.6%
Avg Review Latency
3.4h
Filter by language
6 repositories tagged #pointer-analysis
A TierJava 875
wala/WALA
T.J. Watson Libraries for Analysis, with front ends for Java, Android, and JavaScript, and many common static program analyses.
93.8%
Merge Rate
-
First Review
75%
1st-Timers
3
Maintainers
A TierC++ 169
seahorn/sea-dsa
Context, field, and array-sensitive heap analysis for LLVM based on DSA.
100.0%
Merge Rate
2h
First Review
100%
1st-Timers
1
Maintainers
A TierC++ 1.7k
SVF-tools/SVF
Static Value-Flow Analysis Framework for Source Code
27.8%
Merge Rate
19h
First Review
40%
1st-Timers
6
Maintainers
B TierJava 225
plast-lab/doop
The official repo of Doop, the declarative pointer analysis framework.
100.0%
Merge Rate
-
First Review
100%
1st-Timers
0
Maintainers
D TierGo 438
amit-davidson/Chronos
Chronos - A static race detector for the go language
0.0%
Merge Rate
-
First Review
0%
1st-Timers
0
Maintainers
D TierScala 323
cs-au-dk/TIP
Static program analysis for TIP
0.0%
Merge Rate
-
First Review
0%
1st-Timers
0
Maintainers