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
207 class NodeBuilder {
244 NodeBuilder(ExplodedNode *SrcNode, ExplodedNodeSet &DstSet,
250 NodeBuilder(const ExplodedNodeSet &SrcSet, ExplodedNodeSet &DstSet,
257 virtual ~NodeBuilder() {} in ~NodeBuilder()
309 class NodeBuilderWithSinks: public NodeBuilder {
318 : NodeBuilder(Pred, DstSet, Ctx), Location(L) {} in NodeBuilderWithSinks()
324 return NodeBuilder::generateNode(LocalLoc, State, Pred);
330 ExplodedNode *N = NodeBuilder::generateSink(LocalLoc, State, Pred);
[all …]
DExprEngine.h543 void defaultEvalCall(NodeBuilder &B, ExplodedNode *Pred,
572 bool inlineCall(const CallEvent &Call, const Decl *D, NodeBuilder &Bldr,
577 void conservativeEvalCall(const CallEvent &Call, NodeBuilder &Bldr,
583 const CallEvent &Call, const Decl *D, NodeBuilder &Bldr,
590 void performTrivialCopy(NodeBuilder &Bldr, ExplodedNode *Pred,
DCheckerContext.h80 NodeBuilder &NB;
87 CheckerContext(NodeBuilder &builder,
DExplodedGraph.h57 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()
195 NodeBuilder &Bldr, ExplodedNode *Pred) { in runChecker()
238 NodeBuilder &Bldr, ExplodedNode *Pred) { in runChecker()
282 NodeBuilder &Bldr, ExplodedNode *Pred) { in runChecker()
327 NodeBuilder &Bldr, ExplodedNode *Pred) { in runChecker()
364 NodeBuilder Bldr(Pred, Dst, BC); in runCheckersForEndFunction()
391 NodeBuilder &Bldr, ExplodedNode *Pred) { in runChecker()
436 NodeBuilder &Bldr, ExplodedNode *Pred) { in runChecker()
535 NodeBuilder B(Pred, checkDst, Eng.getBuilderContext()); in runCheckersForEvalCall()
[all …]
DExprEngineCallAndReturn.cpp417 NodeBuilder &Bldr, ExplodedNode *Pred, in REGISTER_TRAIT_WITH_PROGRAMSTATE()
574 void ExprEngine::conservativeEvalCall(const CallEvent &Call, NodeBuilder &Bldr, in conservativeEvalCall()
900 void ExprEngine::defaultEvalCall(NodeBuilder &Bldr, ExplodedNode *Pred, in defaultEvalCall()
953 NodeBuilder &Bldr, ExplodedNode *Pred) { in BifurcateCall()
DCoreEngine.cpp623 void NodeBuilder::anchor() { } in anchor()
625 ExplodedNode* NodeBuilder::generateNodeImpl(const ProgramPoint &Loc, in generateNodeImpl()
DExprEngineCXX.cpp39 void ExprEngine::performTrivialCopy(NodeBuilder &Bldr, ExplodedNode *Pred, in performTrivialCopy()
DExprEngine.cpp528 NodeBuilder Bldr(Tmp, Dst, *currBldrCtx); in ProcessInitializer()
576 NodeBuilder Bldr(Pred, Dst, *currBldrCtx); in ProcessNewAllocator()
621 NodeBuilder Bldr(Pred, Dst, *currBldrCtx); in ProcessDeleteDtor()
1552 for (NodeBuilder::iterator I = CheckersOutSet.begin(), in processBranch()
/external/clang/include/clang/StaticAnalyzer/Core/
DCheckerManager.h43 class NodeBuilder; variable