Package it.unive.lisa.program.cfg

Class NativeCFG

java.lang.Object

it.unive.lisa.program.cfg.NativeCFG

All Implemented Interfaces:

CodeMember

public class NativeCFG
extends java.lang.Object
implements CodeMember

A native cfg, representing a cfg that is usually provided by the runtime of the programming language. This types of cfg are not really subjects of the analysis, but they are nevertheless required for obtaining meaningful results.

NativeCFGs do not contain code, but they can be rewritten to a NativeCall providing their semantics through rewrite(Statement, Expression...).

Note that this class does not implement Object.equals(Object) nor Object.hashCode() since all constructs are unique.

Constructor Summary

Constructors

Constructor	Description
NativeCFG(CFGDescriptor descriptor, java.lang.Class<? extends NativeCall> construct)	Builds the native control flow graph.

Method Summary

Modifier and Type	Method	Description
CFGDescriptor	getDescriptor()	Yields the CFGDescriptor containing the signature of this code member.
NativeCall	rewrite(Statement original, Expression... params)	Produces a NativeCall providing the semantics of this native cfg.

Methods inherited from class java.lang.Object

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

Constructor Detail

NativeCFG

public NativeCFG(CFGDescriptor descriptor,
                 java.lang.Class<? extends NativeCall> construct)

Builds the native control flow graph.

Parameters:

descriptor - the descriptor of this cfg

construct - the class of the NativeCall that provides the semantics of this native cfg; the class of the construct must also be a subtype of PluggableStatement

Throws:

java.lang.IllegalArgumentException - if the class of the construct does not implement PluggableStatement

Method Detail

getDescriptor

public CFGDescriptor getDescriptor()

Description copied from interface: CodeMember

Yields the CFGDescriptor containing the signature of this code member.

Specified by:

getDescriptor in interface CodeMember

Returns:

the descriptor of this code member

rewrite

public NativeCall rewrite(Statement original,
                          Expression... params)
                   throws CallResolutionException

Produces a NativeCall providing the semantics of this native cfg. Such native call can be used when a call to this native cfg is found within the program to analyze.

Parameters:

original - the Statement that must be rewritten as a call to this native cfg

params - the parameters of the call to this cfg

Returns:

a NativeCall providing the semantics of this native cfg, that can be used instead of calling this cfg

Throws:

CallResolutionException - if something goes wrong while creating the native call