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

Inheritance diagram for clang::ento::ExplodedNode:

Collaboration diagram for clang::ento::ExplodedNode:

Classes
class	Auditor

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

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

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

static void	SetAuditor (Auditor *A)

Friends
class	BranchNodeBuilder

class	CoreEngine

class	EndOfFunctionNodeBuilder

class	ExplodedGraph

class	IndirectGotoNodeBuilder

class	NodeBuilder

class	SwitchNodeBuilder

Detailed Description

Definition at line 66 of file ExplodedGraph.h.

Member Typedef Documentation

◆ const_pred_iterator

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

Definition at line 221 of file ExplodedGraph.h.

◆ const_succ_iterator

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

Definition at line 219 of file ExplodedGraph.h.

◆ pred_iterator

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

Definition at line 220 of file ExplodedGraph.h.

◆ succ_iterator

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

Definition at line 218 of file ExplodedGraph.h.

Constructor & Destructor Documentation

◆ ExplodedNode()

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

inlineexplicit

Definition at line 136 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 223 of file ExplodedGraph.cpp.

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

Referenced by clang::ento::CoreEngine::enqueueStmtNode(), clang::ento::SwitchNodeBuilder::generateDefaultCaseNode(), clang::ento::NodeBuilder::generateNodeImpl(), clang::ento::ExprEngine::processCallEnter(), clang::ento::ExprEngine::processCallExit(), and Profile().

◆ getAnalysis()

template<typename T >

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

inline

Definition at line 160 of file ExplodedGraph.h.

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

◆ getCFG()

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

inline

Definition at line 155 of file ExplodedGraph.h.

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

Referenced by isInevitablySinking().

◆ getCodeDecl()

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

inline

Definition at line 153 of file ExplodedGraph.h.

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

Referenced by GetAllocationSite(), and clang::ento::CXXSelfAssignmentBRVisitor::VisitNode().

◆ getFirstPred() [1/2]

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

inline

Definition at line 205 of file ExplodedGraph.h.

References pred_begin(), and pred_empty().

Referenced by clang::ento::CoreEngine::dispatchWorkItem(), findExecutedLines(), generatePathDiagnostics(), generatePathDiagnosticsForNode(), getFirstPred(), GetPreviousStmt(), and peelOffOuterExpr().

◆ getFirstPred() [2/2]

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

inline

Definition at line 209 of file ExplodedGraph.h.

References getFirstPred().

◆ getFirstSucc()

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

inline

Definition at line 213 of file ExplodedGraph.h.

References succ_begin(), and succ_empty().

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

◆ getLocation()

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

inline

getLocation - Returns the edge associated with the given node.

Definition at line 143 of file ExplodedGraph.h.

Referenced by alreadyExecutedAtLeastOneLoopIteration(), clang::ento::CoreEngine::dispatchWorkItem(), clang::ento::WorkList::enqueue(), clang::ento::CoreEngine::enqueueStmtNode(), clang::ento::ExprEngine::evalEagerlyAssumeBinOpBifurcation(), clang::ento::CoreEngine::ExecuteWorkList(), findBlockForNode(), generatePathDiagnosticsForNode(), GetAllocationSite(), getLocationContext(), clang::ento::CheckerContext::getLocationRegionIfPostStore(), clang::ento::StackHintGeneratorForSymbol::getMessage(), llvm::DOTGraphTraits< ExplodedNode * >::getNodeLabel(), clang::ento::PathDiagnosticLocation::getStmt(), getStmtBeforeCond(), clang::ento::ExplodedGraph::isInterestingLValueExpr(), isSynthesizedAccessor(), clang::ento::WorkList::makeBFSBlockDFSContents(), clang::ento::WorkList::makeUnexploredFirst(), peelOffOuterExpr(), clang::ento::ExprEngine::processCFGBlockEntrance(), clang::ento::mpi::MPIBugReporter::reportUnmatchedWait(), clang::ento::ExplodedGraph::trim(), clang::ento::ExprEngine::VisitLogicalExpr(), clang::ento::TrackConstraintBRVisitor::VisitNode(), clang::ento::UndefOrNullArgVisitor::VisitNode(), clang::ento::SuppressInlineDefensiveChecksVisitor::VisitNode(), clang::ento::CXXSelfAssignmentBRVisitor::VisitNode(), clang::ento::ConditionBRVisitor::VisitNodeImpl(), and clang::ento::ExprEngine::VisitObjCMessage().

