Package soot.jimple.toolkits.annotation.purity

Class PurityInterproceduralAnalysis

java.lang.Object

soot.jimple.toolkits.annotation.purity.AbstractInterproceduralAnalysis<PurityGraphBox>

soot.jimple.toolkits.annotation.purity.PurityInterproceduralAnalysis

public class PurityInterproceduralAnalysis
extends AbstractInterproceduralAnalysis<PurityGraphBox>

Field Summary

Fields inherited from class soot.jimple.toolkits.annotation.purity.AbstractInterproceduralAnalysis

cg, data, dg, doCheck, order, unanalysed

Method Summary

Modifier and Type	Method	Description
protected void	analyseMethod(SootMethod method, PurityGraphBox dst)	Compute the summary for a method by analysing its body.
protected void	applySummary(PurityGraphBox src, Stmt stmt, PurityGraphBox summary, PurityGraphBox dst)	Interprocedural analysis will call applySummary repeatedly as a consequence to AbstractInterproceduralAnalysis.analyseCall(Object, Stmt, Object), once for each possible target method of the callStmt, provided with its summary.
protected void	copy(PurityGraphBox source, PurityGraphBox dest)	Copy src into dst.
protected void	fillDotGraph(String prefix, PurityGraphBox o, DotGraph out)	Called by drawAsOneDot to fill dot subgraph out with the contents of summary o.
protected void	merge(PurityGraphBox in1, PurityGraphBox in2, PurityGraphBox out)	Merge in1 and in2 into out.
protected PurityGraphBox	newInitialSummary()	Initial summary value for analysed functions.
protected PurityGraphBox	summaryOfUnanalysedMethod(SootMethod method)	Whenever the analyse requires the summary of a method you filtered-out, this function is called instead of analyseMethod.

Methods inherited from class soot.jimple.toolkits.annotation.purity.AbstractInterproceduralAnalysis

analyseCall, doAnalysis, drawAsManyDot, drawAsOneDot, getAnalysedMethods, getSummaryFor

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Method Detail

newInitialSummary

protected PurityGraphBox newInitialSummary()

Description copied from class: AbstractInterproceduralAnalysis

Initial summary value for analysed functions.

Specified by:

newInitialSummary in class AbstractInterproceduralAnalysis<PurityGraphBox>

Returns:

merge

protected void merge(PurityGraphBox in1,
                     PurityGraphBox in2,
                     PurityGraphBox out)

Description copied from class: AbstractInterproceduralAnalysis

Merge in1 and in2 into out. Note: in1 or in2 can be aliased to out (e.g., analyseCall).

Specified by:

merge in class AbstractInterproceduralAnalysis<PurityGraphBox>

copy

protected void copy(PurityGraphBox source,
                    PurityGraphBox dest)

Description copied from class: AbstractInterproceduralAnalysis

Copy src into dst.

Specified by:

copy in class AbstractInterproceduralAnalysis<PurityGraphBox>

analyseMethod

protected void analyseMethod(SootMethod method,
                             PurityGraphBox dst)

Description copied from class: AbstractInterproceduralAnalysis

Compute the summary for a method by analysing its body. Will be called only on methods not filtered-out.

Specified by:

analyseMethod in class AbstractInterproceduralAnalysis<PurityGraphBox>

Parameters:

method - is the method to be analysed

dst - is where to put the computed method summary

summaryOfUnanalysedMethod

protected PurityGraphBox summaryOfUnanalysedMethod(SootMethod method)

Description copied from class: AbstractInterproceduralAnalysis

Whenever the analyse requires the summary of a method you filtered-out, this function is called instead of analyseMethod.

Note: This function is called at most once per filtered-out method. It is the equivalent of entryInitialFlow!

Specified by:

summaryOfUnanalysedMethod in class AbstractInterproceduralAnalysis<PurityGraphBox>

Returns:

See Also:

PurityGraph.conservativeGraph, PurityGraph.freshGraph

applySummary

protected void applySummary(PurityGraphBox src,
                            Stmt stmt,
                            PurityGraphBox summary,
                            PurityGraphBox dst)

Description copied from class: AbstractInterproceduralAnalysis

Interprocedural analysis will call applySummary repeatedly as a consequence to AbstractInterproceduralAnalysis.analyseCall(Object, Stmt, Object), once for each possible target method of the callStmt, provided with its summary.

Specified by:

applySummary in class AbstractInterproceduralAnalysis<PurityGraphBox>

Parameters:

stmt - any statement containing an InvokeExpr

src - summary valid before the call statement

summary - summary of the possible target of callStmt considered here

dst - where to put the result

See Also:

PurityGraph.methodCall

fillDotGraph

protected void fillDotGraph(String prefix,
                            PurityGraphBox o,
                            DotGraph out)

Description copied from class: AbstractInterproceduralAnalysis

Called by drawAsOneDot to fill dot subgraph out with the contents of summary o.

Overrides:

fillDotGraph in class AbstractInterproceduralAnalysis<PurityGraphBox>

Parameters:

prefix - gives you a unique string to prefix your node names and avoid name-clash