Package it.unive.lisa.program.cfg.statement.call

Class CFGCall

java.lang.Object

it.unive.lisa.program.cfg.statement.Statement

it.unive.lisa.program.cfg.statement.Expression

it.unive.lisa.program.cfg.statement.NaryExpression

it.unive.lisa.program.cfg.statement.call.Call

it.unive.lisa.program.cfg.statement.call.CallWithResult

it.unive.lisa.program.cfg.statement.call.CFGCall

All Implemented Interfaces:

ProgramPoint, CanRemoveReceiver, ResolvedCall, MetaVariableCreator, CodeElement, CodeNode<CFG,Statement,Edge>, Node<CFG,Statement,Edge>, java.lang.Comparable<Statement>

public class CFGCall
extends CallWithResult
implements MetaVariableCreator, CanRemoveReceiver

A call to one or more of the CFGs under analysis.

Nested Class Summary

Nested classes/interfaces inherited from class it.unive.lisa.program.cfg.statement.call.Call

Call.CallType

Field Summary

Fields inherited from class it.unive.lisa.program.cfg.statement.Statement

offset

Constructor Summary

Constructors

Constructor	Description
CFGCall(CFG cfg, CodeLocation location, Call.CallType callType, java.lang.String qualifier, java.lang.String targetName, EvaluationOrder order, java.util.Collection<CFG> targets, Expression... parameters)	Builds the CFG call, happening at the given location in the program.
CFGCall(CFG cfg, CodeLocation location, Call.CallType callType, java.lang.String qualifier, java.lang.String targetName, java.util.Collection<CFG> targets, Expression... parameters)	Builds the CFG call, happening at the given location in the program.
CFGCall(UnresolvedCall source, java.util.Collection<CFG> targets)	Creates a cfg call as the resolved version of the given source call, copying all its data.

Method Summary

Modifier and Type	Method	Description
<A extends AbstractState<A,H,V,T>,H extends HeapDomain<H>,V extends ValueDomain<V>,T extends TypeDomain<T>> AnalysisState<A,H,V,T>	compute(AnalysisState<A,H,V,T> entryState, InterproceduralAnalysis<A,H,V,T> interprocedural, StatementStore<A,H,V,T> expressions, ExpressionSet<SymbolicExpression>[] parameters)	Computes an analysis state that abstracts the result of this call when parameters are used as actual parameters, and the state when the call is executed is entryState.
boolean	equals(java.lang.Object obj)
Identifier	getMetaVariable()	Yields the meta variable that is introduced during the evaluation of the semantics of this object to store information about the value produced by this object.
java.util.Collection<CFG>	getTargetedCFGs()	Yields the CFGs that are targeted by this CFG call.
java.util.Collection<CodeMember>	getTargets()	Yields the targets of the Call.
int	hashCode()
TruncatedParamsCall	removeFirstParameter()	Yields an instance of TruncatedParamsCall that wraps a copy of the receiver of this call up to the parameters, where the first one has been removed.
java.lang.String	toString()

Methods inherited from class it.unive.lisa.program.cfg.statement.call.CallWithResult

expressionSemantics

Methods inherited from class it.unive.lisa.program.cfg.statement.call.Call

getCallType, getFullTargetName, getParameters, getQualifier, getSource, getTargetName, parameterTypes, setSource

Methods inherited from class it.unive.lisa.program.cfg.statement.NaryExpression

accept, getConstructName, getOrder, getStatementEvaluatedBefore, getSubExpressions, semantics, setOffset

Methods inherited from class it.unive.lisa.program.cfg.statement.Expression

getMetaVariables, getParentStatement, getRootStatement, getStaticType, setParentStatement

Methods inherited from class it.unive.lisa.program.cfg.statement.Statement

compareTo, getCFG, getEvaluationPredecessor, getLocation, getOffset, stopsExecution, throwsError

Methods inherited from class java.lang.Object

clone, finalize, getClass, notify, notifyAll, wait, wait, wait

Methods inherited from interface it.unive.lisa.program.cfg.ProgramPoint

getProgram

Constructor Detail

CFGCall

