#include "clang/StaticAnalyzer/Core/PathSensitive/ExplodedGraph.h"

Inheritance diagram for clang::ento::ExplodedNode:

Collaboration diagram for clang::ento::ExplodedNode:

Public Types
using	succ_iterator = ExplodedNode const

using	const_succ_iterator = const ExplodedNode const

using	pred_iterator = ExplodedNode const

using	const_pred_iterator = const ExplodedNode const

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

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

const LocationContext *	getLocationContext () const

const StackFrameContext *	getStackFrame () const

const Decl &	getCodeDecl () const

CFG &	getCFG () const

ParentMap &	getParentMap () const

template<typename T >
T &	getAnalysis () const

const ProgramStateRef &	getState () const

template<typename T >
Optional< T >	getLocationAs () const LLVM_LVALUE_FUNCTION

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

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. More...

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 ()

const_pred_iterator	pred_begin () const

const_pred_iterator	pred_end () const

succ_iterator	succ_begin ()

succ_iterator	succ_end ()

const_succ_iterator	succ_begin () const

const_succ_iterator	succ_end () const

int64_t	getID (ExplodedGraph *G) const

bool	isTrivial () const
	The node is trivial if it has only one successor, only one predecessor, it's predecessor has only one successor, and its program state is the same as the program state of the previous node. More...

Static Public Member Functions
static void	Profile (llvm::FoldingSetNodeID &ID, const ProgramPoint &Loc, const ProgramStateRef &state, bool IsSink)

Friends
class	BranchNodeBuilder

class	CoreEngine

class	EndOfFunctionNodeBuilder

class	ExplodedGraph

class	IndirectGotoNodeBuilder

class	NodeBuilder

class	SwitchNodeBuilder

Detailed Description

Definition at line 65 of file ExplodedGraph.h.

Member Typedef Documentation

◆ const_pred_iterator

using clang::ento::ExplodedNode::const_pred_iterator = const ExplodedNode * const *

Definition at line 224 of file ExplodedGraph.h.

◆ const_succ_iterator

using clang::ento::ExplodedNode::const_succ_iterator = const ExplodedNode * const *

Definition at line 222 of file ExplodedGraph.h.

◆ pred_iterator

using clang::ento::ExplodedNode::pred_iterator = ExplodedNode * const *

Definition at line 223 of file ExplodedGraph.h.

◆ succ_iterator

using clang::ento::ExplodedNode::succ_iterator = ExplodedNode * const *

Definition at line 221 of file ExplodedGraph.h.

Constructor & Destructor Documentation

◆ ExplodedNode()

clang::ento::ExplodedNode::ExplodedNode	(	const ProgramPoint &	loc,
		ProgramStateRef	state,
		bool	IsSink
	)

inlineexplicit

Definition at line 135 of file ExplodedGraph.h.

References isSink().

Member Function Documentation

◆ addPredecessor()

void ExplodedNode::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.

Definition at line 205 of file ExplodedGraph.cpp.

References clang::ento::ExplodedGraph::getAllocator(), clang::ento::ExplodedGraph::getNodeAllocator(), isSink(), P, and clang::BumpVector< T >::push_back().

Referenced by clang::ento::CoreEngine::enqueueStmtNode(), clang::ento::CoreEngine::ExecuteWorkListWithInitialState(), clang::ento::SwitchNodeBuilder::generateCaseStmtNode(), clang::ento::SwitchNodeBuilder::generateDefaultCaseNode(), clang::ento::IndirectGotoNodeBuilder::generateNode(), clang::ento::NodeBuilder::generateNodeImpl(), clang::ento::ExprEngine::processCallEnter(), clang::ento::ExprEngine::processCallExit(), Profile(), and clang::ento::ExplodedGraph::trim().

◆ getAnalysis()

template<typename T >

T& clang::ento::ExplodedNode::getAnalysis ( ) const

inline

Definition at line 159 of file ExplodedGraph.h.

References clang::LocationContext::getAnalysis(), and getLocationContext().

◆ getCFG()

CFG& clang::ento::ExplodedNode::getCFG ( ) const

inline

Definition at line 154 of file ExplodedGraph.h.

References clang::LocationContext::getCFG(), and getLocationContext().

◆ getCodeDecl()

const Decl& clang::ento::ExplodedNode::getCodeDecl ( ) const

inline

