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

Class UnresolvedCall

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

All Implemented Interfaces:

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

public class UnresolvedCall
extends Call

A call that happens inside the program to analyze. At this stage, the target(s) of the call is (are) unknown. During the semantic computation, the CallGraph used by the analysis will resolve this to a CFGCall or to an OpenCall.

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
UnresolvedCall(CFG cfg, CodeLocation location, Call.CallType callType, java.lang.String qualifier, java.lang.String targetName, EvaluationOrder order, Expression... parameters)	Builds the unresolved call, happening at the given location in the program.
UnresolvedCall(CFG cfg, CodeLocation location, Call.CallType callType, java.lang.String qualifier, java.lang.String targetName, EvaluationOrder order, Type staticType, Expression... parameters)	Builds the unresolved call, happening at the given location in the program.
UnresolvedCall(CFG cfg, CodeLocation location, Call.CallType callType, java.lang.String qualifier, java.lang.String targetName, Expression... parameters)	Builds the unresolved call, happening at the given location in the program.
UnresolvedCall(CFG cfg, CodeLocation location, Call.CallType callType, java.lang.String qualifier, java.lang.String targetName, Type staticType, Expression... parameters)	Builds the unresolved call, happening at the given location in the program.

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>	expressionSemantics(InterproceduralAnalysis<A,H,V,T> interprocedural, AnalysisState<A,H,V,T> state, ExpressionSet<SymbolicExpression>[] params, StatementStore<A,H,V,T> expressions)	Computes the semantics of the expression, after the semantics of all sub-expressions have been computed.

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

equals, getCallType, getFullTargetName, getParameters, getQualifier, getSource, getTargetName, hashCode, parameterTypes, setSource, toString

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

UnresolvedCall

public UnresolvedCall(CFG cfg,
                      CodeLocation location,
                      Call.CallType callType,
                      java.lang.String qualifier,
                      java.lang.String targetName,
                      Expression... parameters)

Builds the unresolved call, happening at the given location in the program. The static type of this call is Untyped. The EvaluationOrder of the parameter is LeftToRightEvaluation.

Parameters:

cfg - the cfg that this expression belongs to

location - the location where the expression is defined within the 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 name of the target of this call

parameters - the parameters of this call

UnresolvedCall

public UnresolvedCall(CFG cfg,
                      CodeLocation location,
                      Call.CallType callType,
                      java.lang.String qualifier,
                      java.lang.String targetName,
                      Type staticType,
                      Expression... parameters)

Builds the unresolved call, happening at the given location in the program. The EvaluationOrder of the parameter is LeftToRightEvaluation.

Parameters:

cfg - the cfg that this expression belongs to

location - the location where the expression is defined within the 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 name of the target of this call

staticType - the static type of this call

parameters - the parameters of this call

UnresolvedCall

public UnresolvedCall(CFG cfg,
                      CodeLocation location,
                      Call.CallType callType,
                      java.lang.String qualifier,
                      java.lang.String targetName,
                      EvaluationOrder order,
                      Expression... parameters)

Builds the unresolved call, happening at the given location in the program. The static type of this call is Untyped.

Parameters:

cfg - the cfg that this expression belongs to

location - the location where the expression is defined within the 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 name of the target of this call

order - the evaluation order of the sub-expressions

parameters - the parameters of this call

UnresolvedCall

public UnresolvedCall(CFG cfg,
                      CodeLocation location,
                      Call.CallType callType,
                      java.lang.String qualifier,
                      java.lang.String targetName,
                      EvaluationOrder order,
                      Type staticType,
                      Expression... parameters)

Builds the unresolved call, happening at the given location in the program.

Parameters:

cfg - the cfg that this expression belongs to

location - the location where the expression is defined within the 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 name of the target of this call

order - the evaluation order of the sub-expressions

staticType - the static type of this call

parameters - the parameters of this call

Method Detail

expressionSemantics

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> expressionSemantics(InterproceduralAnalysis<A,H,V,T> interprocedural,
                                                                                                                                                                                                                    AnalysisState<A,H,V,T> state,
                                                                                                                                                                                                                    ExpressionSet<SymbolicExpression>[] params,
                                                                                                                                                                                                                    StatementStore<A,H,V,T> expressions)
                                                                                                                                                                                                             throws SemanticException

Description copied from class: NaryExpression

Computes the semantics of the expression, after the semantics of all sub-expressions have been computed. Meta variables from the sub-expressions will be forgotten after this call returns.

Specified by:

expressionSemantics in class NaryExpression

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:

interprocedural - the interprocedural analysis of the program to analyze

state - the state where the expression is to be evaluated

params - the symbolic expressions representing the computed values of the sub-expressions of this expression

expressions - the cache where analysis states of intermediate expressions are stored and that can be accessed to query for post-states of parameters expressions

Returns:

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

Throws:

SemanticException - if something goes wrong during the computation