MemCAD

A static analyzer performing shape analysis on memory structures in programs.

27 stars5 forks0 contributors

Overview

The MemCAD static analyzer

Community-curated · Updated weekly · 100% open source

Open-Awesome is built by the community, for the community. Submit a project, suggest an awesome list, or help improve the catalog on GitHub.

4 years ago

CreatedSince 2015

Auto-fetched 3 hours ago

Adds static typing to JavaScript to improve developer productivity and code quality.

A static analyzer for Java, C, C++, and Objective-C

SLAyer is an automatic formal verification tool that uses separation logic to verify memory safety of C programs.

Formal verification for OCaml, with Rocq