[Soot-list] couldn't find class: SableJBDD.bdd.JBddVariable

[Bernhard Berger]

Hi Tezcan,

have you tried the parameter -src-prec only-class ? 

Bernhard

On Do, 2012-01-05 at 11:56 +0100, Tezcan Dilshener wrote:
> > So you need to analyze source files? Would analyzing class files not
> > be sufficient for your purpose?
> 
> Sure, that is what I am trying to do but it is not working. 
> How can I start Soot so that it does not search for source files and use only the .class fiels from the dir that I specify?
> 
>  
> ----- original message --------
> 
> Subject: Re: Re: [Soot-list] couldn't find class: SableJBDD.bdd.JBddVariable
> Sent: Thu, 05 Jan 2012
> From: Eric Bodden<eric.bodden at ec-spride.de>
> 
> > > For my first attempt and to keep things simple the former is OK for me.
> > > But when I run with  -app and -process-dir, in debug mode I can see that
> > it reads all the classes from the specified dir but fails to find the source
> > for each class!
> > > And when I specify the source dir with -cp on call argument then I get
> > soot.CompilationDeathException: type checking (JastAdd frontend) error.
> > 
> > So you need to analyze source files? Would analyzing class files not
> > be sufficient for your purpose?
> > 
> > Eric
> > 
> 
> --- original message end ----
> 
> _______________________________________________
> Soot-list mailing list
> Soot-list at sable.mcgill.ca
> http://mailman.cs.mcgill.ca/mailman/listinfo/soot-list

-- 
Dipl. Inf. Bernhard Berger

TZI – Universität Bremen, AG Softwaretechnik
E-Mail  berber at tzi.de
Telefon +49 421 218-64472