package memcad

  1. Overview
  2. No Docs
The MemCAD analyzer

Install

Dune Dependency

www.di.ens.fr Edit opam file Versions (2)

Authors

  1. X
    Xavier Rival et. al.

Maintainers

  1. X
    Xavier.Rival@ens.fr

Sources

v1.0.0.tar.gz
md5=7951413755c9cce76409ac792c960662

Description

MemCAD is an abstract interpreter for shape analysis. MemCAD can analyze C programs manipulating complex data structures.

Published: 22 Aug 2016

Dev Dependencies

None

Used by

None

Conflicts

None