Static Value-Flow Analysis
|
#include "Graphs/ICFGNode.h"
#include "Graphs/ICFGEdge.h"
#include "Util/WorkList.h"
#include "MemoryModel/SVFLoop.h"
Go to the source code of this file.
Classes | |
class | SVF::ICFG |
struct | SVF::GenericGraphTraits< SVF::ICFGNode * > |
struct | SVF::GenericGraphTraits< Inverse< SVF::ICFGNode * > > |
Inverse GenericGraphTraits specializations for call graph node, it is used for inverse traversal. More... | |
struct | SVF::GenericGraphTraits< SVF::ICFG * > |
Namespaces | |
namespace | SVF |
for isBitcode | |
Typedefs | |
typedef GenericGraph< ICFGNode, ICFGEdge > | SVF::GenericICFGTy |