have to treat reads of inaccessible variables that are the last node specially...
authorbdemsky <bdemsky>
Mon, 28 Mar 2011 07:28:01 +0000 (07:28 +0000)
committerbdemsky <bdemsky>
Mon, 28 Mar 2011 07:28:01 +0000 (07:28 +0000)
commit3c772aa7d7d7630cbf6b5056ffb7c21a2fb8ea7a
treeb0301befbf59d149773f33630a877dfd65e82893
parent1b559c9ad450425bd72169f531b39f4a11749c88
have to treat reads of inaccessible variables that are the last node specially...
Robust/src/Analysis/Pointer/Pointer.java