From: jjenista <jjenista>
Date: Fri, 13 May 2011 20:15:56 +0000 (+0000)
Subject: isImmutable is used by the disjoint family of analyses and we added string because... 
X-Git-Url: http://demsky.eecs.uci.edu/git/?a=commitdiff_plain;h=0de72543202fdde06d8e57d557c6ebd9a9c2f100;hp=4ccac3b5b4a96679b3419b5560627d598b930ac8;p=IRC.git

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
---

diff --git a/Robust/src/IR/TypeDescriptor.java b/Robust/src/IR/TypeDescriptor.java
index 3cf65385..dfaf3550 100644
--- a/Robust/src/IR/TypeDescriptor.java
+++ b/Robust/src/IR/TypeDescriptor.java
@@ -282,7 +282,7 @@ public class TypeDescriptor extends Descriptor {
   }
 
   public boolean isImmutable() {
-    return isPrimitive() || isString();
+    return isPrimitive();
   }
 
   public TypeDescriptor(NameDescriptor name) {