[Soot-list] Spark and aliasing analysis

[Eric Bodden]

Hi Florian.

>   327       public static String toString(int i) {
>
>   328           if (i == Integer.MIN_VALUE)
>
>   329               return "-2147483648";
>
>   330           int size = (i < 0) ? stringSize(-i) + 1 : stringSize(i);
>
>   331           char[] buf = new char[size];
>
>   332           getChars(i, size, buf);
>
>   333           return new String(0, size, buf);
>
>   334       }

By the definition of this method, it *can* be the case that they
return the String same object for two given numbers, namely
"-2147483648". Hence the points-to analysis returns "may-alias". This
is because the analysis has no knowledge of the integer value.

> But only the method reachingObjects(Local l)is implemented. Thus, I cannot
> compare fields and local variables. I need also methods like
> reachingObjects(PointsToSet s, SootField f).
>
> Is an implementation of these methods in process?

I don't think so. But it should be possible to implement those AFAIK.

Hope that helps.
Eric