Verimag

Seminar details

salle A. Turing CE4
4 March 2014 - 15h45
How to analyze arrays by distinguishing only a couple of cells
by David Monniaux from CNRS / VERIMAG



Abstract: Usual static analysis approaches for programs handling arrays use special domains for representing sets of arrays, or apply some form of pattern-based partitioning to convert the array program into a scalar program. In our case, we simply abstract the array a by one cell a[x], or two cells a[x] and a[y], with x



Contact | Site Map | Site powered by SPIP 3.0.26 + AHUNTSIC [CC License]

info visites 874925