[Soot-list] Points-to (GeomPTA): No reaching objects on static field if type is an array type with a RefType

[Florian Angerer]

Hi all,

I just discovered that the generated Jimple code was wrong.
So, this problem was actually not a problem of the points-to analysis.
Sorry for that.

- Florian


> Hi everyone,
> 
> I discovered an unexpected result when running GeomPTA to compute the
> points-to information.
> The problem is that there are no reaching objects for a static field if
> the type of the field is an array type AND the element type is a RefType
> (e.g. "java.lang.String[]").
> 
> However, GeomPTA works absolutely fine if the element type is "int".
> 
> I attached a JUnit4 test that reproduces the problem.
> The unit test configures Soot (including GeomPTA) as I have configured
> it and it generates Jimple code for a small class "test.ArrayTypeTest".
> 
> The class consists of four static fields:
> static java.lang.String[] stringArray
> static int[] basicArray
> static java.lang.String stringObject
> static test.MyClass[] refTypeArray
> 
> The static constructor of "test.ArrayTypeTest" contains statements that
> creates an objects for each static field.
> 
> After executing GeomPTA, there are reaching objects for fields
> "basicArray" and "stringObject" but not for the other two fields.
> 
> And of course, I used the latest available nightly build (downloaded on
> July 27th, 2015 from https://ssebuild.cased.de/nightly/soot/).
> 
> Since I'm not sure if this is a real bug in Soot/GeomPTA, I did not
> (yet) file a bug in the bug tracker.
> 
> Has anyone an idea?
> 
> Looking forward to responses,
> Florian
> 
> 
> 
> _______________________________________________
> Soot-list mailing list
> Soot-list at CS.McGill.CA
> https://mailman.CS.McGill.CA/mailman/listinfo/soot-list
>