Definition at line 152 of file ExplodedGraph.h.

References clang::LocationContext::getDecl(), and getLocationContext().

◆ getFirstPred() [1/2]

ExplodedNode* clang::ento::ExplodedNode::getFirstPred ( )

inline

Definition at line 204 of file ExplodedGraph.h.

References pred_begin(), and pred_empty().

Referenced by clang::ento::CoreEngine::dispatchWorkItem(), clang::ento::allocation_state::getContainerObjRegion(), getFirstPred(), and clang::ento::mpi::MPIBugReporter::reportUnmatchedWait().

◆ getFirstPred() [2/2]

const ExplodedNode* clang::ento::ExplodedNode::getFirstPred ( ) const

inline

Definition at line 208 of file ExplodedGraph.h.

References getFirstPred().

◆ getFirstSucc() [1/2]

ExplodedNode* clang::ento::ExplodedNode::getFirstSucc ( )

inline

Definition at line 212 of file ExplodedGraph.h.

References succ_begin(), and succ_empty().

Referenced by llvm::GraphTraits< clang::ento::ExplodedGraph * >::child_end(), getFirstSucc(), clang::ento::PathDiagnosticLocation::getNextStmt(), and llvm::GraphTraits< clang::ento::ExplodedGraph * >::predecessorOfTrivial().

◆ getFirstSucc() [2/2]

const ExplodedNode* clang::ento::ExplodedNode::getFirstSucc ( ) const

inline

Definition at line 216 of file ExplodedGraph.h.

References getFirstSucc().

◆ getID()

int64_t ExplodedNode::getID ( ExplodedGraph * G ) const

Definition at line 285 of file ExplodedGraph.cpp.

References clang::ento::ExplodedGraph::getAllocator().

Referenced by succ_end().

◆ getLocation()

ProgramPoint clang::ento::ExplodedNode::getLocation ( ) const

inline

getLocation - Returns the edge associated with the given node.

Definition at line 142 of file ExplodedGraph.h.

Referenced by clang::ento::PathDiagnosticLocation::createEndOfPath(), clang::ento::CoreEngine::dispatchWorkItem(), clang::ento::WorkList::enqueue(), clang::ento::CoreEngine::enqueueStmtNode(), clang::ento::ExprEngine::evalEagerlyAssumeBinOpBifurcation(), clang::ento::CoreEngine::ExecuteWorkList(), getLocationContext(), clang::ento::CheckerContext::getLocationRegionIfPostStore(), clang::ento::StackHintGeneratorForSymbol::getMessage(), getStackFrame(), clang::ento::PathDiagnosticLocation::getStmt(), clang::ento::ExplodedGraph::isInterestingLValueExpr(), clang::ento::WorkList::makeBFSBlockDFSContents(), clang::ento::WorkList::makeUnexploredFirst(), clang::ento::WorkList::makeUnexploredFirstPriorityQueue(), clang::ento::ExprEngine::processCFGBlockEntrance(), clang::ento::ExprEngine::processEndOfFunction(), clang::ento::mpi::MPIBugReporter::reportUnmatchedWait(), clang::ento::ExplodedGraph::trim(), clang::ento::ExprEngine::VisitLogicalExpr(), and clang::ento::ExprEngine::VisitObjCMessage().

◆ getLocationAs()

template<typename T >

Optional<T> clang::ento::ExplodedNode::getLocationAs ( ) const

inline

Definition at line 166 of file ExplodedGraph.h.

References clang::ProgramPoint::getAs().

Referenced by clang::ento::PathDiagnosticLocation::createEndOfPath().

◆ getLocationContext()

const LocationContext* clang::ento::ExplodedNode::getLocationContext ( ) const

inline

Definition at line 144 of file ExplodedGraph.h.

References getLocation(), and clang::ProgramPoint::getLocationContext().

◆ getParentMap()

ParentMap& clang::ento::ExplodedNode::getParentMap ( ) const

inline

Definition at line 156 of file ExplodedGraph.h.

References getLocationContext(), and clang::LocationContext::getParentMap().

◆ getStackFrame()

const StackFrameContext* clang::ento::ExplodedNode::getStackFrame ( ) const

inline

Definition at line 148 of file ExplodedGraph.h.

References getLocation(), and clang::ProgramPoint::getStackFrame().

