Assignment |
A statement assigning the result of an expression to an assignable
expression.
|
BinaryExpression |
A binary expression.
|
BinaryNativeCall |
|
Call |
A call to another procedure.
|
CFGCall |
A call to one or more of the CFGs under analysis.
|
Expression |
An expression that is part of a statement of the program.
|
Literal |
A literal, representing a constant value.
|
NativeCall |
A native call, modeling the usage of one of the native constructs of the
language.
|
NoOp |
A statement that does nothing.
|
NullLiteral |
A literal representing the null constant.
|
OpenCall |
A call to a CFG that is not under analysis.
|
Ret |
Terminates the execution of the CFG where this statement lies, without
returning anything to the caller.
|
Return |
Returns an expression to the caller CFG, terminating the execution of the CFG
where this statement lies.
|
Statement |
A statement of the program to analyze.
|
Throw |
A statement that raises an error, stopping the execution of the current CFG
and propagating the error to among the call chain.
|
UnaryNativeCall |
|
UnresolvedCall |
A call that happens inside the program to analyze.
|
Variable |
A reference to a variable of the current CFG, identified by its name.
|