Re: Spark

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

As the name suggests, the builder builds the pointer assignment graph
from the source code. The points-to sets are computed using the PAG
*after* the PAG is built. So, while the PAG is being built, the complete
points-to sets are not yet available.

Every VarNode has two methods, getP2Set and makeP2Set which return
the points-to set for that node. You can call these at any time, but
if you call them before the points-to set has been computed, you will
get only a partial or empty points-to set. The difference between the
two (and between other similarly named methods in Spark) is that if
no points-to set has been created yet, getP2Set returns the immutable
EmptyPointsToSet singleton, while makeP2Set creates a mutable, empty
points-to set and returns it. You should use getP2Set if you are only
reading the points-to set, and makeP2Set if you are modifying it.

Ondrej

On Mon, Jul 07, 2003 at 10:28:50AM +0200, Christophe Massol wrote:
> Hello,
> 
> How find the link between an AllocNode and its VarNodes during the Spark 
> analysis in the method 
> soot.jimple.spark.builder.standartParms.handleStmt(Stmt s)  ??
> 
> -- 
> 
> 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
> 

On Wed, Jul 02, 2003 at 10:36:33AM +0200, Christophe Massol wrote:
> Hello,
> 
> 	I want to customize "on the fly" the Spark analysis and use the method 
> "forall(...)" of the object PAG in method "StandardPArms.handleStmt(...)"
> 
> How I can have informations of a local pointer during Spark Analysis in the 
> method handleStmt ?
> 
> -- 
> 
> 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
>