DASCA
/
WALA
2
0
Fork 0
Code Issues Pull Requests Releases Wiki Activity

call string context for Arrays.copyOf 

git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@2412 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
This commit is contained in:
sjfink 2008-01-17 21:10:20 +00:00
parent c30a8780d0
commit 3692fb2879
1 changed files with 8 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

9
com.ibm.wala.core/src/com/ibm/wala/ipa/callgraph/propagation/cfa/ContainerContextSelector.java
View File

@ -61,7 +61,8 @@ public class ContainerContextSelector implements ContextSelector {
private final static TypeReference Arrays = TypeReference.findOrCreate(ClassLoaderReference.Primordial, "Ljava/util/Arrays");
private final static MethodReference ArraysAsList = MethodReference.findOrCreate(Arrays, "asList", "([Ljava/lang/Object;)Ljava/util/List;");
private final static MethodReference ArraysCopyOfRange = MethodReference.findOrCreate(Arrays, "copyOfRange", "([CII)[C");
private final static MethodReference ArraysCopyOf = MethodReference.findOrCreate(Arrays, "copyOf", "([Ljava/lang/Object;I)[Ljava/lang/Object;");
private final static MethodReference ArraysCopyOf2 = MethodReference.findOrCreate(Arrays, "copyOf", "([Ljava/lang/Object;ILjava/lang/Class;)[Ljava/lang/Object;");
/**
* The governing class hierarchy.
*/
@ -129,6 +130,12 @@ public class ContainerContextSelector implements ContextSelector {
if (m.equals(ArraysCopyOfRange)) {
return true;
}
if (m.equals(ArraysCopyOf)) {
return true;
}
if (m.equals(ArraysCopyOf2)) {
return true;
}
return false;
}