abstract-interpretation topic
List
abstract-interpretation repositories
progge.rs
33
Stars
0
Forks
Watchers
Program analysis playground for a simple, imperative language
BinAbsInspector
1.5k
Stars
223
Forks
Watchers
BinAbsInspector: Vulnerability Scanner for Binaries
logically
113
Stars
9
Forks
Watchers
explorations in core.logic
pyre-check
6.7k
Stars
428
Forks
Watchers
Performant type-checking for python.
ikos
2.0k
Stars
148
Forks
Watchers
Static analyzer for C/C++ based on the theory of Abstract Interpretation.
seahorn
430
Stars
132
Forks
Watchers
SeaHorn Verification Framework
linter
267
Stars
34
Forks
Watchers
Static Analysis Compiler Plugin for Scala
clam
261
Stars
37
Forks
Watchers
Static Analyzer for LLVM bitcode based on Abstract Interpretation
ebpf-verifier
346
Stars
39
Forks
Watchers
eBPF verifier based on abstract interpretation
sparrow
120
Stars
28
Forks
Watchers
The Sparrow Static Analyzer