[Soot-list] 答复: soot.CompilationDeathException: there were errors during parsing and/or type checking (JastAdd frontend)

[周 筱川]

Thank you Bernhard , i'll try again and give a feedback later.
________________________________
发件人: Bernhard Berger <berber at tzi.de>
发送时间: 2018年8月20日 6:19
收件人: 周 筱川
抄送: soot-list at CS.McGill.CA
主题: Re: [Soot-list] soot.CompilationDeathException: there were errors during parsing and/or type checking (JastAdd frontend)

Hi,

please try to compile your source code using javac and analyze the bytecode instead of the source. As far as I know, the bytecode front end is better supported than the source front end.

Regards, Bernhard

On 20 Aug 2018, at 05:38, 周 筱川 <cobra at live.com<mailto:cobra at live.com>> wrote:

Hi there,
    I'm a beginner for Soot, while trying to parse some java files , there's an error "soot.CompilationDeathException: there were errors during parsing and/or type checking (JastAdd frontend)".
   Thank you very much for any advice!

Detail as follows:

Tried commands:
java -cp D:\flowproject\soot\sootclasses-trunk-jar-with-dependencies.jar -debug  soot.Main  -cp . CardQueryService
java -cp D:\flowproject\soot\sootclasses-trunk-jar-with-dependencies.jar soot.Main --soot-classpath .;"%JAVA_HOME%"\jre\lib\rt.jar  CardQueryService

Error Message
Soot started on Mon Aug 20 11:20:20 CST 2018
soot.CompilationDeathException: there were errors during parsing and/or type checking (JastAdd frontend)
        at soot.JastAddInitialResolver.formAst(JastAddInitialResolver.java:66)
        at soot.JavaClassSource.resolve(JavaClassSource.java:57)
        at soot.SootResolver.bringToHierarchyUnchecked(SootResolver.java:240)
        at soot.SootResolver.bringToHierarchy(SootResolver.java:212)
        at soot.SootResolver.bringToSignatures(SootResolver.java:273)
        at soot.SootResolver.processResolveWorklist(SootResolver.java:174)
        at soot.SootResolver.resolveClass(SootResolver.java:137)
        at soot.Scene.loadClass(Scene.java:861)
        at soot.Scene.loadClassAndSupport(Scene.java:847)
        at soot.Scene.loadNecessaryClass(Scene.java:1577)
        at soot.Scene.loadNecessaryClasses(Scene.java:1590)
        at soot.Main.run(Main.java:248)
        at soot.Main.main(Main.java:144)

Java File Example:
   plz see the attachment





<CardQueryService.java>_______________________________________________
Soot-list mailing list
Soot-list at CS.McGill.CA<mailto:Soot-list at CS.McGill.CA>
https://mailman.CS.McGill.CA/mailman/listinfo/soot-list<https://mailman.cs.mcgill.ca/mailman/listinfo/soot-list>

-------------- next part --------------
An HTML attachment was scrubbed...
URL: <https://mailman.CS.McGill.CA/pipermail/soot-list/attachments/20180820/8bb7ddab/attachment.html>