clang: clang::ento::ExplodedNode Class Reference

Inheritance diagram for clang::ento::ExplodedNode:

Public Types
using	succ_iterator = ExplodedNode const

using	succ_range = llvm::iterator_range< succ_iterator >

using	const_succ_iterator = const ExplodedNode const

using	const_succ_range = llvm::iterator_range< const_succ_iterator >

using	pred_iterator = ExplodedNode const

using	pred_range = llvm::iterator_range< pred_iterator >

using	const_pred_iterator = const ExplodedNode const

using	const_pred_range = llvm::iterator_range< const_pred_iterator >

Public Member Functions
	ExplodedNode (const ProgramPoint &loc, ProgramStateRef state, int64_t Id, bool IsSink)

ProgramPoint	getLocation () const
	getLocation - Returns the edge associated with the given node.

const LocationContext *	getLocationContext () const

const StackFrameContext *	getStackFrame () const

const Decl &	getCodeDecl () const

CFG &	getCFG () const

const CFGBlock *	getCFGBlock () const

const ParentMap &	getParentMap () const

template<typename T >
T &	getAnalysis () const

const ProgramStateRef &	getState () const

template<typename T >
std::optional< T >	getLocationAs () const &

SVal	getSVal (const Stmt *S) const
	Get the value of an arbitrary expression at this node.

void	Profile (llvm::FoldingSetNodeID &ID) const

void	addPredecessor (ExplodedNode *V, ExplodedGraph &G)
	addPredeccessor - Adds a predecessor to the current node, and in tandem add this node as a successor of the other node.

unsigned	succ_size () const

unsigned	pred_size () const

bool	succ_empty () const

bool	pred_empty () const

bool	isSink () const

bool	hasSinglePred () const

ExplodedNode *	getFirstPred ()

const ExplodedNode *	getFirstPred () const

ExplodedNode *	getFirstSucc ()

const ExplodedNode *	getFirstSucc () const

pred_iterator	pred_begin ()

pred_iterator	pred_end ()

pred_range	preds ()

const_pred_iterator	pred_begin () const

const_pred_iterator	pred_end () const

const_pred_range

Public Types