diff --git a/com.ibm.wala.cast.js/source/com/ibm/wala/cast/js/ipa/callgraph/JSAnalysisOptions.java b/com.ibm.wala.cast.js/source/com/ibm/wala/cast/js/ipa/callgraph/JSAnalysisOptions.java index 96e583920..03f922bd7 100644 --- a/com.ibm.wala.cast.js/source/com/ibm/wala/cast/js/ipa/callgraph/JSAnalysisOptions.java +++ b/com.ibm.wala.cast.js/source/com/ibm/wala/cast/js/ipa/callgraph/JSAnalysisOptions.java @@ -14,6 +14,8 @@ public class JSAnalysisOptions extends AnalysisOptions { * Defaults to true. */ private boolean handleCallApply = true; + + private boolean useLoadFileTargetSelector = true; public JSAnalysisOptions(AnalysisScope scope, Iterable e) { super(scope, e); @@ -30,4 +32,11 @@ public class JSAnalysisOptions extends AnalysisOptions { this.handleCallApply = handleCallApply; } + public boolean useLoadFileTargetSelector() { + return useLoadFileTargetSelector; + } + + public void setUseLoadFileTargetSelector(boolean useIt) { + this.useLoadFileTargetSelector = useIt; + } } diff --git a/com.ibm.wala.cast.js/source/com/ibm/wala/cast/js/ipa/callgraph/JSZeroOrOneXCFABuilder.java b/com.ibm.wala.cast.js/source/com/ibm/wala/cast/js/ipa/callgraph/JSZeroOrOneXCFABuilder.java index 32c8376b9..bf645e833 100755 --- a/com.ibm.wala.cast.js/source/com/ibm/wala/cast/js/ipa/callgraph/JSZeroOrOneXCFABuilder.java +++ b/com.ibm.wala.cast.js/source/com/ibm/wala/cast/js/ipa/callgraph/JSZeroOrOneXCFABuilder.java @@ -32,7 +32,6 @@ public class JSZeroOrOneXCFABuilder extends JSCFABuilder { private static final boolean USE_OBJECT_SENSITIVITY = false; - private static final boolean USE_LOAD_FILE_TARGET_SELECTOR = false; public JSZeroOrOneXCFABuilder(IClassHierarchy cha, JSAnalysisOptions options, AnalysisCache cache, ContextSelector appContextSelector, SSAContextInterpreter appContextInterpreter, int instancePolicy, boolean doOneCFA) { @@ -50,7 +49,7 @@ public class JSZeroOrOneXCFABuilder extends JSCFABuilder { if (options.handleCallApply()) { targetSelector = new JavaScriptFunctionDotCallTargetSelector(targetSelector); } - if (USE_LOAD_FILE_TARGET_SELECTOR) { + if (options.useLoadFileTargetSelector()) { targetSelector = new LoadFileTargetSelector(targetSelector, this); } options.setSelector(targetSelector);