#include <SVFVariables.h>

Inheritance diagram for SVF::SVFVar:

Public Types
typedef GNodeK	PNODEK

typedef s64_t	GEdgeKind

Public Types inherited from SVF::GenericNode< NodeTy, EdgeTy >
typedef NodeTy	NodeType

typedef EdgeTy	EdgeType

typedef OrderedSet< EdgeType *, typename EdgeType::equalGEdge >	GEdgeSetTy
	Edge kind.

typedef GEdgeSetTy::iterator	iterator

typedef GEdgeSetTy::const_iterator	const_iterator

Public Types inherited from SVF::SVFBaseNode
enum	GNodeK { IntraBlock , GlobalBlock , FunEntryBlock , FunExitBlock , FunCallBlock , FunRetBlock , ValNode , FunValNode , GepValNode , RetNode , VarargNode , GlobalValNode , ConstantDataValNode , BlackHoleNode , ConstantFPValNode , ConstantIntValNode , ConstantNullptrValNode , DummyValNode , ObjNode , GepObjNode , BaseObjNode , FunObjNode , HeapObjNode , StackObjNode , GlobalObjNode , ConstantDataObjNode , ConstantFPObjNode , ConstantIntObjNode , ConstantNullptrObjNode , DummyObjNode , Cmp , BinaryOp , UnaryOp , Branch , DummyVProp , NPtr , FRet , ARet , AParm , FParm , Addr , Copy , Gep , Store , Load , TPhi , TIntraPhi , TInterPhi , FPIN , FPOUT , APIN , APOUT , MPhi , MIntraPhi , MInterPhi , CallNodeKd , CDNodeKd , CFLNodeKd , CHNodeKd , ConstraintNodeKd , TCTNodeKd , DCHNodeKd , OtherKd }

Public Member Functions
	SVFVar (const SVFValue *val, NodeID i, PNODEK k)
	Constructor.

virtual	~SVFVar ()
	Destructor.

const SVFValue *	getValue () const
	Get/has methods of the components.

virtual const SVFType *	getType () const
	Return type of the value.

bool	hasValue () const

virtual bool	isPointer () const
	Whether it is a pointer.

bool	isConstDataOrAggDataButNotNullPtr () const

virtual bool	isIsolatedNode () const
	Whether this is an isolated node on the SVFIR graph.

virtual const std::string	getValueName () const =0
	Get name of the LLVM value.

virtual const SVFFunction *	getFunction () const

SVFStmt::SVFStmtSetTy &	getIncomingEdges (SVFStmt::PEDGEK kind)
	Get incoming SVFIR statements (edges)

SVFStmt::SVFStmtSetTy &	getOutgoingEdges (SVFStmt::PEDGEK kind)
	Get outgoing SVFIR statements (edges)

bool	hasIncomingEdges (SVFStmt::PEDGEK kind) const
	Has incoming SVFIR statements (edges)

bool	hasOutgoingEdges (SVFStmt::PEDGEK kind) const
	Has outgoing SVFIR statements (edges)

SVFStmt::SVFStmtSetTy::iterator	getIncomingEdgesBegin (SVFStmt::PEDGEK kind) const
	Get incoming SVFStmt iterator.

SVFStmt::SVFStmtSetTy::iterator	getIncomingEdgesEnd (SVFStmt::PEDGEK kind) const
	Get incoming SVFStmt iterator.

SVFStmt::SVFStmtSetTy::iterator	getOutgoingEdgesBegin (SVFStmt::PEDGEK kind) const
	Get outgoing SVFStmt iterator.

SVFStmt::SVFStmtSetTy::iterator	getOutgoingEdgesEnd (SVFStmt::PEDGEK kind) const
	Get outgoing SVFStmt iterator.

virtual const std::string	toString () const

void	dump () const
	Dump to console for debugging.

Public Member Functions inherited from SVF::GenericNode< NodeTy, EdgeTy >
	GenericNode (NodeID i, GNodeK k)
	Constructor.

virtual	~GenericNode ()
	Destructor.

bool	hasIncomingEdge () const
	Has incoming/outgoing edge set.

bool	hasOutgoingEdge () const

iterator	OutEdgeBegin ()
	iterators

iterator	OutEdgeEnd ()

iterator	InEdgeBegin ()

iterator	InEdgeEnd ()

const_iterator	OutEdgeBegin () const

