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

[Quentin Sabah]

Hi,
> The line "[3,7] Container intersect? true" means that the local variable
> 'Container c1' and 'Container c2' in the go() method of class 'Use' may
> refer to the same object.
> But this is impossible.
> I am new to Soot. I think I am confused by so many options.

Exactly, you don't need so many options. First, I'm not even sure that 
Spark is executed with your current options, do you see any log printed 
for Spark? That would explain why you get confusing result.

Usually I just pass the option "-p cg.spark enabled", or:
   soot.options.Options.v().setPhaseOption("cg.spark","enabled:true");


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