salle A. Turing CE4
26 avril 2013 - 14h00
Picking up your targets --- aggressive strong update beyond common sense
par Zhoulai Fu de IMDEA Madrid
Abstract: Strong update --- the assignments overwrite the contents of the target property,
is essential for precise static analysis of memory operations. Classically,
the strong update is safe if such assignment will definitely occur and that it
assigns to a unique location.
We find that this classic safety condition of strong update can be weakened if
we semantically restrict our analysis to a limited scope of program identifiers,
which we will call ``targets'' in this work. This finding allows us to
systematically discover more strong update cases by picking up the appropriate
targets.
