Topic Hub
#abstract-interpretation (9 Repositories)
Ranked open-source repositories tagged with #abstract-interpretation, scored by pull request acceptance likelihood and maintainer engagement velocity.
Topic Avg Merge Rate
7.5%
Avg Review Latency
6.5h
Filter by language
9 repositories tagged #abstract-interpretation
A TierOCOCaml 250 2 GFIs
goblint/analyzer
Static analysis framework for C
67.3%
Merge Rate
2d
First Review
50%
1st-Timers
7
Maintainers
D TierOCOCaml 7.2k
facebook/pyre-check
Performant type-checking for python.
0.0%
Merge Rate
<1h
First Review
0%
1st-Timers
0
Maintainers
D TierC++ 1.7k
SVF-tools/SVF
Static Value-Flow Analysis Framework for Source Code
0.0%
Merge Rate
19h
First Review
0%
1st-Timers
1
Maintainers
D TierOCOCaml 126
ropas/sparrow
The Sparrow Static Analyzer
0.0%
Merge Rate
-
First Review
0%
1st-Timers
0
Maintainers
D TierOCOCaml 189
Frama-C/Frama-C-snapshot
Release snapshots of the Frama-C platform for source code analysis
0.0%
Merge Rate
-
First Review
0%
1st-Timers
0
Maintainers
D TierC++ 250
seahorn/crab
A library for building abstract interpretation-based analyses.
0.0%
Merge Rate
-
First Review
0%
1st-Timers
0
Maintainers
D TierC 477
seahorn/seahorn
SeaHorn Verification Framework
0.0%
Merge Rate
-
First Review
0%
1st-Timers
0
Maintainers
D TierLLLLVM 101
SVF-tools/Software-Security-Analysis
Static Analysis Course
0.0%
Merge Rate
-
First Review
0%
1st-Timers
0
Maintainers
D TierKotlin 255
Feysh-Group/corax-community
Corax for Java: A general static analysis framework for java code checking.
0.0%
Merge Rate
-
First Review
0%
1st-Timers
0
Maintainers