问题描述:

When I use soot to process java file the error occurs:

$ java -cp soot-trunk.jar soot.Main -src-prec java -cp .:/usr/lib/jvm/java-1.7.0-openjdk-amd64/jre/lib/rt.jar Test1

Soot started on Thu Mar 17 21:56:41 CST 2016

/home/wws/IFDS/soot/test/Test1.java:3,8:

Semantic Error: no visible type named soot.PackManager

soot.CompilationDeathException: there were errors during parsing and/or type checking (JastAdd frontend)

at soot.JastAddInitialResolver.formAst(JastAddInitialResolver.java:63)

at soot.JavaClassSource.resolve(JavaClassSource.java:54)

at soot.SootResolver.bringToHierarchy(SootResolver.java:239)

at soot.SootResolver.bringToSignatures(SootResolver.java:266)

at soot.SootResolver.processResolveWorklist(SootResolver.java:170)

at soot.SootResolver.resolveClass(SootResolver.java:131)

at soot.Scene.loadClass(Scene.java:725)

at soot.Scene.loadClassAndSupport(Scene.java:710)

at soot.Scene.loadNecessaryClass(Scene.java:1425)

at soot.Scene.loadNecessaryClasses(Scene.java:1436)

at soot.Main.run(Main.java:243)

at soot.Main.main(Main.java:147)

2.

java -cp soot-trunk.jar soot.Main -src-prec java -cp . -pp Test1

Soot started on Fri Mar 18 00:16:15 CST 2016

/home/wws/IFDS/soot/test/Test1.java:3,8:

Semantic Error: no visible type named soot.PackManager

soot.CompilationDeathException: there were errors during parsing and/or type checking (JastAdd frontend)

at soot.JastAddInitialResolver.formAst(JastAddInitialResolver.java:63)

at soot.JavaClassSource.resolve(JavaClassSource.java:54)

at soot.SootResolver.bringToHierarchy(SootResolver.java:239)

at soot.SootResolver.bringToSignatures(SootResolver.java:266)

at soot.SootResolver.processResolveWorklist(SootResolver.java:170)

at soot.SootResolver.resolveClass(SootResolver.java:131)

at soot.Scene.loadClass(Scene.java:725)

at soot.Scene.loadClassAndSupport(Scene.java:710)

at soot.Scene.loadNecessaryClass(Scene.java:1425)

at soot.Scene.loadNecessaryClasses(Scene.java:1436)

at soot.Main.run(Main.java:243)

at soot.Main.main(Main.java:147)

相关阅读:
Top