Class | Description |
---|---|
CfgDfsVisitorBackend |
Base class for visitor-based back-ends running in "depth-first-search" mode.
|
CfgDfsWrVisitorBackend |
Base class for visitor-based back-ends running in "depth-first-search-without-repeat" mode.
|
CfgEngine |
Abstract engine for control flow graph model elaboration.
|
CfgVisitorBackend |
Base class for control flow graph model visitor-based back-ends.
|