Framework for Java Pointer Analysis

context-insensitive (jre1.4)

1-call-site-sensitive (jre1.4)

1-call-site-sensitive+heap (jre1.4)

1-object-sensitive (jre1.4)

1-object-sensitive+heap (jre1.4)

last update: 2009-6-4