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

Abstraction

To: Soot list <soot-list@sable.mcgill.ca>
Subject: Abstraction
From: Christophe Massol <cmassol@sophia.inria.fr>
Date: Fri, 1 Aug 2003 10:59:54 +0200
Reply-to: cmassol@sophia.inria.fr
Sender: owner-soot-list@sable.mcgill.ca
User-agent: KMail/1.4.3

I want to use bandera's abstraction tool on a program but I can't see its 
results.

I turn on the J3C to analyse the user classes.
I select the Sign abstraction on an int.
I put on the generation of jimple code in prefs.

I run bandera with the SLABS on.

I can't see any differences on the code in the abstracted directory.

-- 

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: Inconvenience in eclipse plugin
Next by Date: SPARK option set
Previous by thread: Re: Inconvenience in eclipse plugin
Next by thread: SPARK option set
Index(es):
- Date
- Thread