◆ getLocationAs()

template<typename T >

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

inline

Definition at line 167 of file ExplodedGraph.h.

References clang::ProgramPoint::getAs(), and clang::T.

Referenced by findExecutedLines(), isFunctionMacroExpansion(), isInitializationOfVar(), clang::ento::FindLastStoreBRVisitor::VisitNode(), and clang::ento::NilReceiverBRVisitor::VisitNode().

◆ getLocationContext()

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

inline

Definition at line 145 of file ExplodedGraph.h.

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

◆ getParentMap()

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

inline

Definition at line 157 of file ExplodedGraph.h.

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

Referenced by findExecutedLines().

◆ getStackFrame()

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

inline

Definition at line 149 of file ExplodedGraph.h.

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

Referenced by clang::ento::CheckerContext::getStackFrame().

◆ getState()

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

inline

Definition at line 164 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 172 of file ExplodedGraph.h.

Referenced by clang::ento::CheckerContext::getCalleeDecl().

◆ hasSinglePred()

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

inline

Definition at line 201 of file ExplodedGraph.h.

References pred_size().

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

◆ isSink()

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

inline

Definition at line 199 of file ExplodedGraph.h.

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

◆ pred_begin() [1/2]

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

inline

Definition at line 223 of file ExplodedGraph.h.

Referenced by GetAllocationSite(), getAsPointeeSymbol(), 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 226 of file ExplodedGraph.h.

References pred_begin().

◆ pred_empty()

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

inline

Definition at line 197 of file ExplodedGraph.h.

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

◆ pred_end() [1/2]

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

inline

Definition at line 224 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 229 of file ExplodedGraph.h.

References pred_end().

◆ pred_size()

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

inline

Definition at line 195 of file ExplodedGraph.h.

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

◆ Profile() [1/2]

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

inlinestatic

Definition at line 176 of file ExplodedGraph.h.

Referenced by Profile().

◆ Profile() [2/2]

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

inline

Definition at line 185 of file ExplodedGraph.h.

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

◆ SetAuditor()

void ExplodedNode::SetAuditor ( ExplodedNode::Auditor * A )

static

Definition at line 49 of file ExplodedGraph.cpp.

References clang::ento::ExplodedGraph::ExplodedGraph(), and clang::ento::ExplodedGraph::~ExplodedGraph().

◆ succ_begin() [1/2]

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

inline

Definition at line 233 of file ExplodedGraph.h.

Referenced by llvm::GraphTraits< clang::ento::ExplodedNode * >::child_begin(), llvm::GraphTraits< const clang::ento::ExplodedNode * >::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 236 of file ExplodedGraph.h.

References succ_begin().

◆ succ_empty()

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

inline

Definition at line 196 of file ExplodedGraph.h.

Referenced by getFirstSucc().

◆ succ_end() [1/2]

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

inline

Definition at line 234 of file ExplodedGraph.h.

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

◆ succ_end() [2/2]

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

inline

Definition at line 239 of file ExplodedGraph.h.

References succ_end().

◆ succ_size()

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

inline

Definition at line 194 of file ExplodedGraph.h.

Referenced by clang::ento::ExplodedGraph::isInterestingLValueExpr().

Friends And Related Function Documentation

◆ BranchNodeBuilder

friend class BranchNodeBuilder

friend

Definition at line 67 of file ExplodedGraph.h.

◆ CoreEngine

friend class CoreEngine

friend

Definition at line 68 of file ExplodedGraph.h.

◆ EndOfFunctionNodeBuilder

friend class EndOfFunctionNodeBuilder

friend

Definition at line 69 of file ExplodedGraph.h.

◆ ExplodedGraph

friend class ExplodedGraph

friend

Definition at line 70 of file ExplodedGraph.h.

◆ IndirectGotoNodeBuilder

friend class IndirectGotoNodeBuilder

friend

Definition at line 71 of file ExplodedGraph.h.

◆ NodeBuilder

friend class NodeBuilder

friend

Definition at line 72 of file ExplodedGraph.h.

◆ SwitchNodeBuilder

friend class SwitchNodeBuilder

friend

Definition at line 73 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

Classes

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

◆ getLocation()

◆ getLocationAs()

◆ getLocationContext()

◆ getParentMap()

◆ getStackFrame()

◆ getState()

◆ getSVal()

◆ hasSinglePred()

◆ isSink()

◆ 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]

◆ SetAuditor()

◆ 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