AllocNodes

[buckley <buckley@fmi.uni-passau.de>]

Hi,

I'm a student of computer science and I want to use SOOT as a part of my
master thesis.
Particularly I need SPARK's points-to-sets.

Thus I built the PAG using the VTA option of the small example below.
What I need next is to handle all allocations in the class.
As discribed in CC2003
(http://www.sable.mcgill.ca/publications/papers/#cc2003-1)
I associated the AllocNodes in the PAG with what I wanted to have.

As result I get three nodes from "pag.getAllocNodeNumberer()":
"AllocNode 1 of Type A", "AllocNode 2 of Type B", "AllocNode 3 of Type
C".

Now I was wondering what happened with "d" and "e".
Is there any fault in my consideration?

Additionally I tried out the "pag.getVarNodeNumberer()"-function,
and it gave me "a", "b", "c", "d", "e", "ap" which are all locals in the

"main"-method I think and thus not of interest to me.

Greetings,
    Thorsten Buckley

------------------------------------
public class Test {
        public static void main(String[] args) {
                A a = new A(); B b = new B(); C c = new C();
                A d = new A(); B e = new B();
                A ap;
                if(args.length == 0) { ap = a; }
                else { if(args.length == 1) { ap = b; }
                                 else { ap = c; } }
                ap.f();
        }
}