const_iterator	OutEdgeEnd () const

const_iterator	InEdgeBegin () const

const_iterator	InEdgeEnd () const

virtual iterator	directOutEdgeBegin ()
	Iterators used for SCC detection, overwrite it in child class if necessary.

virtual iterator	directOutEdgeEnd ()

virtual iterator	directInEdgeBegin ()

virtual iterator	directInEdgeEnd ()

virtual const_iterator	directOutEdgeBegin () const

virtual const_iterator	directOutEdgeEnd () const

virtual const_iterator	directInEdgeBegin () const

virtual const_iterator	directInEdgeEnd () const

bool	addIncomingEdge (EdgeType *inEdge)
	Add incoming and outgoing edges.

bool	addOutgoingEdge (EdgeType *outEdge)

EdgeType *	hasIncomingEdge (EdgeType *edge) const
	Find incoming and outgoing edges.

EdgeType *	hasOutgoingEdge (EdgeType *edge) const

const GEdgeSetTy &	getOutEdges () const

const GEdgeSetTy &	getInEdges () const

u32_t	removeIncomingEdge (EdgeType *edge)

u32_t	removeOutgoingEdge (EdgeType *edge)

Public Member Functions inherited from SVF::SVFBaseNode
	SVFBaseNode (NodeID i, GNodeK k, SVFType *ty=nullptr)

NodeID	getId () const
	Get ID.

GNodeK	getNodeKind () const
	Get node kind.

virtual void	setSourceLoc (const std::string &sourceCodeInfo)

virtual const std::string	getSourceLoc () const

const std::string	valueOnlyToString () const

Static Public Member Functions
static bool	classof (const SVFVar *)

static bool	classof (const GenericPAGNodeTy *node)

static bool	classof (const SVFBaseNode *node)

Static Public Member Functions inherited from SVF::GenericNode< NodeTy, EdgeTy >
static bool	classof (const GenericNode< NodeTy, EdgeTy > *)

static bool	classof (const SVFBaseNode *)

Protected Member Functions
	SVFVar (NodeID i, PNODEK k)
	function containing this variable

Protected Attributes
const SVFValue *	value
	value of this SVFIR node

SVFStmt::KindToSVFStmtMapTy	InEdgeKindToSetMap

SVFStmt::KindToSVFStmtMapTy	OutEdgeKindToSetMap

bool	isPtr

const SVFFunction *	func
	whether it is a pointer (top-level or address-taken)

Protected Attributes inherited from SVF::SVFBaseNode
NodeID	id
	Node ID.

GNodeK	nodeKind
	Node kind.

const SVFType *	type
	SVF type.

std::string	sourceLoc
	Source code information of this value.

Private Member Functions
void	addInEdge (SVFStmt *inEdge)
	add methods of the components

void	addOutEdge (SVFStmt *outEdge)

bool	hasIncomingVariantGepEdge () const
	Has incoming VariantGepEdges.

Friends
class	SVFIRWriter

class	SVFIRReader

class	IRGraph

class	SVFIR

class	VFG

OutStream &	operator<< (OutStream &o, const SVFVar &node)
	Overloading operator << for dumping SVFVar value.

Additional Inherited Members
Static Protected Member Functions inherited from SVF::SVFBaseNode
static bool	isICFGNodeKinds (GNodeK n)
	Helper functions to check node kinds.

static bool	isInterICFGNodeKind (GNodeK n)

static bool	isSVFVarKind (GNodeK n)

static bool	isValVarKinds (GNodeK n)

static bool	isConstantDataValVar (GNodeK n)

static bool	isObjVarKinds (GNodeK n)

static bool	isBaseObjVarKinds (GNodeK n)

static bool	isConstantDataObjVarKinds (GNodeK n)

static bool	isVFGNodeKinds (GNodeK n)

static bool	isArgumentVFGNodeKinds (GNodeK n)

static bool	isStmtVFGNodeKinds (GNodeK n)

static bool	isPHIVFGNodeKinds (GNodeK n)

static bool	isMRSVFGNodeKinds (GNodeK n)

static bool	isMSSAPHISVFGNodeKinds (GNodeK n)

Detailed Description

Definition at line 45 of file SVFVariables.h.

Member Typedef Documentation

◆ GEdgeKind

typedef s64_t SVF::SVFVar::GEdgeKind

