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

[Eric Bodden]

> 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