[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

Spark analysis

To: Soot list <soot-list@sable.mcgill.ca>
Subject: Spark analysis
From: Christophe Massol <cmassol@sophia.inria.fr>
Date: Wed, 2 Jul 2003 10:36:33 +0200
Reply-to: cmassol@sophia.inria.fr
Sender: owner-soot-list@sable.mcgill.ca
User-agent: KMail/1.4.3

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

Prev by Date: Re: problem when trying soot with jvm98
Next by Date: Re: problem when trying soot with jvm98
Previous by thread: Re: Spark analysis
Next by thread: Side-Effect Analysis
Index(es):
- Date
- Thread