当前位置: 首页>>代码示例>>Java>>正文


Java PointerAnalysis类代码示例

本文整理汇总了Java中com.ibm.wala.ipa.callgraph.propagation.PointerAnalysis的典型用法代码示例。如果您正苦于以下问题:Java PointerAnalysis类的具体用法?Java PointerAnalysis怎么用?Java PointerAnalysis使用的例子?那么恭喜您, 这里精选的类代码示例或许可以为您提供帮助。


PointerAnalysis类属于com.ibm.wala.ipa.callgraph.propagation包,在下文中一共展示了PointerAnalysis类的11个代码示例,这些例子默认根据受欢迎程度排序。您可以为喜欢或者感觉有用的代码点赞,您的评价将有助于系统推荐出更棒的Java代码示例。

示例1: compute

import com.ibm.wala.ipa.callgraph.propagation.PointerAnalysis; //导入依赖的package包/类
public static Collection<Statement> 
  compute(CallGraph CG, 
   PointerAnalysis<InstanceKey> pa, 
   Set<CGNode> partialRoots, 
   Collection<Statement> ss) 
    throws com.ibm.wala.util.CancelException
{
  CallGraph pcg = PartialCallGraph.make(CG, partialRoots);
  SDG sdg = new SDG(pcg, pa, new AstJavaModRef(), DataDependenceOptions.FULL, ControlDependenceOptions.FULL);
  return computeBackwardSlice(sdg, ss);
}
 
开发者ID:wala,项目名称:MemSAT,代码行数:12,代码来源:PartialSlice.java

示例2: LocalFieldAccesses

import com.ibm.wala.ipa.callgraph.propagation.PointerAnalysis; //导入依赖的package包/类
public LocalFieldAccesses(boolean heapWritesAsUpdates, 
     CGNode node,
     PointerAnalysis pointerAnalysis,
     IClassHierarchy cha)
{
  this.cha = cha;
  this.node = node;
  this.pointerAnalysis = pointerAnalysis;
  this.heapWritesAsUpdates = heapWritesAsUpdates;

  this.heapModel = pointerAnalysis.getHeapModel();
}
 
开发者ID:wala,项目名称:MemSAT,代码行数:13,代码来源:FieldNameSSAConversion.java

示例3: IPFieldAccesses

import com.ibm.wala.ipa.callgraph.propagation.PointerAnalysis; //导入依赖的package包/类
public IPFieldAccesses(boolean heapWritesAsUpdates,
  CGNode node,
  PointerAnalysis pointerAnalysis,
  IClassHierarchy cha,
  FieldAccesses invokeAccesses) {
  super(heapWritesAsUpdates, node, pointerAnalysis, cha);
  this.invokeAccesses = invokeAccesses;
}
 
开发者ID:wala,项目名称:MemSAT,代码行数:9,代码来源:FieldNameSSAConversion.java

示例4: getPointerAnalysis

import com.ibm.wala.ipa.callgraph.propagation.PointerAnalysis; //导入依赖的package包/类
public PointerAnalysis<InstanceKey> getPointerAnalysis()
{
    assert hasBeenPerformed;
    return pointerAnalysis;
}
 
开发者ID:paninij,项目名称:paninij,代码行数:6,代码来源:CallGraphAnalysis.java

示例5: getPointerAnalysis

import com.ibm.wala.ipa.callgraph.propagation.PointerAnalysis; //导入依赖的package包/类
public PointerAnalysis getPointerAnalysis() {
	return super.getPointerAnalysis();
}
 
开发者ID:wala,项目名称:MemSAT,代码行数:4,代码来源:MiniaturECJJavaAnalysisEngine.java

示例6: getPointerAnalysis

import com.ibm.wala.ipa.callgraph.propagation.PointerAnalysis; //导入依赖的package包/类
public PointerAnalysis getPointerAnalysis() {
  return super.getPointerAnalysis();
}
 
开发者ID:wala,项目名称:MemSAT,代码行数:4,代码来源:MiniaturJavaScriptAnalysisEngine.java

示例7: getPointerAnalysis

import com.ibm.wala.ipa.callgraph.propagation.PointerAnalysis; //导入依赖的package包/类
public PointerAnalysis<InstanceKey> getPointerAnalysis() {
	return super.getPointerAnalysis();
}
 
开发者ID:wala,项目名称:MemSAT,代码行数:4,代码来源:MiniaturJDTJavaAnalysisEngine.java

示例8: MiniaturTypeDataFactory

import com.ibm.wala.ipa.callgraph.propagation.PointerAnalysis; //导入依赖的package包/类
public MiniaturTypeDataFactory(PointerAnalysis<InstanceKey> PA, IClassHierarchy cha) {
  this.cha = cha;
  this.PA = PA;
}
 
开发者ID:wala,项目名称:MemSAT,代码行数:5,代码来源:MiniaturTypeDataFactory.java

示例9: MiniaturJavaScriptTypeData

import com.ibm.wala.ipa.callgraph.propagation.PointerAnalysis; //导入依赖的package包/类
MiniaturJavaScriptTypeData(CGNode node, PointerAnalysis<InstanceKey> PA) {
  this.node = node;
  this.PA = PA;
}
 
开发者ID:wala,项目名称:MemSAT,代码行数:5,代码来源:MiniaturJavaScriptTypeData.java

示例10: buildSDG

import com.ibm.wala.ipa.callgraph.propagation.PointerAnalysis; //导入依赖的package包/类
/**
 * This method builds the SDG( system dependence graph) for the slice
 * Further all nodes will be printed with node+number.
 *
 * @param cg3
 * @param pa
 * @return
 */
public static SDG buildSDG(CallGraph cg3, PointerAnalysis pa) {
    SDG sdg = new SDG(cg3, pa, Slicer.DataDependenceOptions.NO_HEAP,
                      Slicer.ControlDependenceOptions.NONE);
    // printSDG(sdg);
    return sdg;
}
 
开发者ID:logicalhacking,项目名称:DASCA,代码行数:15,代码来源:Main.java

示例11: getPointerAnalysis

import com.ibm.wala.ipa.callgraph.propagation.PointerAnalysis; //导入依赖的package包/类
PointerAnalysis getPointerAnalysis(); 
开发者ID:wala,项目名称:MemSAT,代码行数:2,代码来源:MiniaturAnalysisEngine.java


注:本文中的com.ibm.wala.ipa.callgraph.propagation.PointerAnalysis类示例由纯净天空整理自Github/MSDocs等开源代码及文档管理平台,相关代码片段筛选自各路编程大神贡献的开源项目,源码版权归原作者所有,传播和使用请参考对应项目的License;未经允许,请勿转载。