Referenced by clang::ento::CheckerContext::getStackFrame(), clang::ento::ExprEngine::processCallExit(), and clang::ento::ExprEngine::processEndOfFunction().

◆ getState()

const ProgramStateRef& clang::ento::ExplodedNode::getState ( ) const

inline

Definition at line 163 of file ExplodedGraph.h.

◆ getSVal()

SVal clang::ento::ExplodedNode::getSVal ( const Stmt * S ) const

inline

Get the value of an arbitrary expression at this node.

Definition at line 171 of file ExplodedGraph.h.

Referenced by clang::ento::retaincountchecker::RetainCountChecker::checkPostStmt(), clang::ento::CheckerContext::getCalleeDecl(), clang::ento::StackHintGeneratorForSymbol::getMessage(), and clang::ento::retaincountchecker::RetainCountChecker::processObjCLiterals().

◆ hasSinglePred()

bool clang::ento::ExplodedNode::hasSinglePred ( ) const

inline

Definition at line 200 of file ExplodedGraph.h.

References pred_size().

Referenced by clang::ento::CoreEngine::dispatchWorkItem().

◆ isSink()

bool clang::ento::ExplodedNode::isSink ( ) const

inline

Definition at line 198 of file ExplodedGraph.h.

Referenced by clang::ento::ExplodedNodeSet::Add(), addPredecessor(), clang::ento::CoreEngine::enqueueStmtNode(), ExplodedNode(), clang::ento::ExplodedNodeSet::ExplodedNodeSet(), clang::ento::NodeBuilderWithSinks::generateSink(), Profile(), and clang::ento::ExplodedGraph::trim().

◆ isTrivial()

bool ExplodedNode::isTrivial ( ) const

The node is trivial if it has only one successor, only one predecessor, it's predecessor has only one successor, and its program state is the same as the program state of the previous node.

Trivial nodes may be skipped while printing exploded graph.

Definition at line 289 of file ExplodedGraph.cpp.

Referenced by llvm::GraphTraits< clang::ento::ExplodedGraph * >::predecessorOfTrivial(), and succ_end().

◆ pred_begin() [1/2]

pred_iterator clang::ento::ExplodedNode::pred_begin ( )

inline

Definition at line 226 of file ExplodedGraph.h.

Referenced by alreadyExecutedAtLeastOneLoopIteration(), getFirstPred(), clang::ento::ExplodedGraph::isInterestingLValueExpr(), pred_begin(), clang::ento::ExprEngine::VisitGuardedExpr(), and clang::ento::ExprEngine::VisitLogicalExpr().

◆ pred_begin() [2/2]

const_pred_iterator clang::ento::ExplodedNode::pred_begin ( ) const

inline

Definition at line 229 of file ExplodedGraph.h.

References pred_begin().

◆ pred_empty()

bool clang::ento::ExplodedNode::pred_empty ( ) const

inline

Definition at line 196 of file ExplodedGraph.h.

Referenced by getFirstPred(), and clang::ento::isPossiblyEscaped().

◆ pred_end() [1/2]

pred_iterator clang::ento::ExplodedNode::pred_end ( )

inline

Definition at line 227 of file ExplodedGraph.h.

Referenced by pred_end().

◆ pred_end() [2/2]

const_pred_iterator clang::ento::ExplodedNode::pred_end ( ) const

inline

Definition at line 232 of file ExplodedGraph.h.

References pred_end().

◆ pred_size()

unsigned clang::ento::ExplodedNode::pred_size ( ) const

inline

Definition at line 194 of file ExplodedGraph.h.

Referenced by hasSinglePred(), clang::ento::ExplodedGraph::isInterestingLValueExpr(), and clang::ento::ExprEngine::VisitLogicalExpr().

◆ Profile() [1/2]

static void clang::ento::ExplodedNode::Profile	(	llvm::FoldingSetNodeID &	ID,
		const ProgramPoint &	Loc,
		const ProgramStateRef &	state,
		bool	IsSink
	)

inlinestatic

Definition at line 175 of file ExplodedGraph.h.

Referenced by clang::ento::ExplodedGraph::getNode(), and Profile().

◆ Profile() [2/2]

void clang::ento::ExplodedNode::Profile ( llvm::FoldingSetNodeID & ID ) const

inline

Definition at line 184 of file ExplodedGraph.h.

References addPredecessor(), isSink(), and Profile().

◆ succ_begin() [1/2]

