[Soot-list] Type Assigner

[Eric Bodden]

Hi "Rule One".

Is this even valid Jimple code? Where does this code come from? Would
you be able to provide a full example in the form of a .jimple file or
.class file?

Cheers,
Eric

On 10 March 2012 08:45, Rule One <rule1_ at hotmail.com> wrote:
> The following Jimple code,
>
> $stack1#199 = l25
> if $stack1#199 != 0 goto $stack0#232 = (aca) $stack0#163
> $stack1#200 = l13#4
> $stack2#112 = null
>
> seems to confuse the type assigner (java.lang.ClassCastException:
> soot.RefType cannot be cast to soot.ArrayType), specifically this bit,
>
> $stack0#163[$stack1#200] = $stack2#112
>
> _______________________________________________
> Soot-list mailing list
> Soot-list at sable.mcgill.ca
> http://mailman.cs.mcgill.ca/mailman/listinfo/soot-list
>



-- 
Eric Bodden, Ph.D., http://bodden.de/
Head of Secure Software Engineering Group at EC SPRIDE
Principal Investigator in Secure Services at CASED
Tel: +49 6151 16-75422    Fax: +49 6151 16-72051
Room 3.2.14, Mornewegstr. 30, 64293 Darmstadt