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)	Computes an analysis state that abstracts the execution of the possible targets considering that they were given parameters as actual parameters, and the state when the call is executed is entryState. Note that the interprocedural analysis is also responsible for registering the call to the CallGraph, if needed.
AnalysisState<A,H,V>	getAbstractResultOf(OpenCall call, AnalysisState<A,H,V> entryState, ExpressionSet<SymbolicExpression>[] parameters)	Computes an analysis state that abstracts the execution of an unknown target considering that they were given parameters as actual parameters, and the state when the call is executed is entryState.
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, OpenCallPolicy policy)	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,
          OpenCallPolicy policy)
   throws InterproceduralAnalysisException

Initializes the interprocedural analysis of the given program.

Parameters:

callgraph - the callgraph used to resolve method calls

program - the program

policy - the OpenCallPolicy to be used for computing the result of OpenCalls

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

Computes an analysis state that abstracts the execution of the possible targets considering that they were given parameters as actual parameters, and the state when the call is executed is entryState.

Note that the interprocedural analysis is also responsible for registering the call to the CallGraph, if needed.

Parameters:

call - the call to 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, if any

Throws:

SemanticException - if something goes wrong during the computation

getAbstractResultOf

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

Computes an analysis state that abstracts the execution of an unknown target considering that they were given parameters as actual parameters, and the state when the call is executed is entryState.

Parameters:

call - the call to 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 open call. The AnalysisState.getComputedExpressions() will contain an Identifier pointing to the meta variable containing the abstraction of the returned value, if any

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 forward the call to CallGraph.resolve(UnresolvedCall) if needed.

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