Home
last modified time | relevance | path

Searched refs:NodeBuilder (Results 1 – 10 of 10) sorted by relevance

/external/clang/include/clang/StaticAnalyzer/Core/PathSensitive/
DCoreEngine.h32 class NodeBuilder; variable
45 friend class NodeBuilder; variable
210 class NodeBuilder {
247 NodeBuilder(ExplodedNode *SrcNode, ExplodedNodeSet &DstSet,
253 NodeBuilder(const ExplodedNodeSet &SrcSet, ExplodedNodeSet &DstSet,
260 virtual ~NodeBuilder() {} in ~NodeBuilder()
312 class NodeBuilderWithSinks: public NodeBuilder {
321 : NodeBuilder(Pred, DstSet, Ctx), Location(L) {} in NodeBuilderWithSinks()
327 return NodeBuilder::generateNode(LocalLoc, State, Pred);
333 ExplodedNode *N = NodeBuilder::generateSink(LocalLoc, State, Pred);
[all …]
DExprEngine.h558 void defaultEvalCall(NodeBuilder &B, ExplodedNode *Pred,
587 bool inlineCall(const CallEvent &Call, const Decl *D, NodeBuilder &Bldr,
592 void conservativeEvalCall(const CallEvent &Call, NodeBuilder &Bldr,
598 const CallEvent &Call, const Decl *D, NodeBuilder &Bldr,
605 void performTrivialCopy(NodeBuilder &Bldr, ExplodedNode *Pred,
DCheckerContext.h80 NodeBuilder &NB;
87 CheckerContext(NodeBuilder &builder,
DExplodedGraph.h58 friend class NodeBuilder; variable
/external/clang/lib/StaticAnalyzer/Core/
DCheckerManager.cpp120 NodeBuilder B(*PrevSet, *CurrSet, BldrCtx); in expandGraphWithCheckers()
153 NodeBuilder &Bldr, ExplodedNode *Pred) { in runChecker()
198 NodeBuilder &Bldr, ExplodedNode *Pred) { in runChecker()
265 NodeBuilder &Bldr, ExplodedNode *Pred) { in runChecker()
309 NodeBuilder &Bldr, ExplodedNode *Pred) { in runChecker()
354 NodeBuilder &Bldr, ExplodedNode *Pred) { in runChecker()
395 NodeBuilder &Bldr, ExplodedNode *Pred) { in runChecker()
425 NodeBuilder Bldr(Pred, Dst, BC); in runCheckersForEndFunction()
452 NodeBuilder &Bldr, ExplodedNode *Pred) { in runChecker()
497 NodeBuilder &Bldr, ExplodedNode *Pred) { in runChecker()
[all …]
DExprEngineCallAndReturn.cpp405 NodeBuilder &Bldr, ExplodedNode *Pred, in REGISTER_TRAIT_WITH_PROGRAMSTATE()
562 void ExprEngine::conservativeEvalCall(const CallEvent &Call, NodeBuilder &Bldr, in conservativeEvalCall()
890 void ExprEngine::defaultEvalCall(NodeBuilder &Bldr, ExplodedNode *Pred, in defaultEvalCall()
943 NodeBuilder &Bldr, ExplodedNode *Pred) { in BifurcateCall()
DCoreEngine.cpp640 void NodeBuilder::anchor() { } in anchor()
642 ExplodedNode* NodeBuilder::generateNodeImpl(const ProgramPoint &Loc, in generateNodeImpl()
DExprEngine.cpp534 NodeBuilder Bldr(Tmp, Dst, *currBldrCtx); in ProcessInitializer()
582 NodeBuilder Bldr(Pred, Dst, *currBldrCtx); in ProcessNewAllocator()
627 NodeBuilder Bldr(Pred, Dst, *currBldrCtx); in ProcessDeleteDtor()
1614 for (NodeBuilder::iterator I = CheckersOutSet.begin(), in processBranch()
DExprEngineCXX.cpp39 void ExprEngine::performTrivialCopy(NodeBuilder &Bldr, ExplodedNode *Pred, in performTrivialCopy()
/external/clang/include/clang/StaticAnalyzer/Core/
DCheckerManager.h44 class NodeBuilder; variable