Memory Compositional Abstract Domains
MemCAD ERC Starting Grant (Oct. 2011 - Oct 2016)

PI : Xavier Rival

Summary

The MemCAD project aims at designing a framework for the static analysis of programs manipulating complex memory states. A very wide range of data structures are encountered in real programs, such as arrays, linked structures, strings... While static analysis techniques have been developped to deal with each of those issues, no framework allows to deal with all of them in a single analysis tool. The purpose of the MemCAD project is to propose ways to combine analysis techniques adapted to simpler data structures so as to infer precise invariants about programs manipulating complex data structures, composed of intricate combinations of basic ones.

MemCAD Analyzer

In the course of the MemCAD project, the MemCAD analyzer is being developped at INRIA. We plan to release source code of the analyzer along the course of the project.

People

Current members: Former member:

Publications