Definition at line 64 of file SVFVariables.h.

◆ PNODEK

typedef GNodeK SVF::SVFVar::PNODEK

Nine kinds of SVFIR variables ValNode: llvm pointer value ObjNode: memory object RetNode: unique return node Vararg: unique node for vararg parameter GepValNode: temporary gep value node for field sensitivity GepValNode: temporary gep obj node for field sensitivity BaseObjNode: for field insensitive analysis DummyValNode and DummyObjNode: for non-llvm-value node

Definition at line 63 of file SVFVariables.h.

Constructor & Destructor Documentation

◆ SVFVar() [1/2]

SVF::SVFVar::SVFVar	(	NodeID	i,
		PNODEK	k
	)

inlineprotected

function containing this variable

Constructor to create an empty object (for deserialization)

Definition at line 74 of file SVFVariables.h.

74: GenericPAGNodeTy(i, k), value{} {}

SVF::SVFVar::value

const SVFValue * value

value of this SVFIR node

Definition SVFVariables.h:67

SVF::GenericPAGNodeTy

GenericNode< SVFVar, SVFStmt > GenericPAGNodeTy

Definition SVFVariables.h:44

SVF::IRBuilder

llvm::IRBuilder IRBuilder

Definition BasicTypes.h:74

◆ SVFVar() [2/2]

SVFVar::SVFVar	(	const SVFValue *	val,
		NodeID	i,
		PNODEK	k
	)

Constructor.

SVFVar constructor

Definition at line 42 of file SVFVariables.cpp.

                                                      :
    GenericPAGNodeTy(i,k), value(val), func(nullptr)
{
    assert( ValNode <= k && k <= DummyObjNode && "new SVFIR node kind?");
    switch (k)
    {
    case ValNode:
    case ConstantDataValNode:
    case GlobalValNode:
    case BlackHoleNode:
    case ConstantFPValNode:
    case ConstantIntValNode:
    case ConstantNullptrValNode:
    case GepValNode:
    {
        assert(val != nullptr && "value is nullptr for ValVar or GepValNode");
        isPtr = val->getType()->isPointerTy();
        break;
    }
    case FunValNode:
    case VarargNode:
    case DummyValNode:
    {
        isPtr = true;
        break;
    }
    case ObjNode:
    case GepObjNode:
    case BaseObjNode:
    case ConstantDataObjNode:
    case GlobalObjNode:
    case ConstantFPObjNode:
    case ConstantIntObjNode:
    case ConstantNullptrObjNode:
    case DummyObjNode:
    {
        isPtr = true;
        if(val)
            isPtr = val->getType()->isPointerTy();
        break;
    }
    case RetNode:
    case FunObjNode:
    case HeapObjNode:
    case StackObjNode:
    {
        // to be completed in derived class
        break;
    }
    default:
        assert(false && "var not handled");
        break;
    }
}

◆ ~SVFVar()

virtual SVF::SVFVar::~SVFVar ( )

inlinevirtual

Destructor.

Definition at line 80 of file SVFVariables.h.

80{}

Member Function Documentation

◆ addInEdge()

void SVF::SVFVar::addInEdge ( SVFStmt * inEdge )

inlineprivate

add methods of the components

Definition at line 227 of file SVFVariables.h.

    {
        GEdgeKind kind = inEdge->getEdgeKind();
        InEdgeKindToSetMap[kind].insert(inEdge);
        addIncomingEdge(inEdge);
    }

◆ addOutEdge()

void SVF::SVFVar::addOutEdge ( SVFStmt * outEdge )

inlineprivate

Definition at line 234 of file SVFVariables.h.

    {
        GEdgeKind kind = outEdge->getEdgeKind();
        OutEdgeKindToSetMap[kind].insert(outEdge);
        addOutgoingEdge(outEdge);
    }

◆ classof() [1/3]

static bool SVF::SVFVar::classof ( const GenericPAGNodeTy * node )

inlinestatic

Definition at line 214 of file SVFVariables.h.

    {
        return isSVFVarKind(node->getNodeKind());
    }

◆ classof() [2/3]

static bool SVF::SVFVar::classof ( const SVFBaseNode * node )

inlinestatic

Definition at line 219 of file SVFVariables.h.

    {
        return isSVFVarKind(node->getNodeKind());
    }

◆ classof() [3/3]

static bool SVF::SVFVar::classof ( const SVFVar * )

