[Soot-list] Points-to analysis of instance field

[Ahmer Ahmedani]

Hi,

The arrays will definitely point to different allocation sites/nodes. Try
the statements below after copying the two methods into your analysis.
Hopefully it will work then.

Ahmer

PointsToSetInternal pts =
         		    (PointsToSetInternal)
			    (pta.reachingObjects((Local)local));
Iterator it =  makePtsIterator(pts);

   private Iterator makePtsIterator(PointsToSetInternal pts){
        final HashSet ret = new HashSet();
        pts.forall(new P2SetVisitor(){
		public void visit(Node n){
		    ret.add((AllocNode)n);
		}
	    });
        testPtsIterator(ret.iterator());
        return ret.iterator();
    }

    private void testPtsIterator(Iterator it){
        System.out.println("pts.iterator: ");
        while (it.hasNext()){
	    Object temp = it.next();
	    System.out.println("type is: "+temp.getClass().getName());
            System.out.println(temp);
        }
    }



On Wed, July 19, 2006 11:34 pm, Xinyu Liu wrote:
> Hi,
>
>
>
>
> I am using SPARK to analyze the following little program:
>
>
>
>
> public class test
>
> {
>
>
> public int []a;
>
>
>
> public test() {
>
> a = new int[10];
>
> }
>
>
>
>
> public static void main(String[] args) {
>
> int x;
>
>
>
> test t0 = new test();
>
> test t1 = new test();
>
>
>
> t0.a[0] = 0;
>
>
>
> x = t1.a[0];
>
> }
>
>
> }
>
>
>
>
> I found that t0 and t1 point to different objects, which is what I want.
> However, t0.a and t1.a point to the same array. I guess the reason is that
>  there is only one "new" operation in the construction of class test. But
>  this causes deep trouble in my dependency analysis. In soot, t1.a is
> assigned to a temp var called $r3, while t0.a is assigned to $r2. So I
> got the result that they both point to the same object, and I don't know
> how to distinguish them because after the assignments I don't have the
> information of t0 and t1. Then the value 0 is flowed to x, which is
> certainly not correct. If I slice the program based on x in the last
> statement, the slice I got will be wrong. Could you please suggest me a
> way to solve this problem? Thank you very much!
>
>
>
> Xinyu
>
>
> _______________________________________________
> Soot-list mailing list
> Soot-list at sable.mcgill.ca
> http://mailman.cs.mcgill.ca/mailman/listinfo/soot-list
>
>