|
Static Value-Flow Analysis
|
#include "Graphs/GenericGraph.h"#include "Graphs/CHG.h"#include "SVF-LLVM/BasicTypes.h"#include "Util/SVFUtil.h"#include "Util/WorkList.h"Go to the source code of this file.
Classes | |
| class | SVF::DCHEdge |
| class | SVF::DCHNode |
| class | SVF::DCHGraph |
| Dwarf based CHG. More... | |
| struct | SVF::GenericGraphTraits< SVF::DCHNode * > |
| struct | SVF::GenericGraphTraits< Inverse< SVF::DCHNode * > > |
| Inverse GenericGraphTraits specializations for call graph node, it is used for inverse traversal. More... | |
| struct | SVF::GenericGraphTraits< SVF::DCHGraph * > |
Namespaces | |
| namespace | SVF |
| for isBitcode | |