def reach has to use PointerMethod to detect CFG edges that the analysis cares about
[IRC.git] / Robust / src / Tests / disjoint / definite /
drwxr-xr-x   ..
-rw-r--r-- 543 makefile
-rw-r--r-- 1235 test.java