projects / IRC.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 4ccac3b) | patch
isImmutable is used by the disjoint family of analyses and we added string because...
authorjjenista <jjenista>
Fri, 13 May 2011 20:15:56 +0000 (20:15 +0000)
committerjjenista <jjenista>
Fri, 13 May 2011 20:15:56 +0000 (20:15 +0000)
commit0de72543202fdde06d8e57d557c6ebd9a9c2f100
treef4d2ec05c613374fb308457637a28d2c44d1e37atree | snapshot
parent4ccac3b5b4a96679b3419b5560627d598b930ac8commit | diff
isImmutable is used by the disjoint family of analyses and we added string because we know its immutable and wanted to decrease the size of reach graphs.  To support the check-heap-results-versus-runtime system, go ahead a leave string out which is still a correct analysis but will also generate points-to information for a string and its byte array
Robust/src/IR/TypeDescriptor.java diff | blob | history
Irvine Research Compiler