[Soot-list] verification error on accessing fields

[Eric Bodden]

By the way: why are you using different package names?

testLoops2.TempClass in the cast but myPackage.TempClass in the field
access.... may that be the mistake?

Eric

--
Dr. Eric Bodden
Software Technology Group, Technische Universität Darmstadt, Germany
Tel: +49 6151 16-5478    Fax: +49 6151 16-5410
Mailing Address: S2|02 A209, Hochschulstraße 10, 64289 Darmstadt



On 23 June 2010 17:13, Eric Bodden <bodden at st.informatik.tu-darmstadt.de> wrote:
>> Does anyone know any way around this problem, as I do not want to disable
>> verification?
>
> Hmm, I don't see anything wrong. It may help to see the code of
> TempClass... You may try the -validate switch to Soot. That will do
> some validation on your Jimple code.
>
> Eric
>