| /freebsd/contrib/llvm-project/clang/include/clang/StaticAnalyzer/Core/PathSensitive/ |
| H A D | CoreEngine.h | 55 friend class NodeBuilder; variable
240 class NodeBuilder {
277 NodeBuilder(ExplodedNode *SrcNode, ExplodedNodeSet &DstSet,
283 NodeBuilder(const ExplodedNodeSet &SrcSet, ExplodedNodeSet &DstSet,
290 virtual ~NodeBuilder() = default;
347 class NodeBuilderWithSinks: public NodeBuilder {
357 : NodeBuilder(Pred, DstSet, Ctx), Location(L) {} in NodeBuilderWithSinks()
363 return NodeBuilder::generateNode(LocalLoc, State, Pred);
369 ExplodedNode *N = NodeBuilder::generateSink(LocalLoc, State, Pred);
384 class StmtNodeBuilder: public NodeBuilder {
[all …]
|
| H A D | ExprEngine.h | 716 void defaultEvalCall(NodeBuilder &B, ExplodedNode *Pred,
851 NodeBuilder &Bldr, ExplodedNode *Pred, ProgramStateRef State);
853 void ctuBifurcate(const CallEvent &Call, const Decl *D, NodeBuilder &Bldr,
861 void conservativeEvalCall(const CallEvent &Call, NodeBuilder &Bldr,
867 const CallEvent &Call, const Decl *D, NodeBuilder &Bldr,
874 void performTrivialCopy(NodeBuilder &Bldr, ExplodedNode *Pred,
|
| H A D | CheckerContext.h | 34 NodeBuilder &NB;
41 CheckerContext(NodeBuilder &builder,
|
| H A D | ExplodedGraph.h | 72 friend class NodeBuilder; variable
|
| H A D | ProgramState.h | 81 friend class NodeBuilder; variable
|
| /freebsd/contrib/llvm-project/clang/lib/StaticAnalyzer/Core/ |
| H A D | CheckerManager.cpp | 122 NodeBuilder B(*PrevSet, *CurrSet, BldrCtx); in expandGraphWithCheckers()
162 NodeBuilder &Bldr, ExplodedNode *Pred) { in runChecker()
213 NodeBuilder &Bldr, ExplodedNode *Pred) { in runChecker()
286 NodeBuilder &Bldr, ExplodedNode *Pred) { in runChecker()
337 NodeBuilder &Bldr, ExplodedNode *Pred) { in runChecker()
389 NodeBuilder &Bldr, ExplodedNode *Pred) { in runChecker()
437 void runChecker(CheckBlockEntranceFunc CheckFn, NodeBuilder &Bldr, in runChecker()
481 NodeBuilder &Bldr, ExplodedNode *Pred) { in runChecker()
514 NodeBuilder Bldr(Pred, Dst, BC); in runCheckersForEndFunction()
541 NodeBuilder &Bldr, ExplodedNode *Pred) { in runChecker()
[all …]
|
| H A D | CoreEngine.cpp | 284 NodeBuilder Bldr(Pred, Dst, BuilderCtx); in HandleBlockEdge()
323 NodeBuilderWithSinks NodeBuilder(Pred, DstNodes, BuilderCtx, BE); in HandleBlockEdge() local
324 ExprEng.processCFGBlockEntrance(L, NodeBuilder, Pred); in HandleBlockEdge()
327 if (!NodeBuilder.hasGeneratedNodes()) { in HandleBlockEdge()
328 NodeBuilder.generateNode(Pred->State, Pred); in HandleBlockEdge()
687 void NodeBuilder::anchor() {} in anchor()
689 ExplodedNode* NodeBuilder::generateNodeImpl(const ProgramPoint &Loc, in generateNodeImpl()
|
| H A D | ExprEngineCallAndReturn.cpp | 503 NodeBuilder &Bldr, ExplodedNode *Pred, in REGISTER_MAP_WITH_PROGRAMSTATE()
531 const Decl *D, NodeBuilder &Bldr, in inlineCall()
665 NodeBuilder B(Pred, Dst, *currBldrCtx); in finishArgumentConstruction()
711 NodeBuilder B(I, Dst, *currBldrCtx); in evalCall()
831 void ExprEngine::conservativeEvalCall(const CallEvent &Call, NodeBuilder &Bldr, in conservativeEvalCall()
1214 void ExprEngine::defaultEvalCall(NodeBuilder &Bldr, ExplodedNode *Pred, in defaultEvalCall()
1272 NodeBuilder &Bldr, ExplodedNode *Pred) { in BifurcateCall()
|
| H A D | ExprEngine.cpp | 1149 NodeBuilder Bldr(Pred, Dst, *currBldrCtx); in ProcessLoopExit()
1189 NodeBuilder Bldr(Pred, Tmp, *currBldrCtx); in ProcessInitializer()
1244 NodeBuilder Bldr(Tmp, Dst, *currBldrCtx); in ProcessInitializer()
1329 NodeBuilder Bldr(Pred, Dst, *currBldrCtx); in ProcessNewAllocator()
1382 NodeBuilder Bldr(Pred, Dst, *currBldrCtx); in ProcessAutomaticObjDtor()
1394 NodeBuilder Bldr(Pred, Dst, getBuilderContext()); in ProcessAutomaticObjDtor()
1428 NodeBuilder Bldr(Pred, Dst, *currBldrCtx); in ProcessDeleteDtor()
1462 NodeBuilder Bldr(Pred, Dst, *currBldrCtx); in ProcessDeleteDtor()
1472 NodeBuilder Bldr(Pred, Dst, getBuilderContext()); in ProcessDeleteDtor()
1538 NodeBuilder Bldr(Pred, Dst, *currBldrCtx); in ProcessMemberDtor()
[all …]
|
| H A D | ExprEngineCXX.cpp | 47 void ExprEngine::performTrivialCopy(NodeBuilder &Bldr, ExplodedNode *Pred, in performTrivialCopy()
849 NodeBuilder Bldr(Pred, Dst, *currBldrCtx); in VisitCXXDestructor()
865 NodeBuilder Bldr(Pred, Dst, *currBldrCtx); in VisitCXXDestructor()
|