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);
}
 

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();
}
 

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;
}
 

import com.ibm.wala.ipa.callgraph.propagation.PointerAnalysis; //导入依赖的package包/类
public PointerAnalysis<InstanceKey> getPointerAnalysis()
{
    assert hasBeenPerformed;
    return pointerAnalysis;
}
 

import com.ibm.wala.ipa.callgraph.propagation.PointerAnalysis; //导入依赖的package包/类
public PointerAnalysis getPointerAnalysis() {
	return super.getPointerAnalysis();
}
 

import com.ibm.wala.ipa.callgraph.propagation.PointerAnalysis; //导入依赖的package包/类
public PointerAnalysis getPointerAnalysis() {
  return super.getPointerAnalysis();
}
 

import com.ibm.wala.ipa.callgraph.propagation.PointerAnalysis; //导入依赖的package包/类
public PointerAnalysis<InstanceKey> getPointerAnalysis() {
	return super.getPointerAnalysis();
}
 

import com.ibm.wala.ipa.callgraph.propagation.PointerAnalysis; //导入依赖的package包/类
public MiniaturTypeDataFactory(PointerAnalysis<InstanceKey> PA, IClassHierarchy cha) {
  this.cha = cha;
  this.PA = PA;
}
 

import com.ibm.wala.ipa.callgraph.propagation.PointerAnalysis; //导入依赖的package包/类
MiniaturJavaScriptTypeData(CGNode node, PointerAnalysis<InstanceKey> PA) {
  this.node = node;
  this.PA = PA;
}
 

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;
}
 

import com.ibm.wala.ipa.callgraph.propagation.PointerAnalysis; //导入依赖的package包/类
PointerAnalysis getPointerAnalysis();