inlinestatic

Definition at line 209 of file SVFVariables.h.

    {
        return true;
    }

◆ dump()

void SVFVar::dump ( ) const

Dump to console for debugging.

Definition at line 116 of file SVFVariables.cpp.

{
    outs() << this->toString() << "\n";
}

◆ getFunction()

virtual const SVFFunction * SVF::SVFVar::getFunction ( ) const

inlinevirtual

Return the function containing this SVFVar

Returns: The SVFFunction containing this variable, or nullptr if it's a global/constant expression

Reimplemented in SVF::RetPN, and SVF::VarArgPN.

Definition at line 123 of file SVFVariables.h.

    {
        // Return cached function if available
        if(func) return func;
 
        // If we have an associated LLVM value, check its parent function
        if (value)
        {
            // For instructions, return the function containing the parent basic block
            if (auto inst = SVFUtil::dyn_cast<SVFInstruction>(value))
            {
                return inst->getParent()->getParent();
            }
            // For function arguments, return their parent function
            else if (auto arg = SVFUtil::dyn_cast<SVFArgument>(value))
            {
                return arg->getParent();
            }
        }
 
        // Return nullptr for globals/constants with no parent function
        return nullptr;
    }

◆ getIncomingEdges()

SVFStmt::SVFStmtSetTy & SVF::SVFVar::getIncomingEdges ( SVFStmt::PEDGEK kind )

inline

Get incoming SVFIR statements (edges)

Definition at line 148 of file SVFVariables.h.

    {
        return InEdgeKindToSetMap[kind];
    }

◆ getIncomingEdgesBegin()

SVFStmt::SVFStmtSetTy::iterator SVF::SVFVar::getIncomingEdgesBegin ( SVFStmt::PEDGEK kind ) const

inline

Get incoming SVFStmt iterator.

Definition at line 177 of file SVFVariables.h.

    {
        SVFStmt::KindToSVFStmtMapTy::const_iterator it = InEdgeKindToSetMap.find(kind);
        assert(it!=InEdgeKindToSetMap.end() && "The node does not have such kind of edge");
        return it->second.begin();
    }

◆ getIncomingEdgesEnd()

SVFStmt::SVFStmtSetTy::iterator SVF::SVFVar::getIncomingEdgesEnd ( SVFStmt::PEDGEK kind ) const

inline

Get incoming SVFStmt iterator.

Definition at line 185 of file SVFVariables.h.

    {
        SVFStmt::KindToSVFStmtMapTy::const_iterator it = InEdgeKindToSetMap.find(kind);
        assert(it!=InEdgeKindToSetMap.end() && "The node does not have such kind of edge");
        return it->second.end();
    }

◆ getOutgoingEdges()

SVFStmt::SVFStmtSetTy & SVF::SVFVar::getOutgoingEdges ( SVFStmt::PEDGEK kind )

inline

Get outgoing SVFIR statements (edges)

Definition at line 153 of file SVFVariables.h.

    {
        return OutEdgeKindToSetMap[kind];
    }

◆ getOutgoingEdgesBegin()

SVFStmt::SVFStmtSetTy::iterator SVF::SVFVar::getOutgoingEdgesBegin ( SVFStmt::PEDGEK kind ) const

inline

Get outgoing SVFStmt iterator.

Definition at line 193 of file SVFVariables.h.

    {
        SVFStmt::KindToSVFStmtMapTy::const_iterator it = OutEdgeKindToSetMap.find(kind);
        assert(it!=OutEdgeKindToSetMap.end() && "The node does not have such kind of edge");
        return it->second.begin();
    }

◆ getOutgoingEdgesEnd()

SVFStmt::SVFStmtSetTy::iterator SVF::SVFVar::getOutgoingEdgesEnd ( SVFStmt::PEDGEK kind ) const

inline

Get outgoing SVFStmt iterator.

Definition at line 201 of file SVFVariables.h.

    {
        SVFStmt::KindToSVFStmtMapTy::const_iterator it = OutEdgeKindToSetMap.find(kind);
        assert(it!=OutEdgeKindToSetMap.end() && "The node does not have such kind of edge");
        return it->second.end();
    }

◆ getType()

virtual const SVFType * SVF::SVFVar::getType ( ) const

inlinevirtual

Return type of the value.

Reimplemented from SVF::SVFBaseNode.

