[Soot-list] a problem in the points-to analysis using SPARK

[Quentin Sabah]

> I am debugging on this example.
> I find that the statement
> Scene.v().getPointsToAnalysis().reachingObjects(local loc);
> gets the same reaching points-to sets for variable 'Container c1' and 'Container c2'.
> This is strange.

It is strange. What is the content of these points-to sets using toString(), and their class type using getClass().toString() ?
What version of soot are you using? Have you tried different versions?

-- 
Quentin Sabah, CIFRE Ph.D. student
Grenoble University
INRIA-SARDES                   | STMicroelectronics/AST
Montbonnot, France             | Grenoble, France
mailto:quentin.sabah at inria.fr  | mailto:quentin.sabah at st.com
phone: +33 476 61 52 42        | phone: +33 476 58 44 14