Re: Spark allocNode

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

Spark uses a single AllocNode to represent all string constants.

In Soot 2.0, Spark keeps track of constant strings, and has separate
AllocNodes for each constant that is the name of a class. These are used
to deal with dynamic class loading using Class.forName(). It's trivial
to change it[1] to represent *every* string constant separately. However,
since there are so many string constants, this results in very large
points-to sets and slows down the analysis significantly.

Ondrej

[1] See soot.jimple.spark.builder.StandardParms.caseStringConstant()

On Thu, Jun 05, 2003 at 01:12:59PM +0200, Christophe Massol wrote:
> Hello,
> 
> 
> for this point :
> 
> String url = "p";
> 
> Spark construct the allocNode :
> 
> ->	AllocNode 3 -7 in method null
> 
> Why does Spark not give me the allocNode corresponding to the StringConstant 
> "p" ?
> 
> -- 
> 
> 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
>