[Soot-list] Is that possible to use Object representative (instance keys) without "-w"

[Eric Bodden]

Hi Zell.

Yes that makes sense. InstanceKeys are really designed to be used in
whole-program mode.

Eric

On 12 August 2012 17:19, Zell <zell08v at orange.fr> wrote:
> I find a work-around. We can use
>  LocalMustAliasAnalysis.instanceKeyString () and
> LocalMustNotAliasAnalysis.instanceKeyString().
>
> Since the two analyses are intra-procedural, we do not need the "-w" mode,
> (unlike the case of InstanceKey I mentioned earlier).
>
> Zell.
>
> On Sun, Aug 12, 2012 at 3:59 PM, Zell <zell08v at orange.fr> wrote:
>>
>> Hello,
>>
>> Could you tell me whether it is possible to use the instanceKey facilities
>> from the classes
>>
>>  soot.jimple.toolkits.pointer.InstanceKey;
>>  soot.jimple.toolkits.pointer.LocalMustAliasAnalysis;
>>  soot.jimple.toolkits.pointer.LocalMustNotAliasAnalysis;
>>
>> without enabling  "-w" mode? I tried to use the instancekey without "-w".
>> The compiler gives me this exception:
>>
>> Exception in thread "main" java.lang.ClassCastException:
>> soot.jimple.toolkits.pointer.FullObjectSet cannot be cast to
>> soot.jimple.spark.sets.EqualsSupportingPointsToSet
>>
>> Apparently, the constructor of instancekeys uses spark by default, which
>> implies that " -w" mode is needed. Can I disable the using of spark when
>> constructing instancekeys?
>>
>> Thanks.
>>
>> Zell.
>>
>
>
> _______________________________________________
> 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
Tel: +49 6151 16-75422    Fax: +49 6151 16-72051
Room 3.2.14, Mornewegstr. 30, 64293 Darmstadt