Re: Pointer analysis

[Ondrej Lhotak <olhotak@sable.mcgill.ca>]

Spark represents all the elements of an array as a fake field of the
array object. This fake field is represented by the singleton
soot.jimple.spark.pag.ArrayElement.

Ondrej

On Thu, Jun 05, 2003 at 10:20:21AM +0200, Christophe Massol wrote:
> 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
>