Class | Description |
---|---|
CfgDfsVisitorBackend |
Basic class for control flow graph
CfgModel
visitors CfgVisitor that are called by
walker CfgWalker running at
Depth-First-Search walker mode CfgWalkerMode . |
CfgDfsWrVisitorBackend |
Basic class for control flow graph
CfgModel
visitors CfgVisitor that are called by
walker CfgWalker running at
Depth-First-Search-Without-Repetitions
walker mode CfgWalkerMode . |
CfgEngine |
Abstract engine for control flow graph model elaboration.
|
CfgVisitorBackend |
Base class for
Backend back-ends that are
based on CfgVisitor control flow graph model visitor. |
CfgVisitorConfig |
Object that stores visitor
CfgVisitor
and walking CfgWalkerMode mode
for control flow graph walker CfgWalker . |