Java UnitGraph.getBody方法代码示例

import soot.toolkits.graph.UnitGraph; //导入方法依赖的package包/类
public HashMutablePDG(UnitGraph cfg)
{
	this.m_body = cfg.getBody();
	this.m_class = this.m_body.getMethod().getDeclaringClass();
	this.m_cfg = cfg;
			
	this.m_regionAnalysis = new RegionAnalysis(this.m_cfg, this.m_body.getMethod(), this.m_class);
	
	/*
	 * Get the weak regions and save a copy. Note that the strong regions list is
	 * initially cloned from the weak region to be later modified.
	 */
	this.m_strongRegions = this.m_regionAnalysis.getRegions();
	this.m_weakRegions = this.cloneRegions(this.m_strongRegions);
	this.m_blockCFG = this.m_regionAnalysis.getBlockCFG();
	
	//Construct the PDG
	this.constructPDG();
	this.m_pdgRegions = HashMutablePDG.computePDGRegions(this.m_startNode);

	
	/*This is needed to convert the initially Region-typed inner node of the PDG's head
		to a PDGRegion-typed one after the whole graph is computed.
		The root PDGRegion is the one with no parent.
	*/

	IRegion r = this.m_pdgRegions.get(0);
	while(r.getParent() != null)
		r = r.getParent();
	
	this.m_startNode.setNode(r);
	
}
 

import soot.toolkits.graph.UnitGraph; //导入方法依赖的package包/类
public RegionAnalysis(UnitGraph  cfg, SootMethod m, SootClass c)
{
    this.m_methodBody = cfg.getBody();
    this.m_cfg = cfg;
    this.m_method = m;
    this.m_class = c;

    if(Options.v().verbose())
        G.v().out.println("[RegionAnalysis]~~~~~~~~~~~~~~~ Begin Region Analsis for method: " + m.getName() +" ~~~~~~~~~~~~~~~~~~~~");
    this.findWeakRegions();
    if(Options.v().verbose())
        G.v().out.println("[RegionAnalysis]~~~~~~~~~~~~~~~ End:" + m.getName() +" ~~~~~~~~~~~~~~~~~~~~");
}
 

import soot.toolkits.graph.UnitGraph; //导入方法依赖的package包/类
public LocalMayAliasAnalysisWithFields(UnitGraph graph) {
	super(graph);
	body = graph.getBody();
	doAnalysis();
}
 

import soot.toolkits.graph.UnitGraph; //导入方法依赖的package包/类
public LocalMayEquivValueAnalysis(UnitGraph graph) {
    super(graph);
    body = graph.getBody();
    doAnalysis();
}
 

import soot.toolkits.graph.UnitGraph; //导入方法依赖的package包/类
public LocalMayAliasAnalysis(UnitGraph graph) {
	super(graph);
	body = graph.getBody();
	doAnalysis();
}
 

import soot.toolkits.graph.UnitGraph; //导入方法依赖的package包/类
public LocalMustNotAliasAnalysis(UnitGraph g)
{
	this(g, g.getBody());
}
 

import soot.toolkits.graph.UnitGraph; //导入方法依赖的package包/类
public LocalMayAliasAnalysisWithArray(UnitGraph graph) {
    super(graph);
    body = graph.getBody();
    doAnalysis();
}
 

import soot.toolkits.graph.UnitGraph; //导入方法依赖的package包/类
/**
 * Construct the analysis from a UnitGraph representation
 * of a method body and a LocalDefs interface. This supposes that
 * a LocalDefs analysis must have been computed prior.
 *
 * <p> Note: If you do not already have a UnitGraph, it may be
 * cheaper to use the constructor which only requires a Body.
 */
public SimpleLocalUses(UnitGraph graph, LocalDefs localDefs)
{
    this(graph.getBody(), localDefs);
}