Package it.unive.lisa.interprocedural

Class WorstCasePolicy

java.lang.Object

it.unive.lisa.interprocedural.WorstCasePolicy

All Implemented Interfaces:

OpenCallPolicy

public class WorstCasePolicy
extends java.lang.Object
implements OpenCallPolicy

A worst-case OpenCallPolicy, where the whole analysis state becomes top and all information is lost. The return value, if any, is stored in the call's meta variable.

Field Summary

Fields

Modifier and Type	Field	Description
static WorstCasePolicy	INSTANCE	The singleton instance of this class.

Method Summary

Modifier and Type	Method	Description
<A extends AbstractState<A>> AnalysisState<A>	apply(OpenCall call, AnalysisState<A> entryState, ExpressionSet[] params)	Applies the policy to the given open call.

Methods inherited from class java.lang.Object

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

Field Detail

INSTANCE

public static final WorstCasePolicy INSTANCE

The singleton instance of this class.

Method Detail

apply

public <A extends AbstractState<A>> AnalysisState<A> apply(OpenCall call,
                                                           AnalysisState<A> entryState,
                                                           ExpressionSet[] params)
                                                    throws SemanticException

Description copied from interface: OpenCallPolicy

Applies the policy to the given open call.

Specified by:

apply in interface OpenCallPolicy

Type Parameters:

A - the type of AbstractState contained into the analysis state

Parameters:

call - the OpenCall under evaluation

entryState - the state when the call is executed

params - the symbolic expressions representing the computed values of the parameters of the call

Returns:

the AnalysisState representing the abstract result of the execution of this call

Throws:

SemanticException - if something goes wrong during the computation