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.
Keywords for this software
References in zbMATH (referenced in 1 article )
Showing result 1 of 1.
- Li, Huisong; Berenger, Francois; Chang, Bor-Yuh Evan; Rival, Xavier: Semantic-directed clumping of disjunctive abstract states (2017)