Pointer analysis

[Christophe Massol <cmassol@sophia.inria.fr>]

Hello,

I want to do this analysis :

------------------------------------

1-   Object[] o = new Object[2];
2-   o[1] = "p";
3-   o[2] = "o";

4-    T t = new T( o );

------------------------------------

With spark, I know that in line 4 , the pointeur o is referenced by " new 
Object[2] "

but I want to know objects referenced by o. For example, o[1] is "p"


Do you have an idea or a works report do on this subject ?

-- 

Cordialement,

	Massol Christophe
---------------------------------------------------------------
Stagiaire Projet OASIS  
[049238 7558]

 Etudiant en maîtrise MIAGE à l'université de Nice

 Tel: 06 12 53 72 44
 Adresse: 217 bd de la madeleine
 06000 Nice