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

Class NativeCall

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

All Implemented Interfaces:

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

public class NativeCall
extends Call
implements CanRemoveReceiver, ResolvedCall

A call to one or more NativeCFGs 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
NativeCall(CFG cfg, CodeLocation location, Call.CallType callType, java.lang.String qualifier, java.lang.String targetName, EvaluationOrder order, java.util.Collection<NativeCFG> targets, Expression... parameters)	Builds the native call, happening at the given location in the program.
NativeCall(CFG cfg, CodeLocation location, Call.CallType callType, java.lang.String qualifier, java.lang.String targetName, java.util.Collection<NativeCFG> targets, Expression... parameters)	Builds the native call, happening at the given location in the program.
NativeCall(UnresolvedCall source, java.util.Collection<NativeCFG> targets)	Creates a native call as the resolved version of the given source call, copying all its data.

Method Summary

Modifier and Type	Method	Description
boolean	equals(java.lang.Object obj)
<A extends AbstractState<A>> AnalysisState<A>	forwardSemanticsAux(InterproceduralAnalysis<A> interprocedural, AnalysisState<A> state, ExpressionSet[] params, StatementStore<A> expressions)	Computes the forward semantics of the expression, after the semantics of all sub-expressions have been computed.
java.util.Collection<NativeCFG>	getTargetedConstructs()	Yields the NativeCFGs that are targeted by this native 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.Call

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

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

accept, backwardSemantics, backwardSemanticsAux, forwardSemantics, getConstructName, getOrder, getStatementEvaluatedAfter, getStatementEvaluatedBefore, getSubExpressions, 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, getEvaluationSuccessor, 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

NativeCall

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

Builds the native 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 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 qualified name of the static target of this call

targets - the NativeCFGs that are targeted by this CFG call

parameters - the parameters of this call

NativeCall

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

Builds the native 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 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 qualified name of the static target of this call

order - the evaluation order of the sub-expressions

targets - the NativeCFGs that are targeted by this CFG call

parameters - the parameters of this call

NativeCall

public NativeCall(UnresolvedCall source,
                  java.util.Collection<NativeCFG> targets)

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

Parameters:

source - the unresolved call to copy

targets - the NativeCFGs that the call has been resolved against

Method Detail

getTargetedConstructs

public java.util.Collection<NativeCFG> getTargetedConstructs()

Yields the NativeCFGs that are targeted by this native call.

Returns:

the target NativeCFGs

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

forwardSemanticsAux

public <A extends AbstractState<A>> AnalysisState<A> forwardSemanticsAux(InterproceduralAnalysis<A> interprocedural,
                                                                         AnalysisState<A> state,
                                                                         ExpressionSet[] params,
                                                                         StatementStore<A> expressions)
                                                                  throws SemanticException

Description copied from class: NaryExpression

Computes the forward 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:

forwardSemanticsAux in class NaryExpression

Type Parameters:

A - the type of AbstractState

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

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