[Soot-list] Jimple Parser error

[Al]

jb phase contains transformers that are /meant/ to get rid of redundant jimple code resulting from bytecode->jimple. It should be safe to apply the phase manually though.

On Aug 23, 2013, at 12:38 AM, Bernhard Berger <berber at tzi.de> wrote:

> 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
> 
> _______________________________________________
> 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/5dff7c1a/attachment.html