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
208 class NodeBuilder {
245 NodeBuilder(ExplodedNode *SrcNode, ExplodedNodeSet &DstSet,
251 NodeBuilder(const ExplodedNodeSet &SrcSet, ExplodedNodeSet &DstSet,
258 virtual ~NodeBuilder() {} in ~NodeBuilder()
310 class NodeBuilderWithSinks: public NodeBuilder {
319 : NodeBuilder(Pred, DstSet, Ctx), Location(L) {} in NodeBuilderWithSinks()
325 return NodeBuilder::generateNode(LocalLoc, State, Pred);
331 ExplodedNode *N = NodeBuilder::generateSink(LocalLoc, State, Pred);
[all …]
DExprEngine.h511 void defaultEvalCall(NodeBuilder &B, ExplodedNode *Pred,
540 bool inlineCall(const CallEvent &Call, const Decl *D, NodeBuilder &Bldr,
545 void conservativeEvalCall(const CallEvent &Call, NodeBuilder &Bldr,
551 const CallEvent &Call, const Decl *D, NodeBuilder &Bldr,
558 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.cpp414 NodeBuilder &Bldr, ExplodedNode *Pred, in REGISTER_TRAIT_WITH_PROGRAMSTATE()
571 void ExprEngine::conservativeEvalCall(const CallEvent &Call, NodeBuilder &Bldr, in conservativeEvalCall()
767 void ExprEngine::defaultEvalCall(NodeBuilder &Bldr, ExplodedNode *Pred, in defaultEvalCall()
820 NodeBuilder &Bldr, ExplodedNode *Pred) { in BifurcateCall()
DCoreEngine.cpp583 void NodeBuilder::anchor() { } in anchor()
585 ExplodedNode* NodeBuilder::generateNodeImpl(const ProgramPoint &Loc, in generateNodeImpl()
DExprEngineCXX.cpp53 void ExprEngine::performTrivialCopy(NodeBuilder &Bldr, ExplodedNode *Pred, in performTrivialCopy()
DExprEngine.cpp454 NodeBuilder Bldr(Tmp, Dst, *currBldrCtx); in ProcessInitializer()
1286 for (NodeBuilder::iterator I = CheckersOutSet.begin(), in processBranch()
/external/clang/include/clang/StaticAnalyzer/Core/
DCheckerManager.h43 class NodeBuilder; variable