Create analysis model for string literals in disjointness analysis that supports...

[IRC.git] / Robust / src / Analysis / Disjoint / HeapAnalysis.java

diff --git a/Robust/src/Analysis/Disjoint/HeapAnalysis.java b/Robust/src/Analysis/Disjoint/HeapAnalysis.java
index 04b96a9cf08070fb80eadc8834cc5e32660755f4..53c816d1f94abb6929a164a07074204ac0e45165 100644 (file)
--- a/Robust/src/Analysis/Disjoint/HeapAnalysis.java
+++ b/Robust/src/Analysis/Disjoint/HeapAnalysis.java
@@ -27,7 +27,8 @@ public interface HeapAnalysis {
 
   // similar to above, new string literals have a runtime alloc site (not in
   // code explicitly) so make one in your model and return it here
-  public Alloc getNewStringLiteralAlloc(); // a String
+  public Alloc getNewStringLiteralAlloc();     // a String
+  public Alloc getNewStringLiteralBytesAlloc();// an array of char
 
 
   // Use these methods to find out what allocation sites