Blogs (28) >>
ECOOP 2016
Sun 17 - Fri 22 July 2016 Rome, Italy
Tue 19 Jul 2016 12:00 - 12:25 at Belli - Session 2 Chair(s): Delphine Demange

Difference propagation is an algorithm widely used in points-to and alias analysis. To the best of our knowledge, the soundness of the version of the algorithm used for the static analysis of Java programs has not yet been proven. An attempt to do this yields a surprise: when the algorithm is used to compute field sensitive points-to for Java programs, soundness cannot be guaranteed when self-loads (statements of the kind x=x.f) are present. We discuss such a scenario and suggest a modification of the algorithm that is sufficient to prove soundness.

Tue 19 Jul

FTfJP-2016
11:00 - 12:25: FTfJP - Session 2 at Belli
Chair(s): Delphine DemangeIRISA / University of Rennes 1
FTfJP-201611:00 - 11:30
Talk
Timothy JonesVictoria University of Wellington, David PearceVictoria University of Wellington
DOI Pre-print File Attached
FTfJP-201611:30 - 12:00
Talk
Davide AnconaUniversity of Genova, Andrea Corradi
FTfJP-201612:00 - 12:25
Talk
Jens DietrichMassey University, New Zealand, Nicholas HollingumThe University of Sydney, Bernhard ScholzUniversity of Sydney, Australia