- 使用 Spring Initializr 创建 Spring Boot 应用程序
- 在Spring Boot中配置Cassandra
- 在 Spring Boot 上配置 Tomcat 连接池
- 将Camel消息路由到嵌入WildFly的Artemis上
本文整理了Java中com.ibm.wala.ipa.callgraph.propagation.cfa.ZeroXInstanceKeys.<init>()
方法的一些代码示例,展示了ZeroXInstanceKeys.<init>()
的具体用法。这些代码示例主要来源于Github
/Stackoverflow
/Maven
等平台,是从一些精选项目中提取出来的代码,具有较强的参考意义,能在一定程度帮忙到你。ZeroXInstanceKeys.<init>()
方法的具体详情如下:
包路径:com.ibm.wala.ipa.callgraph.propagation.cfa.ZeroXInstanceKeys
类名称:ZeroXInstanceKeys
方法名:<init>
暂无
代码示例来源:origin: wala/WALA
/**
* subclasses can override as desired
*/
protected ZeroXInstanceKeys makeInstanceKeys(IClassHierarchy cha, AnalysisOptions options,
SSAContextInterpreter contextInterpreter, int instancePolicy) {
ZeroXInstanceKeys zik = new ZeroXInstanceKeys(options, cha, contextInterpreter, instancePolicy);
return zik;
}
代码示例来源:origin: com.ibm.wala/com.ibm.wala.cast.java
protected ZeroXInstanceKeys makeInstanceKeys(IClassHierarchy cha, AnalysisOptions options,
SSAContextInterpreter contextInterpreter) {
ZeroXInstanceKeys zik = new ZeroXInstanceKeys(options, cha, contextInterpreter, ZeroXInstanceKeys.ALLOCATIONS
| ZeroXInstanceKeys.SMUSH_PRIMITIVE_HOLDERS | ZeroXInstanceKeys.SMUSH_STRINGS | ZeroXInstanceKeys.SMUSH_MANY
| ZeroXInstanceKeys.SMUSH_THROWABLES);
return zik;
}
代码示例来源:origin: wala/WALA
protected ZeroXInstanceKeys makeInstanceKeys(IClassHierarchy cha, AnalysisOptions options,
SSAContextInterpreter contextInterpreter) {
ZeroXInstanceKeys zik = new ZeroXInstanceKeys(options, cha, contextInterpreter, ZeroXInstanceKeys.ALLOCATIONS
| ZeroXInstanceKeys.SMUSH_PRIMITIVE_HOLDERS | ZeroXInstanceKeys.SMUSH_STRINGS | ZeroXInstanceKeys.SMUSH_MANY
| ZeroXInstanceKeys.SMUSH_THROWABLES);
return zik;
}
代码示例来源:origin: com.ibm.wala/com.ibm.wala.core
/**
* subclasses can override as desired
*/
protected ZeroXInstanceKeys makeInstanceKeys(IClassHierarchy cha, AnalysisOptions options,
SSAContextInterpreter contextInterpreter, int instancePolicy) {
ZeroXInstanceKeys zik = new ZeroXInstanceKeys(options, cha, contextInterpreter, instancePolicy);
return zik;
}
代码示例来源:origin: com.ibm.wala/com.ibm.wala.cast.js
public JSZeroOrOneXCFABuilder(IClassHierarchy cha, JSAnalysisOptions options, IAnalysisCacheView cache,
ContextSelector appContextSelector, SSAContextInterpreter appContextInterpreter, int instancePolicy, boolean doOneCFA) {
super(cha, options, cache);
SSAContextInterpreter contextInterpreter = setupSSAContextInterpreter(cha, options, cache, appContextInterpreter);
setupMethodTargetSelector(cha, options);
setupContextSelector(options, appContextSelector, doOneCFA);
setInstanceKeys(new JavaScriptScopeMappingInstanceKeys(cha, this, new JavaScriptConstructorInstanceKeys(new ZeroXInstanceKeys(
options, cha, contextInterpreter, instancePolicy))));
}
代码示例来源:origin: wala/WALA
public JSZeroOrOneXCFABuilder(IClassHierarchy cha, JSAnalysisOptions options, IAnalysisCacheView cache,
ContextSelector appContextSelector, SSAContextInterpreter appContextInterpreter, int instancePolicy, boolean doOneCFA) {
super(cha, options, cache);
SSAContextInterpreter contextInterpreter = setupSSAContextInterpreter(cha, options, cache, appContextInterpreter);
setupMethodTargetSelector(cha, options);
setupContextSelector(options, appContextSelector, doOneCFA);
setInstanceKeys(new JavaScriptScopeMappingInstanceKeys(cha, this, new JavaScriptConstructorInstanceKeys(new ZeroXInstanceKeys(
options, cha, contextInterpreter, instancePolicy))));
}
代码示例来源:origin: wala/WALA
public AstJavaZeroXCFABuilder(IClassHierarchy cha, AnalysisOptions options, IAnalysisCacheView cache,
ContextSelector appContextSelector, SSAContextInterpreter appContextInterpreter, int instancePolicy) {
super(cha, options, cache);
SSAContextInterpreter contextInterpreter = makeDefaultContextInterpreters(appContextInterpreter, options, cha);
setContextInterpreter(contextInterpreter);
ContextSelector def = new DefaultContextSelector(options, cha);
ContextSelector contextSelector = appContextSelector == null ? def : new DelegatingContextSelector(appContextSelector, def);
setContextSelector(contextSelector);
setInstanceKeys(new JavaScopeMappingInstanceKeys(this, new ZeroXInstanceKeys(options, cha, contextInterpreter,
instancePolicy)));
}
代码示例来源:origin: com.ibm.wala/com.ibm.wala.cast.java
public AstJavaZeroXCFABuilder(IClassHierarchy cha, AnalysisOptions options, IAnalysisCacheView cache,
ContextSelector appContextSelector, SSAContextInterpreter appContextInterpreter, int instancePolicy) {
super(cha, options, cache);
SSAContextInterpreter contextInterpreter = makeDefaultContextInterpreters(appContextInterpreter, options, cha);
setContextInterpreter(contextInterpreter);
ContextSelector def = new DefaultContextSelector(options, cha);
ContextSelector contextSelector = appContextSelector == null ? def : new DelegatingContextSelector(appContextSelector, def);
setContextSelector(contextSelector);
setInstanceKeys(new JavaScopeMappingInstanceKeys(this, new ZeroXInstanceKeys(options, cha, contextInterpreter,
instancePolicy)));
}
代码示例来源:origin: wala/WALA
/**
* make a {@link CallGraphBuilder} that uses call-string context sensitivity,
* with call-string length limited to n, and a context-sensitive
* allocation-site-based heap abstraction. Standard optimizations in the heap
* abstraction like smushing of strings are disabled.
*/
public static SSAPropagationCallGraphBuilder makeVanillaNCFABuilder(int n, AnalysisOptions options, IAnalysisCacheView cache,
IClassHierarchy cha, AnalysisScope scope) {
if (options == null) {
throw new IllegalArgumentException("options is null");
}
addDefaultSelectors(options, cha);
addDefaultBypassLogic(options, scope, Util.class.getClassLoader(), cha);
ContextSelector appSelector = null;
SSAContextInterpreter appInterpreter = null;
SSAPropagationCallGraphBuilder result = new nCFABuilder(n, Language.JAVA.getFakeRootMethod(cha, options, cache), options, cache, appSelector, appInterpreter);
// nCFABuilder uses type-based heap abstraction by default, but we want allocation sites
result.setInstanceKeys(new ZeroXInstanceKeys(options, cha, result.getContextInterpreter(), ZeroXInstanceKeys.ALLOCATIONS | ZeroXInstanceKeys.CONSTANT_SPECIFIC));
return result;
}
代码示例来源:origin: wala/WALA
/**
* make a {@link CallGraphBuilder} that uses call-string context sensitivity,
* with call-string length limited to n, and a context-sensitive
* allocation-site-based heap abstraction.
*/
public static SSAPropagationCallGraphBuilder makeNCFABuilder(int n, AnalysisOptions options, IAnalysisCacheView cache,
IClassHierarchy cha, AnalysisScope scope) {
if (options == null) {
throw new IllegalArgumentException("options is null");
}
addDefaultSelectors(options, cha);
addDefaultBypassLogic(options, scope, Util.class.getClassLoader(), cha);
ContextSelector appSelector = null;
SSAContextInterpreter appInterpreter = null;
SSAPropagationCallGraphBuilder result = new nCFABuilder(n, Language.JAVA.getFakeRootMethod(cha, options, cache), options, cache, appSelector, appInterpreter);
// nCFABuilder uses type-based heap abstraction by default, but we want allocation sites
result.setInstanceKeys(new ZeroXInstanceKeys(options, cha, result.getContextInterpreter(), ZeroXInstanceKeys.ALLOCATIONS
| ZeroXInstanceKeys.SMUSH_MANY | ZeroXInstanceKeys.SMUSH_PRIMITIVE_HOLDERS | ZeroXInstanceKeys.SMUSH_STRINGS
| ZeroXInstanceKeys.SMUSH_THROWABLES));
return result;
}
代码示例来源:origin: com.ibm.wala/com.ibm.wala.core
/**
* make a {@link CallGraphBuilder} that uses call-string context sensitivity,
* with call-string length limited to n, and a context-sensitive
* allocation-site-based heap abstraction. Standard optimizations in the heap
* abstraction like smushing of strings are disabled.
*/
public static SSAPropagationCallGraphBuilder makeVanillaNCFABuilder(int n, AnalysisOptions options, IAnalysisCacheView cache,
IClassHierarchy cha, AnalysisScope scope) {
if (options == null) {
throw new IllegalArgumentException("options is null");
}
addDefaultSelectors(options, cha);
addDefaultBypassLogic(options, scope, Util.class.getClassLoader(), cha);
ContextSelector appSelector = null;
SSAContextInterpreter appInterpreter = null;
SSAPropagationCallGraphBuilder result = new nCFABuilder(n, Language.JAVA.getFakeRootMethod(cha, options, cache), options, cache, appSelector, appInterpreter);
// nCFABuilder uses type-based heap abstraction by default, but we want allocation sites
result.setInstanceKeys(new ZeroXInstanceKeys(options, cha, result.getContextInterpreter(), ZeroXInstanceKeys.ALLOCATIONS | ZeroXInstanceKeys.CONSTANT_SPECIFIC));
return result;
}
代码示例来源:origin: com.ibm.wala/com.ibm.wala.core
/**
* make a {@link CallGraphBuilder} that uses call-string context sensitivity,
* with call-string length limited to n, and a context-sensitive
* allocation-site-based heap abstraction.
*/
public static SSAPropagationCallGraphBuilder makeNCFABuilder(int n, AnalysisOptions options, IAnalysisCacheView cache,
IClassHierarchy cha, AnalysisScope scope) {
if (options == null) {
throw new IllegalArgumentException("options is null");
}
addDefaultSelectors(options, cha);
addDefaultBypassLogic(options, scope, Util.class.getClassLoader(), cha);
ContextSelector appSelector = null;
SSAContextInterpreter appInterpreter = null;
SSAPropagationCallGraphBuilder result = new nCFABuilder(n, Language.JAVA.getFakeRootMethod(cha, options, cache), options, cache, appSelector, appInterpreter);
// nCFABuilder uses type-based heap abstraction by default, but we want allocation sites
result.setInstanceKeys(new ZeroXInstanceKeys(options, cha, result.getContextInterpreter(), ZeroXInstanceKeys.ALLOCATIONS
| ZeroXInstanceKeys.SMUSH_MANY | ZeroXInstanceKeys.SMUSH_PRIMITIVE_HOLDERS | ZeroXInstanceKeys.SMUSH_STRINGS
| ZeroXInstanceKeys.SMUSH_THROWABLES));
return result;
}
代码示例来源:origin: wala/WALA
public JavaJavaScriptHybridCallGraphBuilder(IMethod fakeRootClass, AnalysisOptions options, IAnalysisCacheView cache) {
super(fakeRootClass, options, cache, new AstCFAPointerKeys());
globalObject = new GlobalObjectKey(cha.lookupClass(JavaScriptTypes.Root));
SSAContextInterpreter contextInterpreter = makeDefaultContextInterpreters(null, options, cha);
setContextInterpreter( contextInterpreter );
ContextSelector def = new DefaultContextSelector(options, cha);
Map<Atom,ContextSelector> languageSelectors = HashMapFactory.make();
languageSelectors.put(JavaScriptTypes.jsName,
new JavaScriptFunctionApplyContextSelector(new JavaScriptConstructorContextSelector(def)));
languageSelectors.put(Language.JAVA.getName(), def);
setContextSelector(new CrossLanguageContextSelector(languageSelectors));
Map<Atom,InstanceKeyFactory> instanceKeys = HashMapFactory.make();
instanceKeys.put(
JavaScriptTypes.jsName,
new JavaScriptScopeMappingInstanceKeys(cha, this, new JavaScriptConstructorInstanceKeys(new ZeroXInstanceKeys(
options, cha, contextInterpreter, ZeroXInstanceKeys.ALLOCATIONS))));
instanceKeys.put(
Language.JAVA.getName(),
new ZeroXInstanceKeys(options, cha, contextInterpreter, ZeroXInstanceKeys.NONE));
setInstanceKeys(new CrossLanguageInstanceKeys(instanceKeys));
}
代码示例来源:origin: wala/WALA
builder.setInstanceKeys(new ZeroXInstanceKeys(options, cha, builder.getContextInterpreter(), ZeroXInstanceKeys.ALLOCATIONS
本文整理了Java中com.ibm.wala.ipa.callgraph.propagation.ZeroLengthArrayInNode类的一些代码示例,展示了ZeroLengthArrayInN
本文整理了Java中com.ibm.wala.ipa.callgraph.propagation.cfa.ZeroXInstanceKeys类的一些代码示例,展示了ZeroXInstanceKeys类
本文整理了Java中com.ibm.wala.ipa.callgraph.propagation.cfa.ZeroXContainerCFABuilder类的一些代码示例,展示了ZeroXContai
使用分析工具的函数调用图选项时,我在 Eclipse CDT 中遇到以下错误 /tmp/org.eclipse.linuxtools.profiling.launch14272008124383356
本文整理了Java中com.ibm.wala.ipa.callgraph.propagation.ZeroLengthArrayInNode.()方法的一些代码示例,展示了ZeroLengthArra
本文整理了Java中com.ibm.wala.ipa.callgraph.propagation.ZeroLengthArrayInNode.getSite()方法的一些代码示例,展示了ZeroLen
本文整理了Java中com.ibm.wala.ipa.callgraph.propagation.ZeroLengthArrayInNode.getNode()方法的一些代码示例,展示了ZeroLen
本文整理了Java中com.ibm.wala.ipa.callgraph.propagation.cfa.ZeroXInstanceKeys.isStringish()方法的一些代码示例,展示了Zer
本文整理了Java中com.ibm.wala.ipa.callgraph.propagation.cfa.ZeroXInstanceKeys.smushMany()方法的一些代码示例,展示了ZeroX
本文整理了Java中com.ibm.wala.ipa.callgraph.propagation.cfa.ZeroXInstanceKeys.isStringish()方法的一些代码示例,展示了Zer
本文整理了Java中com.ibm.wala.ipa.callgraph.propagation.cfa.ZeroXInstanceKeys.smushMany()方法的一些代码示例,展示了ZeroX
本文整理了Java中com.ibm.wala.ipa.callgraph.propagation.cfa.ZeroXInstanceKeys.countAllocsByType()方法的一些代码示例,
本文整理了Java中com.ibm.wala.ipa.callgraph.propagation.cfa.ZeroXInstanceKeys.isStackTraceElement()方法的一些代码示
本文整理了Java中com.ibm.wala.ipa.callgraph.propagation.cfa.ZeroXInstanceKeys.smushThrowables()方法的一些代码示例,展示
本文整理了Java中com.ibm.wala.ipa.callgraph.propagation.cfa.ZeroXInstanceKeys.smushPrimHolders()方法的一些代码示例,展
本文整理了Java中com.ibm.wala.ipa.callgraph.propagation.cfa.ZeroXInstanceKeys.smushStrings()方法的一些代码示例,展示了Ze
本文整理了Java中com.ibm.wala.ipa.callgraph.propagation.cfa.ZeroXInstanceKeys.()方法的一些代码示例,展示了ZeroXInstanceK
本文整理了Java中com.ibm.wala.ipa.callgraph.propagation.cfa.ZeroXInstanceKeys.()方法的一些代码示例,展示了ZeroXInstanceK
本文整理了Java中com.ibm.wala.ipa.callgraph.propagation.cfa.ZeroXInstanceKeys.isThrowable()方法的一些代码示例,展示了Zer
本文整理了Java中com.ibm.wala.ipa.callgraph.propagation.cfa.ZeroXInstanceKeys.exceedsSmushLimit()方法的一些代码示例,
我是一名优秀的程序员,十分优秀!