Reimplemented in SVF::ObjVar, SVF::GepValVar, and SVF::GepObjVar.

Definition at line 96 of file SVFVariables.h.

    {
        return value ? value->getType() : nullptr;
    }

◆ getValue()

const SVFValue * SVF::SVFVar::getValue ( ) const

inline

Get/has methods of the components.

Definition at line 84 of file SVFVariables.h.

    {
        assert(this->getNodeKind() != DummyValNode &&
               this->getNodeKind() != DummyObjNode &&
               "dummy node do not have value!");
        assert(!SymbolTableInfo::isBlkObjOrConstantObj(this->getId()) &&
               "blackhole and constant obj do not have value");
        assert(value && "value is null (GepObjNode whose basenode is a DummyObj?)");
        return value;
    }

◆ getValueName()

virtual const std::string SVF::SVFVar::getValueName ( ) const

pure virtual

Get name of the LLVM value.

Implemented in SVF::ValVar, SVF::ObjVar, SVF::GepValVar, SVF::GepObjVar, SVF::BaseObjVar, SVF::HeapObjVar, SVF::StackObjVar, SVF::RetPN, SVF::VarArgPN, SVF::DummyValVar, and SVF::DummyObjVar.

◆ hasIncomingEdges()

bool SVF::SVFVar::hasIncomingEdges ( SVFStmt::PEDGEK kind ) const

inline

Has incoming SVFIR statements (edges)

Definition at line 158 of file SVFVariables.h.

    {
        SVFStmt::KindToSVFStmtMapTy::const_iterator it = InEdgeKindToSetMap.find(kind);
        if (it != InEdgeKindToSetMap.end())
            return (!it->second.empty());
        else
            return false;
    }

◆ hasIncomingVariantGepEdge()

bool SVF::SVFVar::hasIncomingVariantGepEdge ( ) const

inlineprivate

Has incoming VariantGepEdges.

Definition at line 241 of file SVFVariables.h.

    {
        SVFStmt::KindToSVFStmtMapTy::const_iterator it = InEdgeKindToSetMap.find(SVFStmt::Gep);
        if (it != InEdgeKindToSetMap.end())
        {
            for(auto gep : it->second)
            {
                if(SVFUtil::cast<GepStmt>(gep)->isVariantFieldGep())
                    return true;
            }
        }
        return false;
    }

◆ hasOutgoingEdges()

bool SVF::SVFVar::hasOutgoingEdges ( SVFStmt::PEDGEK kind ) const

inline

Has outgoing SVFIR statements (edges)

Definition at line 167 of file SVFVariables.h.

    {
        SVFStmt::KindToSVFStmtMapTy::const_iterator it = OutEdgeKindToSetMap.find(kind);
        if (it != OutEdgeKindToSetMap.end())
            return (!it->second.empty());
        else
            return false;
    }

◆ hasValue()

bool SVF::SVFVar::hasValue ( ) const

inline

Definition at line 101 of file SVFVariables.h.

    {
        return value != nullptr;
    }

◆ isConstDataOrAggDataButNotNullPtr()

bool SVFVar::isConstDataOrAggDataButNotNullPtr ( ) const

Whether it is constant data, i.e., "0", "1.001", "str" or llvm's metadata, i.e., metadata !4087

Definition at line 464 of file SVFVariables.cpp.

{
    if (hasValue())
        return value->isConstDataOrAggData() && (!SVFUtil::isa<SVFConstantNullPtr>(value)) && (!SVFUtil::isa<SVFBlackHoleValue>(value));
    else
        return false;
}

◆ isIsolatedNode()

bool SVFVar::isIsolatedNode ( ) const

virtual

Whether this is an isolated node on the SVFIR graph.

Reimplemented in SVF::FunObjVar.

Definition at line 97 of file SVFVariables.cpp.

{
    if (getInEdges().empty() && getOutEdges().empty())
        return true;
    else if (isConstDataOrAggDataButNotNullPtr())
        return true;
    else
        return false;
}

◆ isPointer()

virtual bool SVF::SVFVar::isPointer ( ) const

inlinevirtual

Whether it is a pointer.

Definition at line 106 of file SVFVariables.h.

    {
        return isPtr;
    }

◆ toString()

const std::string SVFVar::toString ( ) const

virtual

