#abstract-interpretation (13 Repositories)
Ranked open-source repositories tagged with #abstract-interpretation, scored by pull request acceptance likelihood and maintainer engagement velocity.
32.1%
4.2h
13 repositories tagged #abstract-interpretation
goblint/analyzer
Static analysis framework for C
flowr-analysis/flowr
Sophisticated static program analysis framework for the R programming language.
vbpf/prevail
eBPF verifier based on abstract interpretation
SVF-tools/SVF
Static Value-Flow Analysis Framework for Source Code
SVF-tools/Software-Security-Analysis
Static Analysis Course
seahorn/seahorn
SeaHorn Verification Framework
facebook/pyre-check
Performant type-checking for python.
Feysh-Group/corax-community
Corax for Java: A general static analysis framework for java code checking.
Frama-C/Frama-C-snapshot
Release snapshots of the Frama-C platform for source code analysis
seahorn/crab
A library for building abstract interpretation-based analyses.
ropas/sparrow
The Sparrow Static Analyzer
KeenSecurityLab/BinAbsInspector
BinAbsInspector: Vulnerability Scanner for Binaries
NASA-SW-VnV/ikos
Static analyzer for C/C++ based on the theory of Abstract Interpretation.