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

nuke support for "dispatch bound" call graph construction heuristic 

git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@2350 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
This commit is contained in:
sjfink 2008-01-10 22:05:37 +00:00
parent 3331cd24f0
commit e2dd8518b8
1 changed files with 7 additions and 23 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

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

@ -25,13 +25,13 @@ import com.ibm.wala.ipa.cha.IClassHierarchy;
/**
* @author sfink
*
* 0-x-CFA Call graph builder, optimized to not disambiguate instances of
* "uninteresting" types
* 0-x-CFA Call graph builder, optimized to not disambiguate instances of "uninteresting" types
*/
public class JSZeroOrOneXCFABuilder extends JSCFABuilder {
public JSZeroOrOneXCFABuilder(IClassHierarchy cha, AnalysisOptions options, AnalysisCache cache, ContextSelector appContextSelector,
SSAContextInterpreter appContextInterpreter, ReflectionSpecification reflect, int instancePolicy, boolean doOneCFA) {
public JSZeroOrOneXCFABuilder(IClassHierarchy cha, AnalysisOptions options, AnalysisCache cache,
ContextSelector appContextSelector, SSAContextInterpreter appContextInterpreter, ReflectionSpecification reflect,
int instancePolicy, boolean doOneCFA) {
super(cha, options, cache);
SSAContextInterpreter contextInterpreter = makeDefaultContextInterpreters(appContextInterpreter, options, cha, reflect);
@ -60,21 +60,13 @@ public class JSZeroOrOneXCFABuilder extends JSCFABuilder {
* @param scope
* representation of the analysis scope
* @param xmlFiles
* set of Strings that are names of XML files holding bypass logic
* specifications.
* set of Strings that are names of XML files holding bypass logic specifications.
* @param dmd
* deployment descriptor abstraction
* @return a 0-1-Opt-CFA Call Graph Builder.
*/
public static JSCFABuilder make(AnalysisOptions options,
AnalysisCache cache,
IClassHierarchy cha,
ClassLoader cl,
AnalysisScope scope,
String[] xmlFiles,
byte instancePolicy,
boolean doOneCFA)
{
public static JSCFABuilder make(AnalysisOptions options, AnalysisCache cache, IClassHierarchy cha, ClassLoader cl,
AnalysisScope scope, String[] xmlFiles, byte instancePolicy, boolean doOneCFA) {
com.ibm.wala.ipa.callgraph.impl.Util.addDefaultSelectors(options, cha);
for (int i = 0; i < xmlFiles.length; i++) {
com.ibm.wala.ipa.callgraph.impl.Util.addBypassLogic(options, scope, cl, xmlFiles[i], cha);
@ -83,12 +75,4 @@ public class JSZeroOrOneXCFABuilder extends JSCFABuilder {
return new JSZeroOrOneXCFABuilder(cha, options, cache, null, null, options.getReflectionSpec(), instancePolicy, doOneCFA);
}
/*
* (non-Javadoc)
*
* @see com.ibm.domo.ipa.callgraph.propagation.PropagationCallGraphBuilder#getDefaultDispatchBoundHeuristic()
*/
protected byte getDefaultDispatchBoundHeuristic() {
return AnalysisOptions.NO_DISPATCH_BOUND;
}
}