
Framework for Java Pointer Analysis
context-insensitive (jre1.4)

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

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

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

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

1-object-sensitive (jre1.4)

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

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

last update:
2009-6-4