Static Value-Flow Analysis
|
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::SVFBaseNode |
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) |