The Wayback Machine - https://web.archive.org/web/20200812154318/https://github.com/Antique-team/memcad
Skip to content

/ memcad

The MemCAD static analyzer

GPL-3.0 License
22 stars 4 forks
Star
Watch
master
1 branch 2 tags
Go to file
Code

Clone with HTTPS

Use Git or checkout with SVN using the web URL.

Latest commit

 

Git stats

Files

Permalink
Failed to load latest commit information.
Type
Name
Latest commit message
Commit time
bench/rt
 
 
bin
 
 
c
 
 
doc
 
 
lib
 
 
main
 
 
nd
 
 
sd
 
 
.gitignore
 
 
.merlin
 
 
LICENSE
 
 
README.md
 
 
dico.txt
 
 
files.txt
 
 
makefile
 
 
memcad.h
 
 
memcad.obuild
 
 
opam
 
 
rt.txt
 
 

README.md

MemCAD

A static analyzer doing shape analysis.

About

The MemCAD static analyzer

Topics

abstract-interpretation static-analysis c shape-analysis ocaml

Resources

Readme

License

GPL-3.0 License

Releases

2 tags

Contributors 2

  •  
  •  

Languages

You can’t perform that action at this time.