Package it.unive.lisa.interprocedural.impl

Class ModularWorstCaseAnalysis<A extends AbstractState<A,H,V>,H extends HeapDomain<H>,V extends ValueDomain<V>>

java.lang.Object

it.unive.lisa.interprocedural.impl.ModularWorstCaseAnalysis<A,H,V>

Type Parameters:

A - the abstract state of the analysis

H - the heap domain

V - the value domain

All Implemented Interfaces:

InterproceduralAnalysis<A,H,V>

public class ModularWorstCaseAnalysis<A extends AbstractState<A,H,V>,H extends HeapDomain<H>,V extends ValueDomain<V>>
extends java.lang.Object
implements InterproceduralAnalysis<A,H,V>

A worst case modular analysis were all method calls return top.

Constructor Summary

Constructors

Constructor	Description
ModularWorstCaseAnalysis()	Builds the call graph.

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.

Methods inherited from class java.lang.Object

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

Constructor Detail

ModularWorstCaseAnalysis

public ModularWorstCaseAnalysis()

Builds the call graph.

Method Detail

fixpoint

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

Description copied from interface: InterproceduralAnalysis

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 InterproceduralAnalysis.getAnalysisResultsOf(CFG).

Specified by:

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

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

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

Description copied from interface: InterproceduralAnalysis

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

Specified by:

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

Parameters:

cfg - the cfg whose fixpoint results needs to be retrieved

Returns:

the result of the fixpoint computation of valueDomain over cfg

getAbstractResultOf

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

Description copied from interface: InterproceduralAnalysis

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.

Specified by:

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

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

init

public void init(Program program,
                 CallGraph callgraph)
          throws InterproceduralAnalysisException

Description copied from interface: InterproceduralAnalysis

Initializes the interprocedural analysis of the given program.

Specified by:

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

Parameters:

program - the program

callgraph - the callgraph used to resolve method calls

Throws:

InterproceduralAnalysisException - if an exception happens while performing the interprocedural analysis

resolve

public Call resolve(UnresolvedCall unresolvedCall)
             throws CallResolutionException

Description copied from interface: InterproceduralAnalysis

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.

Specified by:

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

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