MemCAD

github.comtool

from

OCaml

added

2026-10-10

likes

0

OCaml › Code Analysis and Linters: “MemCAD is an abstract interpreter for shape analysis. MemCAD can verify C programs manipulating complex data structures.”