Topic · abstract-interpretation

abstract-interpretation

Tracked open-source repos tagged abstract-interpretation, sorted by stars.

Repos

3

Total stars

6,544

Avg. stars

2,181

Share

0.00%

Topics that frequently appear alongside abstract-interpretation on the same repo.

Recent risers

Repos created in the last 90 days, tagged abstract-interpretation.

No new repos tagged with this topic in the last 90 days.

#1
ikos ↗@NASA-SW-VnVC++
Static analyzer for C/C++ based on the theory of Abstract Interpretation.
★ 3,163+1Star change over the last 7 days
#2
SVF ↗@SVF-toolsC++
Static Value-Flow Analysis Framework for Source Code
★ 1,708+1Star change over the last 7 days
#3
BinAbsInspector ↗@KeenSecurityLabJava
BinAbsInspector: Vulnerability Scanner for Binaries
★ 1,673+0Star change over the last 7 days

← Back to topics