[Soot-list] Jimple Parser error

[Bernhard Berger]

Hi,

it seems that the naming of the locals is broken if you read from Java source files (using class files is working for the class you posted).

The problem here is that there is a local named "@p0" which is not supported by Soot's lexer (the rule is at_identifier = '@' (('parameter' dec_digit+ ':') | 'this' ':' | 'caughtexception');  ) This should be no problem since jb.lns should normalize the names but I do not see that jb runs when you are using Java source. Does someone know why? 


Bernhard

Am 22.08.2013 um 22:42 schrieb Sergio Ferrero <sferrero at ensoftcorp.com>:

> I get the following error when using Jimple Parser to parse the attached Jimple file.
> 
> soot.jimple.parser.lexer.LexerException: [31,26] Unknown token: @p0
> 
> at soot.jimple.parser.lexer.Lexer.getToken(Lexer.java:1183)
> 
> at soot.jimple.parser.lexer.Lexer.peek(Lexer.java:36)
> 
> at soot.jimple.parser.parser.Parser.parse(Parser.java:119)
> 
> ....
> 
> 
> I have also attached corresponding java file from which I generated the Jimple file by using the Soot Eclipse plugin. 
> 
> Any help is appreciated.
> Thanks
> Sergio
> <E1.java><com.ensoftcorp.abp.test.E1.jimple>_______________________________________________
> Soot-list mailing list
> Soot-list at sable.mcgill.ca
> http://mailman.cs.mcgill.ca/mailman/listinfo/soot-list

-------------- next part --------------
An HTML attachment was scrubbed...
URL: http://mailman.cs.mcgill.ca/pipermail/soot-list/attachments/20130823/20dcabec/attachment.html