Interface | Description |
---|---|
CfgVisitor |
Control flow graph model visitor.
|
Class | Description |
---|---|
CfgAssertStatement |
Assertion statement of control flow graph model.
|
CfgBfsWalker |
Control flow graph model walker running in breadth-first search mode.
|
CfgBlockStatement |
Basic block node of process' control flow graph.
|
CfgCaseData |
Control flow graph case statement's data descriptor.
|
CfgCaseStatement |
Case statement of control flow graph model.
|
CfgConditionStatement |
Sequential statement that is enhanced with condition.
|
CfgContext |
Auxiliary class for symbolic execution of block statements with the specified pre-condition.
|
CfgDfsWalker |
Control flow graph model walker running in a depth-first search mode.
|
CfgEmptyVisitor |
An empty visitor for control flow graph model.
|
CfgLoopStatement |
Loop statement for control flow graph node.
|
CfgModel |
Control flow graph model.
|
CfgModule |
Module of control flow graph model.
|
CfgProcess |
Process of control flow graph model.
|
CfgStatement |
Basic class for control flow graph model statements.
|
CfgSwitchStatement |
Switch statement of control flow graph model.
|
CfgUtils |
Utility methods for control flow graph model and it's components.
|
CfgWaitStatement |
Wait statement of the control flow graph model.
|
Enum | Description |
---|---|
CfgAssertStatement.Severity |
Assertion statement severity levels.
|
CfgLoopStatement.Type |
Loop statement types.
|
CfgStatementType |
Control flow graph model nodes types.
|