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
