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