Reimplemented in SVF::ValVar, SVF::ObjVar, SVF::GepValVar, SVF::GepObjVar, SVF::BaseObjVar, SVF::HeapObjVar, SVF::StackObjVar, SVF::FunValVar, SVF::FunObjVar, SVF::GlobalValVar, SVF::ConstantDataValVar, SVF::BlackHoleVar, SVF::ConstantFPValVar, SVF::ConstantIntValVar, SVF::ConstantNullPtrValVar, SVF::GlobalObjVar, SVF::ConstantDataObjVar, SVF::ConstantFPObjVar, SVF::ConstantIntObjVar, SVF::ConstantNullPtrObjVar, SVF::RetPN, SVF::VarArgPN, SVF::DummyValVar, and SVF::DummyObjVar.

Definition at line 108 of file SVFVariables.cpp.

{
    std::string str;
    std::stringstream rawstr(str);
    rawstr << "SVFVar ID: " << getId();
    return rawstr.str();
}

Friends And Related Symbol Documentation

◆ IRGraph

friend class IRGraph

friend

Definition at line 49 of file SVFVariables.h.

◆ operator<<

OutStream & operator<<	(	OutStream &	o,
		const SVFVar &	node
	)

friend

Overloading operator << for dumping SVFVar value.

Definition at line 264 of file SVFVariables.h.

    {
        o << node.toString();
        return o;
    }

◆ SVFIR

friend class SVFIR

friend

Definition at line 50 of file SVFVariables.h.

◆ SVFIRReader

friend class SVFIRReader

friend

Definition at line 48 of file SVFVariables.h.

◆ SVFIRWriter

friend class SVFIRWriter

friend

Definition at line 47 of file SVFVariables.h.

◆ VFG

friend class VFG

friend

Definition at line 51 of file SVFVariables.h.

Member Data Documentation

◆ func

const SVFFunction* SVF::SVFVar::func

protected

whether it is a pointer (top-level or address-taken)

Definition at line 71 of file SVFVariables.h.

◆ InEdgeKindToSetMap

SVFStmt::KindToSVFStmtMapTy SVF::SVFVar::InEdgeKindToSetMap

protected

Definition at line 68 of file SVFVariables.h.

◆ isPtr

bool SVF::SVFVar::isPtr

protected

Definition at line 70 of file SVFVariables.h.

◆ OutEdgeKindToSetMap

SVFStmt::KindToSVFStmtMapTy SVF::SVFVar::OutEdgeKindToSetMap

protected

Definition at line 69 of file SVFVariables.h.

◆ value

const SVFValue* SVF::SVFVar::value

protected

value of this SVFIR node

Definition at line 67 of file SVFVariables.h.

The documentation for this class was generated from the following files:

/home/runner/work/SVF/SVF/svf/include/SVFIR/SVFVariables.h
/home/runner/work/SVF/SVF/svf/lib/SVFIR/SVFVariables.cpp

Public Types

Public Member Functions

Static Public Member Functions

Protected Member Functions

Protected Attributes

Private Member Functions

Friends

Additional Inherited Members

Detailed Description

Member Typedef Documentation

◆ GEdgeKind

◆ PNODEK

Constructor & Destructor Documentation

◆ SVFVar() [1/2]

◆ SVFVar() [2/2]

◆ ~SVFVar()

Member Function Documentation

◆ addInEdge()

◆ addOutEdge()

◆ classof() [1/3]

◆ classof() [2/3]

◆ classof() [3/3]

◆ dump()

◆ getFunction()

◆ getIncomingEdges()

◆ getIncomingEdgesBegin()

◆ getIncomingEdgesEnd()

◆ getOutgoingEdges()

◆ getOutgoingEdgesBegin()

◆ getOutgoingEdgesEnd()

◆ getType()

◆ getValue()

◆ getValueName()

◆ hasIncomingEdges()

◆ hasIncomingVariantGepEdge()

◆ hasOutgoingEdges()

◆ hasValue()

◆ isConstDataOrAggDataButNotNullPtr()

◆ isIsolatedNode()

◆ isPointer()

◆ toString()

Friends And Related Symbol Documentation

◆ IRGraph

◆ operator<<

◆ SVFIR

◆ SVFIRReader

◆ SVFIRWriter

◆ VFG

Member Data Documentation

◆ func

◆ InEdgeKindToSetMap

◆ isPtr

◆ OutEdgeKindToSetMap

◆ value