Package it.unive.lisa.interprocedural

Interface InterproceduralAnalysis<A extends AbstractState<A,H,V>,H extends HeapDomain<H>,V extends ValueDomain<V>>

Type Parameters:

A - the type of AbstractState contained into the analysis state

H - the type of HeapDomain contained into the computed abstract state

V - the type of ValueDomain contained into the computed abstract state

public interface InterproceduralAnalysis<A extends AbstractState<A,H,V>,H extends HeapDomain<H>,V extends ValueDomain<V>>

The definition of interprocedural analyses.

Method Summary

Modifier and Type	Method	Description
void	fixpoint(AnalysisState<A,H,V> entryState, java.lang.Class<? extends WorkingSet<Statement>> fixpointWorkingSet, int wideningThreshold)	Computes a fixpoint over the whole control flow graph, producing a CFGWithAnalysisResults for each CFG contained in this analysis.
AnalysisState<A,H,V>	getAbstractResultOf(CFGCall call, AnalysisState<A,H,V> entryState, ExpressionSet<SymbolicExpression>[] parameters)	Resolves the given call to all of its possible runtime targets, and then computes an analysis state that abstracts the execution of the possible targets considering that they were given parameters as actual parameters.
java.util.Collection<CFGWithAnalysisResults<A,H,V>>	getAnalysisResultsOf(CFG cfg)	Yields the results of the given analysis, identified by its class, on the given CFG.
void	init(Program program, CallGraph callgraph)	Initializes the interprocedural analysis of the given program.
Call	resolve(UnresolvedCall unresolvedCall)	Yields a Call implementation that corresponds to the resolution of the given UnresolvedCall.

Method Detail

init

void init(Program program,
          CallGraph callgraph)
   throws InterproceduralAnalysisException

Initializes the interprocedural analysis of the given program.

Parameters:

callgraph - the callgraph used to resolve method calls

program - the program

Throws:

InterproceduralAnalysisException - if an exception happens while performing the interprocedural analysis

fixpoint

void fixpoint(AnalysisState<A,H,V> entryState,
              java.lang.Class<? extends WorkingSet<Statement>> fixpointWorkingSet,
              int wideningThreshold)
       throws FixpointException

Computes a fixpoint over the whole control flow graph, producing a CFGWithAnalysisResults for each CFG contained in this analysis. Each result is computed with CFG.fixpoint(AnalysisState, InterproceduralAnalysis, WorkingSet, int) or one of its overloads. Results of individual cfgs are then available through getAnalysisResultsOf(CFG).

Parameters:

entryState - the entry state for the CFGs that are the entrypoints of the computation

fixpointWorkingSet - the concrete class of WorkingSet to be used in fixpoints.

wideningThreshold - the number of fixpoint iteration on a given node after which calls to Lattice.lub(Lattice) gets replaced with Lattice.widening(Lattice).

Throws:

FixpointException - if something goes wrong while evaluating the fixpoint

getAnalysisResultsOf

java.util.Collection<CFGWithAnalysisResults<A,H,V>> getAnalysisResultsOf(CFG cfg)

Yields the results of the given analysis, identified by its class, on the given CFG. Results are provided as CFGWithAnalysisResults.

Parameters:

cfg - the cfg whose fixpoint results needs to be retrieved

Returns:

the result of the fixpoint computation of valueDomain over cfg

getAbstractResultOf

AnalysisState<A,H,V> getAbstractResultOf(CFGCall call,
                                                     AnalysisState<A,H,V> entryState,
                                                     ExpressionSet<SymbolicExpression>[] parameters)
                                              throws SemanticException

Resolves the given call to all of its possible runtime targets, and then computes an analysis state that abstracts the execution of the possible targets considering that they were given parameters as actual parameters. The abstract value of each parameter is computed on entryState.

Parameters:

call - the call to resolve and evaluate

entryState - the abstract analysis state when the call is reached

parameters - the expressions representing the actual parameters of the call

Returns:

an abstract analysis state representing the abstract result of the cfg call. The AnalysisState.getComputedExpressions() will contain an Identifier pointing to the meta variable containing the abstraction of the returned value

Throws:

SemanticException - if something goes wrong during the computation

resolve

Call resolve(UnresolvedCall unresolvedCall)
      throws CallResolutionException

Yields a Call implementation that corresponds to the resolution of the given UnresolvedCall. This method will return:

• a CFGCall, if at least one CFG that matches UnresolvedCall.getTargetName() is found. The returned CFGCall will be linked to all the possible runtime targets matching UnresolvedCall.getTargetName();
• an OpenCall, if no CFG matching UnresolvedCall.getTargetName() is found.

Parameters:

unresolvedCall - the call to resolve

Returns:

a collection of all the possible runtime targets

Throws:

CallResolutionException - if this analysis is unable to resolve the given call