abstract-interpretation topic

List abstract-interpretation repositories

progge.rs

33
Stars
0
Forks
Watchers

Program analysis playground for a simple, imperative language

verified publisher icon skius

BinAbsInspector

1.5k
Stars
223
Forks
Watchers

BinAbsInspector: Vulnerability Scanner for Binaries

verified publisher icon KeenSecurityLab

logically

113
Stars
9
Forks
Watchers

explorations in core.logic

verified publisher icon namin

pyre-check

6.7k
Stars
429
Forks
Watchers

Performant type-checking for python.

verified publisher icon facebook

ikos

2.5k
Stars
179
Forks
61
Watchers

Static analyzer for C/C++ based on the theory of Abstract Interpretation.

verified publisher icon NASA-SW-VnV

seahorn

430
Stars
132
Forks
Watchers

SeaHorn Verification Framework

verified publisher icon seahorn

linter

267
Stars
34
Forks
Watchers

Static Analysis Compiler Plugin for Scala

verified publisher icon HairyFotr

clam

263
Stars
37
Forks
Watchers

Static Analyzer for LLVM bitcode based on Abstract Interpretation

verified publisher icon seahorn

ebpf-verifier

350
Stars
39
Forks
Watchers

eBPF verifier based on abstract interpretation

verified publisher icon vbpf

sparrow

120
Stars
28
Forks
Watchers

The Sparrow Static Analyzer

verified publisher icon ropas