#include "BinaryControlFlow.h"
#include <boost/graph/depth_first_search.hpp>
#include <boost/graph/reverse_graph.hpp>
Include dependency graph for BinaryDominance.h:

Go to the source code of this file.
Namespaces | |
| namespace | BinaryAnalysis |
Classes | |
| class | BinaryAnalysis::Dominance |
| Class for calculating dominance on control flow graphs. More... | |
| struct | BinaryAnalysis::Dominance::RelationMap< ControlFlowGraph > |
| Vector representation of the dominance relation. More... | |
1.4.7