clang API Documentation
| addNodes(const ExplodedNodeSet &S) | clang::ento::NodeBuilder | [inline] |
| addNodes(ExplodedNode *N) | clang::ento::NodeBuilder | [inline] |
| begin() | clang::ento::NodeBuilder | [inline] |
| C | clang::ento::NodeBuilder | [protected] |
| checkResults() | clang::ento::NodeBuilder | [inline, protected, virtual] |
| end() | clang::ento::NodeBuilder | [inline] |
| Finalized | clang::ento::NodeBuilder | [protected] |
| finalizeResults() | clang::ento::NodeBuilder | [inline, protected, virtual] |
| Frontier | clang::ento::NodeBuilder | [protected] |
| generateNode(const Stmt *S, ExplodedNode *Pred, ProgramStateRef St, const ProgramPointTag *tag=nullptr, ProgramPoint::Kind K=ProgramPoint::PostStmtKind) | clang::ento::StmtNodeBuilder | [inline] |
| clang::ento::NodeBuilder::generateNode(const ProgramPoint &PP, ProgramStateRef State, ExplodedNode *Pred) | clang::ento::NodeBuilder | [inline] |
| generateNodeImpl(const ProgramPoint &PP, ProgramStateRef State, ExplodedNode *Pred, bool MarkAsSink=false) | clang::ento::NodeBuilder | [protected] |
| generateSink(const Stmt *S, ExplodedNode *Pred, ProgramStateRef St, const ProgramPointTag *tag=nullptr, ProgramPoint::Kind K=ProgramPoint::PostStmtKind) | clang::ento::StmtNodeBuilder | [inline] |
| clang::ento::NodeBuilder::generateSink(const ProgramPoint &PP, ProgramStateRef State, ExplodedNode *Pred) | clang::ento::NodeBuilder | [inline] |
| getContext() | clang::ento::NodeBuilder | [inline] |
| getResults() | clang::ento::NodeBuilder | [inline] |
| HasGeneratedNodes | clang::ento::NodeBuilder | [protected] |
| hasGeneratedNodes() | clang::ento::NodeBuilder | [inline] |
| hasNoSinksInFrontier() | clang::ento::NodeBuilder | [inline, protected] |
| iterator typedef | clang::ento::NodeBuilder | |
| NodeBuilder(ExplodedNode *SrcNode, ExplodedNodeSet &DstSet, const NodeBuilderContext &Ctx, bool F=true) | clang::ento::NodeBuilder | [inline] |
| NodeBuilder(const ExplodedNodeSet &SrcSet, ExplodedNodeSet &DstSet, const NodeBuilderContext &Ctx, bool F=true) | clang::ento::NodeBuilder | [inline] |
| StmtNodeBuilder(ExplodedNode *SrcNode, ExplodedNodeSet &DstSet, const NodeBuilderContext &Ctx, NodeBuilder *Enclosing=nullptr) | clang::ento::StmtNodeBuilder | [inline] |
| StmtNodeBuilder(ExplodedNodeSet &SrcSet, ExplodedNodeSet &DstSet, const NodeBuilderContext &Ctx, NodeBuilder *Enclosing=nullptr) | clang::ento::StmtNodeBuilder | [inline] |
| takeNodes(const ExplodedNodeSet &S) | clang::ento::NodeBuilder | [inline] |
| takeNodes(ExplodedNode *N) | clang::ento::NodeBuilder | [inline] |
| ~NodeBuilder() | clang::ento::NodeBuilder | [inline, virtual] |
| ~StmtNodeBuilder() | clang::ento::StmtNodeBuilder | [virtual] |