Data

Tools

Indexes

Applications

Experiments

Repos

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

GitHub topics: shape-analysis

Antique-team/memcad

The MemCAD static analyzer

Size: 877 KB - Last synced at: about 2 months ago - Pushed at: almost 5 years ago - Stars: 27 - Forks: 5

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