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

[Tezcan Dilshener]

> 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 ----