Static Value-Flow Analysis
Classes | Namespaces
WTO.h File Reference
#include "SVFIR/SVFType.h"
#include "SVFIR/SVFValue.h"
#include <functional>

Go to the source code of this file.

Classes

struct  SVF::has_nodetype< T, typename >
 
struct  SVF::has_nodetype< T, std::void_t< typename T::NodeType > >
 
struct  SVF::has_edgetype< T, typename >
 
struct  SVF::has_edgetype< T, std::void_t< typename T::EdgeType > >
 
class  SVF::WTOCycleDepth< GraphT >
 
class  SVF::WTOComponent< GraphT >
 
class  SVF::WTONode< GraphT >
 
class  SVF::WTOCycle< GraphT >
 
class  SVF::WTOComponentVisitor< GraphT >
 
class  SVF::WTO< GraphT >
 
class  SVF::WTO< GraphT >::WTOCycleDepthBuilder
 Visitor to build the cycle depths of each node. More...
 

Namespaces

 SVF
 for isBitcode