|
Static Value-Flow Analysis
|
#include "SVFIR/SVFType.h"#include "Util/iterator.h"#include "Graphs/GraphTraits.h"#include "SVFIR/SVFValue.h"Go to the source code of this file.
Classes | |
| class | SVF::GenericEdge< NodeTy > |
| struct | SVF::GenericEdge< NodeTy >::equalGEdge |
| Add the hash function for std::set (we also can overload operator< to implement this) More... | |
| class | SVF::GenericNode< NodeTy, EdgeTy > |
| class | SVF::GenericGraph< NodeTy, EdgeTy > |
| class | SVF::mapped_iter< ItTy, FuncTy, FuncReturnTy > |
| struct | SVF::GenericGraphTraits< SVF::GenericNode< NodeTy, EdgeTy > * > |
| struct | SVF::GenericGraphTraits< Inverse< SVF::GenericNode< NodeTy, EdgeTy > * > > |
| struct | SVF::GenericGraphTraits< SVF::GenericGraph< NodeTy, EdgeTy > * > |
Namespaces | |
| namespace | SVF |
| for isBitcode | |
Functions | |
| template<class ItTy , class FuncTy > | |
| mapped_iter< ItTy, FuncTy > | SVF::map_iter (ItTy I, FuncTy F) |