[Soot-list] PointsToSet of an array element

[Ondrej Lhotak]

Spark does not model the elements of an array separately. There is no
way in Spark to get a separate points-to set for each array element.

Ondrej

On Tue, Jul 11, 2006 at 04:53:05PM -0400, Xinyu Liu wrote:
>    Hi,
> 
>     
> 
>    I am using SPARK to do Points-To analysis. I'd like to find the
>    PointsToSet of an array element. For example, if I have a array T [] A =
>    new T[8], I want to know what PointsToSet A[0], A[1], .. point to
>    seperately. There's only one method for array in the PointsToAnalysis
>    interface, which is reachingObjectsOfArrayElement (). This method seems to
>    only provide the PointsToSet of all elements in an array. Could you please
>    let me know how to get the PointsToSet of each element? Thank you very
>    much!
> 
>     
> 
>    Best regards,
> 
>    Xinyu

> _______________________________________________
> Soot-list mailing list
> Soot-list at sable.mcgill.ca
> http://mailman.cs.mcgill.ca/mailman/listinfo/soot-list