This node builder keeps track of the generated sink nodes. More...
#include <CoreEngine.h>
Public Member Functions | |
| NodeBuilderWithSinks (ExplodedNode *Pred, ExplodedNodeSet &DstSet, const NodeBuilderContext &Ctx, ProgramPoint &L) | |
| ExplodedNode * | generateNode (ProgramStateRef State, ExplodedNode *Pred, const ProgramPointTag *Tag=nullptr) |
| ExplodedNode * | generateSink (ProgramStateRef State, ExplodedNode *Pred, const ProgramPointTag *Tag=nullptr) |
| const SmallVectorImpl < ExplodedNode * > & | getSinks () const |
Protected Attributes | |
| SmallVector< ExplodedNode *, 2 > | sinksGenerated |
| ProgramPoint & | Location |
Detailed Description
This node builder keeps track of the generated sink nodes.
Definition at line 309 of file CoreEngine.h.
Constructor & Destructor Documentation
| clang::ento::NodeBuilderWithSinks::NodeBuilderWithSinks | ( | ExplodedNode * | Pred, |
| ExplodedNodeSet & | DstSet, | ||
| const NodeBuilderContext & | Ctx, | ||
| ProgramPoint & | L | ||
| ) | [inline] |
Definition at line 316 of file CoreEngine.h.
Member Function Documentation
| ExplodedNode* clang::ento::NodeBuilderWithSinks::generateNode | ( | ProgramStateRef | State, |
| ExplodedNode * | Pred, | ||
| const ProgramPointTag * | Tag = nullptr |
||
| ) | [inline] |
Definition at line 320 of file CoreEngine.h.
References Location, and clang::ProgramPoint::withTag().
| ExplodedNode* clang::ento::NodeBuilderWithSinks::generateSink | ( | ProgramStateRef | State, |
| ExplodedNode * | Pred, | ||
| const ProgramPointTag * | Tag = nullptr |
||
| ) | [inline] |
Definition at line 327 of file CoreEngine.h.
References clang::ento::ExplodedNode::isSink(), Location, sinksGenerated, and clang::ProgramPoint::withTag().
Referenced by clang::ento::ExprEngine::processCFGBlockEntrance().
| const SmallVectorImpl<ExplodedNode*>& clang::ento::NodeBuilderWithSinks::getSinks | ( | ) | const [inline] |
Definition at line 336 of file CoreEngine.h.
References sinksGenerated.
Member Data Documentation
ProgramPoint& clang::ento::NodeBuilderWithSinks::Location [protected] |
Definition at line 313 of file CoreEngine.h.
Referenced by generateNode(), and generateSink().
SmallVector<ExplodedNode*, 2> clang::ento::NodeBuilderWithSinks::sinksGenerated [protected] |
Definition at line 312 of file CoreEngine.h.
Referenced by generateSink(), and getSinks().
The documentation for this class was generated from the following files: