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

[Zell]

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.
>
>
-------------- next part --------------
An HTML attachment was scrubbed...
URL: http://mailman.cs.mcgill.ca/pipermail/soot-list/attachments/20120812/cb0d2a00/attachment.html