Fix: Xerces ModelUtils wrapper must tolerate string constants that ha…

…ve no taint yet.
gmu-swe · Jul 10, 2021 · 8aabc20 · 8aabc20
1 parent 9b09d1b
commit 8aabc20
Showing 1 changed file with 3 additions and 0 deletions.
diff --git a/knarr/src/main/java/edu/gmu/swe/knarr/runtime/ModelUtils.java b/knarr/src/main/java/edu/gmu/swe/knarr/runtime/ModelUtils.java
@@ -95,6 +95,9 @@ private static Expression generateStringConstraints(String receiver, String s) {
         if (buffTaints != null && buffTaints.taints != null) {
             // Copy length taints from offset
 //            ret.valuePHOSPHOR_TAG = new LazyCharArrayObjTags(length);
+            if(ret.valuePHOSPHOR_TAG == null){
+                ret.valuePHOSPHOR_TAG = new LazyCharArrayObjTags(ret.value);
+            }
             ret.valuePHOSPHOR_TAG.taints = new Taint[length];
 
             try {