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

don't use lexical scoping contexts for the array constructor 

git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@4395 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
This commit is contained in:
msridhar1 2012-01-06 21:45:22 +00:00
parent b3f6bfb18c
commit caf83a7857
1 changed files with 6 additions and 0 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

6
com.ibm.wala.cast/source/java/com/ibm/wala/cast/ipa/callgraph/LexicalScopingResolverContexts.java
View File

@ -18,6 +18,7 @@ import com.ibm.wala.ipa.callgraph.ContextSelector;
import com.ibm.wala.ipa.callgraph.propagation.InstanceKey;
import com.ibm.wala.ipa.callgraph.propagation.LocalPointerKey;
import com.ibm.wala.ipa.callgraph.propagation.PropagationCallGraphBuilder;
import com.ibm.wala.ipa.summaries.SummarizedMethod;
import com.ibm.wala.util.collections.CompoundIterator;
import com.ibm.wala.util.collections.EmptyIterator;
import com.ibm.wala.util.collections.HashMapFactory;
@ -562,6 +563,11 @@ public final class LexicalScopingResolverContexts implements ContextSelector {
public Context getCalleeTarget(CGNode caller, CallSiteReference site, IMethod callee, InstanceKey[] actualParameters) {
Context baseContext = base.getCalleeTarget(caller, site, callee, actualParameters);
if (callee instanceof SummarizedMethod) {
if (callee.getReference().toString().equals("< JavaScriptLoader, LArray, ctor()LRoot; >")) {
return baseContext;
}
}
LexicalScopingResolver resolver = (LexicalScopingResolver) caller.getContext().get(RESOLVER);
final RecursionKey key = new RecursionKey(caller.getMethod(), site, callee);