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

fix bug ... recoup call string context for arraycopy 

git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@2288 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
This commit is contained in:
sjfink 2008-01-04 20:15:32 +00:00
parent 3882bcbbeb
commit aa49cfccc1
1 changed files with 5 additions and 0 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

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

@ -114,6 +114,11 @@ public class ContainerContextSelector implements ContextSelector {
* usually wish to model with one level of call-string context?
*/
public static boolean isWellKnownStaticFactory(MethodReference m) {
if (m.getDeclaringClass().equals(TypeReference.JavaLangSystem)) {
if (m.getName().toString().equals("arraycopy")) {
return true;
}
}
if (m.equals(synthArraycopy)) {
return true;
}