Package it.unive.lisa.interprocedural.impl

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

java.lang.Object

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

it.unive.lisa.interprocedural.impl.ContextBasedAnalysis<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 ContextBasedAnalysis<A extends AbstractState<A,H,V>,H extends HeapDomain<H>,V extends ValueDomain<V>>
extends CallGraphBasedAnalysis<A,H,V>

A context sensitive interprocedural analysis. The context sensitivity is tuned by the kind of ContextSensitivityToken used.

Field Summary

Fields inherited from class it.unive.lisa.interprocedural.impl.CallGraphBasedAnalysis

callgraph, program

Constructor Summary

Constructors

Constructor	Description
ContextBasedAnalysis()	Builds the analysis, using SingleScopeTokens.
ContextBasedAnalysis(ContextSensitivityToken token)	Builds the analysis.

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.

Methods inherited from class it.unive.lisa.interprocedural.impl.CallGraphBasedAnalysis

init, prepareEntryStateOfEntryPoint, resolve

Methods inherited from class java.lang.Object

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

Constructor Detail

ContextBasedAnalysis

public ContextBasedAnalysis()

Builds the analysis, using SingleScopeTokens.

ContextBasedAnalysis

public ContextBasedAnalysis(ContextSensitivityToken token)

Builds the analysis.

Parameters:

token - an instance of the tokens to be used to partition w.r.t. context sensitivity

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).

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.

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.

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