|
Static Value-Flow Analysis
|
#include "Graphs/ICFG.h"Go to the source code of this file.
Classes | |
| class | SVF::SparseObjEdge |
| An edge carries the source packed Obj to the target ICFG location. More... | |
| class | SVF::SparseObjNode |
| class | SVF::SparseObjGraph |
| struct | SVF::GenericGraphTraits< SparseObjNode * > |
| struct | SVF::GenericGraphTraits< Inverse< SparseObjNode * > > |
| struct | SVF::GenericGraphTraits< SparseObjGraph * > |
Namespaces | |
| namespace | SVF |
| for isBitcode | |
Typedefs | |
| typedef GenericEdge< SparseObjNode > | SVF::GenericSparseObjEdgeTy |
| typedef GenericNode< SparseObjNode, SparseObjEdge > | SVF::GenericSparseObjNodeTy |
| typedef GenericGraph< SparseObjNode, SparseObjEdge > | SVF::GenericSparseObjGraphTy |