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.2.16 + AHUNTSIC [CC License]

info visites 1877778