public CFGCall(CFG cfg,
               CodeLocation location,
               Call.CallType callType,
               java.lang.String qualifier,
               java.lang.String targetName,
               java.util.Collection<CFG> targets,
               Expression... parameters)

Builds the CFG call, happening at the given location in the program. The EvaluationOrder of the parameter is LeftToRightEvaluation. The static type of this call is the common supertype of the return types of all targets.

Parameters:

cfg - the cfg that this expression belongs to

location - the location where this expression is defined within program

callType - the call type of this call

qualifier - the optional qualifier of the call (can be null or empty - see Call.getFullTargetName() for more info)

targetName - the qualified name of the static target of this call

targets - the CFGs that are targeted by this CFG call

parameters - the parameters of this call

CFGCall

public CFGCall(CFG cfg,
               CodeLocation location,
               Call.CallType callType,
               java.lang.String qualifier,
               java.lang.String targetName,
               EvaluationOrder order,
               java.util.Collection<CFG> targets,
               Expression... parameters)

Builds the CFG call, happening at the given location in the program. The static type of this call is the common supertype of the return types of all targets.

Parameters:

cfg - the cfg that this expression belongs to

location - the location where this expression is defined within program

callType - the call type of this call

qualifier - the optional qualifier of the call (can be null or empty - see Call.getFullTargetName() for more info)

targetName - the qualified name of the static target of this call

order - the evaluation order of the sub-expressions

targets - the CFGs that are targeted by this CFG call

parameters - the parameters of this call

CFGCall

public CFGCall(UnresolvedCall source,
               java.util.Collection<CFG> targets)

Creates a cfg call as the resolved version of the given source call, copying all its data.

Parameters:

source - the unresolved call to copy

targets - the CFGs that the call has been resolved against

Method Detail

getTargetedCFGs

public java.util.Collection<CFG> getTargetedCFGs()

Yields the CFGs that are targeted by this CFG call.

Returns:

the target CFG

getTargets

public java.util.Collection<CodeMember> getTargets()

Description copied from interface: ResolvedCall

Yields the targets of the Call.

Specified by:

getTargets in interface ResolvedCall

Returns:

the targets

hashCode

public int hashCode()

Overrides:

hashCode in class Call

equals

public boolean equals(java.lang.Object obj)

Overrides:

equals in class Call

toString

public java.lang.String toString()

Overrides:

toString in class Call

getMetaVariable

public final Identifier getMetaVariable()

Description copied from interface: MetaVariableCreator

Yields the meta variable that is introduced during the evaluation of the semantics of this object to store information about the value produced by this object. Since the meta variable simulates a value pushed on the stack, it should be forgotten after it is consumed.

Specified by:

getMetaVariable in interface MetaVariableCreator

Returns:

the meta variable introduced by this object

compute

public <A extends AbstractState<A,H,V,T>,H extends HeapDomain<H>,V extends ValueDomain<V>,T extends TypeDomain<T>> AnalysisState<A,H,V,T> compute(AnalysisState<A,H,V,T> entryState,
                                                                                                                                                                                                        InterproceduralAnalysis<A,H,V,T> interprocedural,
                                                                                                                                                                                                        StatementStore<A,H,V,T> expressions,
                                                                                                                                                                                                        ExpressionSet<SymbolicExpression>[] parameters)
                                                                                                                                                                                                 throws SemanticException

Description copied from class: CallWithResult

Computes an analysis state that abstracts the result of this call when parameters are used as actual parameters, and the state when the call is executed is entryState.

Specified by:

compute in class CallWithResult

Type Parameters:

A - the type of AbstractState

H - the type of the HeapDomain

V - the type of the ValueDomain

T - the type of TypeDomain

Parameters:

entryState - the abstract analysis state when the call is reached

interprocedural - the interprocedural analysis of the program to analyze

expressions - the cache where analysis states of intermediate expressions must be stored

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

removeFirstParameter

public TruncatedParamsCall removeFirstParameter()

Description copied from interface: CanRemoveReceiver

Yields an instance of TruncatedParamsCall that wraps a copy of the receiver of this call up to the parameters, where the first one has been removed.

Specified by:

removeFirstParameter in interface CanRemoveReceiver

Returns:

the call wrapping the copy of this one