[Soot-list] jasmin error

[Eric Bodden]

Hello.

The problem is that the jasmin code contains this fragment:

.deprecated

.inner_class_attr
.inner_class_spec_attr "de/susebox/jtopas/TestTokenizerSpeed$TagInfo"
"de/susebox/jtopas/TestTokenizerSpeed" "TagInfo" protected .end
.inner_class_spec_attr
.end .inner_class_attr

According to the jasmin grammar, the .deprecated has to *follow* the
inner class attributes:

jas_file ::=
        source_spec
        class_spec
        super_spec
	    impls
	    class_attrs
        synth_attr
        inner_class_attr <-------
        encl_meth_attr
        class_depr_attr <-------
        class_sig_attr
        class_annotation_attr
        fields
        methods
    ;

Hence, changing the file to the following will make it parse:

.inner_class_attr
.inner_class_spec_attr "de/susebox/jtopas/TestTokenizerSpeed$TagInfo"
"de/susebox/jtopas/TestTokenizerSpeed" "TagInfo" protected .end
.inner_class_spec_attr
.end .inner_class_attr

.deprecated

The question is now, of course, what component generates this faulty
jasmin code. Is it generated with Soot?

Eric

On 10 May 2011 02:56, Mahdi Hassan <mmmhbd76 at gmail.com> wrote:
> Hi Eric
>
> Thanks for your response. Here I attach the jasmin version of the
> class. Please check.
>
> regards
> Mahdi
>
> On Mon, May 9, 2011 at 10:56 AM, Eric Bodden
> <bodden at st.informatik.tu-darmstadt.de> wrote:
>> Hi Mahdi.
>>
>> Jasmin concerts a textual "Jasmin" syntax to bytecode. Hence, the
>> error will be in the Jasmin code, not the bytecode. Hence it would
>> help if you could send us the textual input to Jasmin instead of the
>> class file. You can produce
>> it by using the "-f jasmin" argument to Soot.
>>
>> Eric
>>
>> On 9 May 2011 05:27, Mahdi Hassan <mmmhbd76 at gmail.com> wrote:
>>> Hi
>>>
>>> I am working with jtopas(using SIR version) for my code coverage
>>> research. I am using jasminclasses-2.3.0.jar as a part of DUAF (a tools
>>> designed by Raul Santelices) & soot. It works nicely with some other
>>> subject programs but it failed in a class(I attach the class with this
>>> mail).. It create the following error. It will be a great help for me if
>>> any of you have any idea why this error occurred.
>>>
>>> ******jasmin error**
>>>
>>> Writing to …/de/susebox/jtopas/TestTokenizerSpeed.class
>>>
>>> Jasmin:7: Warning - Syntax error.
>>>
>>> .inner_class_attr
>>>
>>> ^
>>>
>>> Jasmin:7: Error - Couldn't repair and continue parse.
>>>
>>> .inner_class_attr
>>>
>>> ^
>>>
>>> ********
>>>
>>> Regards
>>>
>>> Mahdi Hassan
>>>
>>> PHD Student
>>>
>>> CSD, UWO CA
>>>
>>> London, ON, Canada
>>>
>>> _______________________________________________
>>> Soot-list mailing list
>>> Soot-list at sable.mcgill.ca
>>> http://mailman.cs.mcgill.ca/mailman/listinfo/soot-list
>>>
>>>
>>
>>
>>
>> --
>> Dr. Eric Bodden, http://bodden.de/
>> Principal Investigator in Secure Services at CASED
>> Coordinator of the CASED Advisory Board of Study Affairs
>> PostDoc at Software Technology Group, Technische Universität Darmstadt
>> Tel: +49 6151 16-5478    Fax: +49 6151 16-5410
>> Mailing Address: S2|02 A209, Hochschulstraße 10, 64289 Darmstadt
>>
>



-- 
Dr. Eric Bodden, http://bodden.de/
Principal Investigator in Secure Services at CASED
Coordinator of the CASED Advisory Board of Study Affairs
PostDoc at Software Technology Group, Technische Universität Darmstadt
Tel: +49 6151 16-5478    Fax: +49 6151 16-5410
Mailing Address: S2|02 A209, Hochschulstraße 10, 64289 Darmstadt