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

Introduced extra switch to turn off the LoadFileTargetSelector. 

git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@4404 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
This commit is contained in:
msridhar1 2012-01-06 21:47:37 +00:00
parent 7d6fe1d943
commit bbbc93d8c6
1 changed files with 8 additions and 4 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

12
com.ibm.wala.cast.js/source/com/ibm/wala/cast/js/ipa/callgraph/JSZeroOrOneXCFABuilder.java
View File

@ -30,11 +30,13 @@ import com.ibm.wala.ipa.cha.IClassHierarchy;
* "uninteresting" types
*/
public class JSZeroOrOneXCFABuilder extends JSCFABuilder {
private static final boolean SIMPLE = false;
private static final boolean HANDLE_FUNCTION_PROTOTYPE_CALL = true;
private static final boolean HANDLE_FUNCTION_PROTOTYPE_CALL = !SIMPLE && true;
private static final boolean HANDLE_FUNCTION_PROTOTYPE_APPLY = !SIMPLE && true;
private static final boolean USE_OBJECT_SENSITIVITY = !SIMPLE && true;
private static final boolean HANDLE_FUNCTION_PROTOTYPE_APPLY = true;
private static final boolean USE_OBJECT_SENSITIVITY = true;
private static final boolean USE_LOAD_FILE_TARGET_SELECTOR = false;
public JSZeroOrOneXCFABuilder(IClassHierarchy cha, AnalysisOptions options, AnalysisCache cache,
ContextSelector appContextSelector, SSAContextInterpreter appContextInterpreter, int instancePolicy, boolean doOneCFA) {
@ -52,7 +54,9 @@ public class JSZeroOrOneXCFABuilder extends JSCFABuilder {
if (HANDLE_FUNCTION_PROTOTYPE_CALL) {
targetSelector = new JavaScriptFunctionDotCallTargetSelector(targetSelector);
}
targetSelector = new LoadFileTargetSelector(targetSelector, this);
if (USE_LOAD_FILE_TARGET_SELECTOR) {
targetSelector = new LoadFileTargetSelector(targetSelector, this);
}
options.setSelector(targetSelector);
ContextSelector def = new ContextInsensitiveSelector();