succ_iterator clang::ento::ExplodedNode::succ_begin ( )

inline

Definition at line 236 of file ExplodedGraph.h.

Referenced by llvm::GraphTraits< clang::ento::ExplodedGraph * >::child_begin(), getFirstSucc(), clang::ento::ExplodedGraph::isInterestingLValueExpr(), and succ_begin().

◆ succ_begin() [2/2]

const_succ_iterator clang::ento::ExplodedNode::succ_begin ( ) const

inline

Definition at line 239 of file ExplodedGraph.h.

References succ_begin().

◆ succ_empty()

bool clang::ento::ExplodedNode::succ_empty ( ) const

inline

Definition at line 195 of file ExplodedGraph.h.

Referenced by getFirstSucc().

◆ succ_end() [1/2]

succ_iterator clang::ento::ExplodedNode::succ_end ( )

inline

Definition at line 237 of file ExplodedGraph.h.

Referenced by llvm::GraphTraits< clang::ento::ExplodedGraph * >::child_end(), and succ_end().

◆ succ_end() [2/2]

const_succ_iterator clang::ento::ExplodedNode::succ_end ( ) const

inline

Definition at line 242 of file ExplodedGraph.h.

References getID(), isTrivial(), and succ_end().

◆ succ_size()

unsigned clang::ento::ExplodedNode::succ_size ( ) const

inline

Definition at line 193 of file ExplodedGraph.h.

Referenced by clang::ento::ExplodedGraph::isInterestingLValueExpr(), and llvm::GraphTraits< clang::ento::ExplodedGraph * >::predecessorOfTrivial().

Friends And Related Function Documentation

◆ BranchNodeBuilder

friend class BranchNodeBuilder

friend

Definition at line 66 of file ExplodedGraph.h.

◆ CoreEngine

friend class CoreEngine

friend

Definition at line 67 of file ExplodedGraph.h.

◆ EndOfFunctionNodeBuilder

friend class EndOfFunctionNodeBuilder

friend

Definition at line 68 of file ExplodedGraph.h.

◆ ExplodedGraph

friend class ExplodedGraph

friend

Definition at line 69 of file ExplodedGraph.h.

◆ IndirectGotoNodeBuilder

friend class IndirectGotoNodeBuilder

friend

Definition at line 70 of file ExplodedGraph.h.

◆ NodeBuilder

friend class NodeBuilder

friend

Definition at line 71 of file ExplodedGraph.h.

◆ SwitchNodeBuilder

friend class SwitchNodeBuilder

friend

Definition at line 72 of file ExplodedGraph.h.

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

include/clang/StaticAnalyzer/Core/PathSensitive/ExplodedGraph.h
lib/StaticAnalyzer/Core/ExplodedGraph.cpp

Public Types

Public Member Functions

Static Public Member Functions

Friends

Detailed Description

Member Typedef Documentation

◆ const_pred_iterator

◆ const_succ_iterator

◆ pred_iterator

◆ succ_iterator

Constructor & Destructor Documentation

◆ ExplodedNode()

Member Function Documentation

◆ addPredecessor()

◆ getAnalysis()

◆ getCFG()

◆ getCodeDecl()

◆ getFirstPred() [1/2]

◆ getFirstPred() [2/2]

◆ getFirstSucc() [1/2]

◆ getFirstSucc() [2/2]

◆ getID()

◆ getLocation()

◆ getLocationAs()

◆ getLocationContext()

◆ getParentMap()

◆ getStackFrame()

◆ getState()

◆ getSVal()

◆ hasSinglePred()

◆ isSink()

◆ isTrivial()

◆ pred_begin() [1/2]

◆ pred_begin() [2/2]

◆ pred_empty()

◆ pred_end() [1/2]

◆ pred_end() [2/2]

◆ pred_size()

◆ Profile() [1/2]

◆ Profile() [2/2]

◆ succ_begin() [1/2]

◆ succ_begin() [2/2]

◆ succ_empty()

◆ succ_end() [1/2]

◆ succ_end() [2/2]

◆ succ_size()

Friends And Related Function Documentation

◆ BranchNodeBuilder

◆ CoreEngine

◆ EndOfFunctionNodeBuilder

◆ ExplodedGraph

◆ IndirectGotoNodeBuilder

◆ NodeBuilder

◆ SwitchNodeBuilder