Verimag

Détails sur le séminaire

salle A. Turing CE4
4 mars 2014 - 15h45
How to analyze arrays by distinguishing only a couple of cells
par David Monniaux de 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 | Plan du site | Site réalisé avec SPIP 3.0.26 + AHUNTSIC [CC License]

info visites 912843