Data

Tools

Indexes

Applications

Experiments

Repos

An open API service providing repository metadata for many open source software ecosystems.

GitHub topics: abstract-interpretation

Antique-team/memcad

The MemCAD static analyzer

Size: 877 KB - Last synced at: 7 days ago - Pushed at: about 4 years ago - Stars: 27 - Forks: 5

Related Keywords
abstract-interpretation 1 c 1 ocaml 1 shape-analysis 1 static-analysis 1