|
clang
5.0.0
|
This node builder keeps track of the generated sink nodes. More...
#include "clang/StaticAnalyzer/Core/PathSensitive/CoreEngine.h"
Protected Attributes | |
| SmallVector< ExplodedNode *, 2 > | sinksGenerated |
| ProgramPoint & | Location |
Protected Attributes inherited from clang::ento::NodeBuilder | |
| const NodeBuilderContext & | C |
| bool | Finalized |
| Specifies if the builder results have been finalized. More... | |
| bool | HasGeneratedNodes |
| ExplodedNodeSet & | Frontier |
| The frontier set - a set of nodes which need to be propagated after the builder dies. More... | |
Additional Inherited Members | |
Public Types inherited from clang::ento::NodeBuilder | |
| typedef ExplodedNodeSet::iterator | iterator |
Protected Member Functions inherited from clang::ento::NodeBuilder | |
| virtual bool | checkResults () |
| Checkes if the results are ready. More... | |
| bool | hasNoSinksInFrontier () |
| virtual void | finalizeResults () |
| Allow subclasses to finalize results before result_begin() is executed. More... | |
| ExplodedNode * | generateNodeImpl (const ProgramPoint &PP, ProgramStateRef State, ExplodedNode *Pred, bool MarkAsSink=false) |
This node builder keeps track of the generated sink nodes.
Definition at line 313 of file CoreEngine.h.
|
inline |
Definition at line 320 of file CoreEngine.h.
|
inline |
Definition at line 324 of file CoreEngine.h.
References clang::ento::NodeBuilder::generateNode(), Location, and clang::ProgramPoint::withTag().
Referenced by clang::ento::ExprEngine::processCFGBlockEntrance().
|
inline |
Definition at line 331 of file CoreEngine.h.
References clang::ento::NodeBuilder::generateSink(), clang::ento::ExplodedNode::isSink(), Location, sinksGenerated, and clang::ProgramPoint::withTag().
Referenced by clang::ento::ExprEngine::processCFGBlockEntrance().
|
inline |
Definition at line 340 of file CoreEngine.h.
References sinksGenerated.
|
protected |
Definition at line 317 of file CoreEngine.h.
Referenced by generateNode(), and generateSink().
|
protected |
Definition at line 316 of file CoreEngine.h.
Referenced by generateSink(), and getSinks().
1.8.6