|
|
reference, declaration → definition
definition → references, declarations, derived classes, virtual overrides
reference to multiple definitions → definitions
unreferenced
|
Declarations
tools/clang/include/clang/StaticAnalyzer/Core/CheckerManager.h 46 class ExplodedNodeSet;
tools/clang/include/clang/StaticAnalyzer/Core/PathSensitive/SubEngine.h 34 class ExplodedNodeSet;
References
tools/clang/include/clang/StaticAnalyzer/Core/CheckerManager.h 205 void runCheckersForPreStmt(ExplodedNodeSet &Dst,
206 const ExplodedNodeSet &Src,
218 void runCheckersForPostStmt(ExplodedNodeSet &Dst,
219 const ExplodedNodeSet &Src,
228 ExplodedNodeSet &Dst, const ExplodedNodeSet &Src,
228 ExplodedNodeSet &Dst, const ExplodedNodeSet &Src,
233 void runCheckersForPreObjCMessage(ExplodedNodeSet &Dst,
234 const ExplodedNodeSet &Src,
241 void runCheckersForPostObjCMessage(ExplodedNodeSet &Dst,
242 const ExplodedNodeSet &Src,
251 void runCheckersForObjCMessageNil(ExplodedNodeSet &Dst,
252 const ExplodedNodeSet &Src,
261 ExplodedNodeSet &Dst,
262 const ExplodedNodeSet &Src,
267 void runCheckersForPreCall(ExplodedNodeSet &Dst, const ExplodedNodeSet &Src,
267 void runCheckersForPreCall(ExplodedNodeSet &Dst, const ExplodedNodeSet &Src,
273 void runCheckersForPostCall(ExplodedNodeSet &Dst, const ExplodedNodeSet &Src,
273 void runCheckersForPostCall(ExplodedNodeSet &Dst, const ExplodedNodeSet &Src,
281 void runCheckersForCallEvent(bool isPreVisit, ExplodedNodeSet &Dst,
282 const ExplodedNodeSet &Src,
287 void runCheckersForLocation(ExplodedNodeSet &Dst,
288 const ExplodedNodeSet &Src,
296 void runCheckersForBind(ExplodedNodeSet &Dst,
297 const ExplodedNodeSet &Src,
307 void runCheckersForBeginFunction(ExplodedNodeSet &Dst,
314 ExplodedNodeSet &Dst,
321 ExplodedNodeSet &Dst, ExplodedNode *Pred,
326 ExplodedNodeSet &Dst,
344 void runCheckersForDeadSymbols(ExplodedNodeSet &Dst,
345 const ExplodedNodeSet &Src,
398 void runCheckersForEvalCall(ExplodedNodeSet &Dst,
399 const ExplodedNodeSet &Src,
tools/clang/include/clang/StaticAnalyzer/Core/PathSensitive/CoreEngine.h 151 ExplodedNodeSet &Dst);
190 void enqueue(ExplodedNodeSet &Set);
194 void enqueue(ExplodedNodeSet &Set, const CFGBlock *Block, unsigned Idx);
198 void enqueueEndOfFunction(ExplodedNodeSet &Set, const ReturnStmt *RS);
250 ExplodedNodeSet &Frontier;
273 NodeBuilder(ExplodedNode *SrcNode, ExplodedNodeSet &DstSet,
279 NodeBuilder(const ExplodedNodeSet &SrcSet, ExplodedNodeSet &DstSet,
279 NodeBuilder(const ExplodedNodeSet &SrcSet, ExplodedNodeSet &DstSet,
306 const ExplodedNodeSet &getResults() {
312 using iterator = ExplodedNodeSet::iterator;
329 void takeNodes(const ExplodedNodeSet &S) {
335 void addNodes(const ExplodedNodeSet &S) { Frontier.insert(S); }
349 NodeBuilderWithSinks(ExplodedNode *Pred, ExplodedNodeSet &DstSet,
385 StmtNodeBuilder(ExplodedNode *SrcNode, ExplodedNodeSet &DstSet,
393 StmtNodeBuilder(ExplodedNodeSet &SrcSet, ExplodedNodeSet &DstSet,
393 StmtNodeBuilder(ExplodedNodeSet &SrcSet, ExplodedNodeSet &DstSet,
440 BranchNodeBuilder(ExplodedNode *SrcNode, ExplodedNodeSet &DstSet,
450 BranchNodeBuilder(const ExplodedNodeSet &SrcSet, ExplodedNodeSet &DstSet,
450 BranchNodeBuilder(const ExplodedNodeSet &SrcSet, ExplodedNodeSet &DstSet,
tools/clang/include/clang/StaticAnalyzer/Core/PathSensitive/ExplodedGraph.h 488 void insert(const ExplodedNodeSet &S) {
tools/clang/include/clang/StaticAnalyzer/Core/PathSensitive/ExprEngine.h 177 ExplodedNodeSet &Dst) {
211 void enqueueEndOfPath(ExplodedNodeSet &S);
265 void removeDead(ExplodedNode *Node, ExplodedNodeSet &Out,
286 ExplodedNode *Pred, ExplodedNodeSet &Dst);
288 ExplodedNode *Pred, ExplodedNodeSet &Dst);
290 ExplodedNode *Pred, ExplodedNodeSet &Dst);
292 ExplodedNode *Pred, ExplodedNodeSet &Dst);
294 ExplodedNode *Pred, ExplodedNodeSet &Dst);
306 ExplodedNodeSet &Dst,
315 ExplodedNode *Pred, ExplodedNodeSet &Dst,
324 ExplodedNodeSet &Dst,
339 ExplodedNode *Pred, ExplodedNodeSet &Dst,
351 ExplodedNodeSet &Dst);
413 void Visit(const Stmt *S, ExplodedNode *Pred, ExplodedNodeSet &Dst);
418 ExplodedNodeSet &Dst);
422 ExplodedNodeSet &Dst);
426 ExplodedNodeSet &Dst);
430 ExplodedNodeSet &Dst);
434 ExplodedNodeSet &Dst);
438 ExplodedNodeSet &Dst);
443 ExplodedNodeSet &Dst);
447 ExplodedNodeSet &Dst);
451 ExplodedNode *Pred, ExplodedNodeSet &Dst);
455 ExplodedNode *Pred, ExplodedNodeSet &Dst);
459 ExplodedNodeSet &Dst);
463 ExplodedNode *Pred, ExplodedNodeSet &Dst);
466 ExplodedNodeSet &Dst);
470 ExplodedNodeSet &Dst);
474 ExplodedNodeSet &Dst);
478 ExplodedNodeSet &Dst);
482 ExplodedNode *Pred, ExplodedNodeSet &Dst);
486 ExplodedNodeSet &Dst);
491 ExplodedNode *Pred, ExplodedNodeSet &Dst);
494 ExplodedNodeSet &Dst);
498 ExplodedNodeSet &Dst);
502 ExplodedNodeSet &Dst);
506 ExplodedNode *Pred, ExplodedNodeSet &Dst);
510 ExplodedNodeSet &Dst);
515 ExplodedNodeSet &Dst);
518 ExplodedNodeSet &PreVisit,
519 ExplodedNodeSet &Dst);
522 ExplodedNodeSet &Dst);
525 ExplodedNodeSet & Dst);
528 ExplodedNodeSet &Dst);
532 ExplodedNode *Pred, ExplodedNodeSet &Dst,
537 ExplodedNodeSet &Dst);
540 ExplodedNodeSet &Dst);
543 ExplodedNodeSet &Dst);
548 ExplodedNodeSet &Dst);
553 void evalEagerlyAssumeBinOpBifurcation(ExplodedNodeSet &Dst, ExplodedNodeSet &Src,
553 void evalEagerlyAssumeBinOpBifurcation(ExplodedNodeSet &Dst, ExplodedNodeSet &Src,
579 void handleUOExtension(ExplodedNodeSet::iterator I,
611 void evalBind(ExplodedNodeSet &Dst, const Stmt *StoreE, ExplodedNode *Pred,
642 void evalLoad(ExplodedNodeSet &Dst,
653 void evalStore(ExplodedNodeSet &Dst, const Expr *AssignE, const Expr *StoreE,
671 void evalCall(ExplodedNodeSet &Dst, ExplodedNode *Pred,
682 void finishArgumentConstruction(ExplodedNodeSet &Dst, ExplodedNode *Pred,
685 void evalLoadCommon(ExplodedNodeSet &Dst,
694 void evalLocation(ExplodedNodeSet &Dst,
tools/clang/include/clang/StaticAnalyzer/Core/PathSensitive/SubEngine.h 77 ExplodedNodeSet &Dst,
87 ExplodedNodeSet &Dst,
96 ExplodedNodeSet &Dst,
112 ExplodedNodeSet &Dst,
tools/clang/lib/StaticAnalyzer/Core/CheckerManager.cpp 112 ExplodedNodeSet &Dst,
113 const ExplodedNodeSet &Src) {
125 ExplodedNodeSet Tmp1, Tmp2;
126 const ExplodedNodeSet *PrevSet = &Src;
129 ExplodedNodeSet *CurrSet = nullptr;
185 ExplodedNodeSet &Dst,
186 const ExplodedNodeSet &Src,
241 ExplodedNodeSet &Dst,
242 const ExplodedNodeSet &Src,
299 ExplodedNodeSet &Dst,
300 const ExplodedNodeSet &Src,
350 void CheckerManager::runCheckersForLocation(ExplodedNodeSet &Dst,
351 const ExplodedNodeSet &Src,
393 void CheckerManager::runCheckersForBind(ExplodedNodeSet &Dst,
394 const ExplodedNodeSet &Src,
436 void CheckerManager::runCheckersForBeginFunction(ExplodedNodeSet &Dst,
440 ExplodedNodeSet Src;
450 ExplodedNodeSet &Dst,
495 ExplodedNodeSet &Dst,
498 ExplodedNodeSet Src;
534 const CXXNewExpr *NE, SVal Target, ExplodedNodeSet &Dst, ExplodedNode *Pred,
536 ExplodedNodeSet Src;
584 void CheckerManager::runCheckersForDeadSymbols(ExplodedNodeSet &Dst,
585 const ExplodedNodeSet &Src,
650 void CheckerManager::runCheckersForEvalCall(ExplodedNodeSet &Dst,
651 const ExplodedNodeSet &Src,
657 ExplodedNodeSet checkDst;
tools/clang/lib/StaticAnalyzer/Core/CoreEngine.cpp 115 ExplodedNodeSet DstBegin;
200 ExplodedNodeSet &Dst) {
231 ExplodedNodeSet Dst;
263 ExplodedNodeSet dstNodes;
428 ExplodedNodeSet Dst;
440 ExplodedNodeSet Dst;
451 ExplodedNodeSet Dst;
577 void CoreEngine::enqueue(ExplodedNodeSet &Set) {
582 void CoreEngine::enqueue(ExplodedNodeSet &Set,
588 void CoreEngine::enqueueEndOfFunction(ExplodedNodeSet &Set, const ReturnStmt *RS) {
tools/clang/lib/StaticAnalyzer/Core/ExprEngine.cpp 689 void ExprEngine::removeDead(ExplodedNode *Pred, ExplodedNodeSet &Out,
738 ExplodedNodeSet CheckedSet;
777 ExplodedNodeSet CleanedStates;
786 ExplodedNodeSet Dst;
788 ExplodedNodeSet DstI;
802 ExplodedNodeSet Dst;
833 ExplodedNodeSet Tmp;
893 ExplodedNodeSet Dst;
906 ExplodedNodeSet Dst;
933 ExplodedNodeSet Dst;
952 ExplodedNodeSet &Dst) {
986 ExplodedNodeSet &Dst) {
1025 ExplodedNode *Pred, ExplodedNodeSet &Dst) {
1045 ExplodedNode *Pred, ExplodedNodeSet &Dst) {
1070 ExplodedNodeSet &Dst) {
1099 ExplodedNodeSet CleanDtorState;
1132 ExplodedNodeSet &Dst,
1148 ExplodedNodeSet &PreVisit,
1149 ExplodedNodeSet &Dst) {
1197 ExplodedNodeSet &DstTop) {
1200 ExplodedNodeSet Dst;
1343 ExplodedNodeSet PreVisit;
1345 ExplodedNodeSet Next;
1403 ExplodedNodeSet preVisit;
1413 ExplodedNodeSet PreVisit;
1416 ExplodedNodeSet Tmp;
1460 ExplodedNodeSet preVisit;
1463 ExplodedNodeSet Tmp;
1551 ExplodedNodeSet Tmp;
1611 ExplodedNodeSet PreVisit;
1614 ExplodedNodeSet PostVisit;
1625 ExplodedNodeSet PreVisit;
1698 ExplodedNodeSet dstExpr;
1710 ExplodedNodeSet dstPrevisit;
1712 ExplodedNodeSet dstExpr;
1771 ExplodedNodeSet PreVisit;
1774 ExplodedNodeSet PostVisit;
1815 ExplodedNodeSet Tmp;
2090 ExplodedNodeSet &Dst,
2115 ExplodedNodeSet CheckersOutSet;
2188 ExplodedNodeSet &Dst,
2254 ExplodedNodeSet &Dst,
2302 ExplodedNodeSet PostCleanup;
2318 ExplodedNodeSet Dst;
2321 ExplodedNodeSet AfterRemovedDead;
2421 ExplodedNodeSet &Dst) {
2512 ExplodedNodeSet &Dst){
2516 ExplodedNodeSet CheckerPreStmt;
2519 ExplodedNodeSet EvalSet;
2562 ExplodedNodeSet &Dst) {
2564 ExplodedNodeSet CheckedSet;
2567 ExplodedNodeSet EvalSet;
2577 ExplodedNodeSet Tmp;
2642 ExplodedNodeSet &Dst) {
2643 ExplodedNodeSet AfterPreSet;
2649 ExplodedNodeSet AfterInvalidateSet;
2759 void ExprEngine::evalBind(ExplodedNodeSet &Dst, const Stmt *StoreE,
2769 ExplodedNodeSet CheckedSet;
2816 void ExprEngine::evalStore(ExplodedNodeSet &Dst, const Expr *AssignE,
2826 ExplodedNodeSet Tmp;
2839 void ExprEngine::evalLoad(ExplodedNodeSet &Dst,
2851 ExplodedNodeSet Tmp;
2877 void ExprEngine::evalLocation(ExplodedNodeSet &Dst,
2890 ExplodedNodeSet Src;
2906 ExplodedNodeSet Tmp;
2923 void ExprEngine::evalEagerlyAssumeBinOpBifurcation(ExplodedNodeSet &Dst,
2924 ExplodedNodeSet &Src,
2965 ExplodedNodeSet &Dst) {
2988 ExplodedNodeSet &Dst) {
tools/clang/lib/StaticAnalyzer/Core/ExprEngineC.cpp 42 ExplodedNodeSet &Dst) {
48 ExplodedNodeSet CheckedSet;
49 ExplodedNodeSet Tmp2;
53 for (ExplodedNodeSet::iterator it=CheckedSet.begin(), ei=CheckedSet.end();
132 ExplodedNodeSet Tmp;
136 for (ExplodedNodeSet::iterator I = Tmp.begin(), E = Tmp.end(); I != E;
197 ExplodedNodeSet &Dst) {
249 ExplodedNodeSet Tmp;
302 ExplodedNode *Pred, ExplodedNodeSet &Dst) {
304 ExplodedNodeSet dstPreStmt;
308 for (ExplodedNodeSet::iterator I = dstPreStmt.begin(), E = dstPreStmt.end();
326 for (ExplodedNodeSet::iterator I = dstPreStmt.begin(), E = dstPreStmt.end();
551 ExplodedNodeSet &Dst) {
575 ExplodedNodeSet &Dst) {
586 ExplodedNodeSet dstPreVisit;
589 ExplodedNodeSet dstEvaluated;
591 for (ExplodedNodeSet::iterator I = dstPreVisit.begin(), E = dstPreVisit.end();
625 ExplodedNodeSet Dst2;
639 ExplodedNodeSet &Dst) {
734 ExplodedNodeSet &Dst) {
785 ExplodedNodeSet &Dst) {
847 ExplodedNode *Pred, ExplodedNodeSet &Dst) {
867 ExplodedNodeSet &Dst) {
869 ExplodedNodeSet CheckedSet;
872 ExplodedNodeSet EvalSet;
877 for (ExplodedNodeSet::iterator I = CheckedSet.begin(), E = CheckedSet.end();
907 void ExprEngine::handleUOExtension(ExplodedNodeSet::iterator I,
925 ExplodedNodeSet &Dst) {
927 ExplodedNodeSet CheckedSet;
930 ExplodedNodeSet EvalSet;
933 for (ExplodedNodeSet::iterator I = CheckedSet.begin(), E = CheckedSet.end();
938 ExplodedNodeSet Tmp;
1062 ExplodedNodeSet &Dst) {
1072 ExplodedNodeSet Tmp;
1075 ExplodedNodeSet Dst2;
1077 for (ExplodedNodeSet::iterator I=Tmp.begin(), E=Tmp.end();I!=E;++I) {
1089 ExplodedNodeSet Dst3;
1157 ExplodedNodeSet Dst3;
tools/clang/lib/StaticAnalyzer/Core/ExprEngineCXX.cpp 28 ExplodedNodeSet &Dst) {
70 ExplodedNodeSet Dst;
86 for (ExplodedNodeSet::iterator I = Dst.begin(), E = Dst.end();
397 ExplodedNodeSet &destNodes) {
488 ExplodedNodeSet DstPrepare;
501 ExplodedNodeSet DstPreVisit;
505 ExplodedNodeSet PreInitialized;
508 for (ExplodedNodeSet::iterator I = DstPreVisit.begin(),
533 ExplodedNodeSet DstPreCall;
537 ExplodedNodeSet DstEvaluated;
544 for (ExplodedNodeSet::iterator I = DstPreCall.begin(), E = DstPreCall.end();
549 for (ExplodedNodeSet::iterator I = DstPreCall.begin(), E = DstPreCall.end();
588 ExplodedNodeSet DstPostArgumentCleanup;
594 ExplodedNodeSet DstPostCall;
606 ExplodedNodeSet &Dst,
654 ExplodedNodeSet DstPreCall;
658 ExplodedNodeSet DstInvalidated;
660 for (ExplodedNodeSet::iterator I = DstPreCall.begin(), E = DstPreCall.end();
670 ExplodedNodeSet &Dst) {
680 ExplodedNodeSet DstPreCall;
684 ExplodedNodeSet DstPostCall;
694 ExplodedNodeSet DstPostValue;
727 ExplodedNodeSet DstPostPostCallCallback;
738 ExplodedNodeSet &Dst) {
848 ExplodedNode *Pred, ExplodedNodeSet &Dst) {
856 ExplodedNodeSet &Dst) {
874 ExplodedNodeSet &Dst) {
890 ExplodedNodeSet &Dst) {
930 ExplodedNodeSet Tmp;
tools/clang/lib/StaticAnalyzer/Core/ExprEngineCallAndReturn.cpp 64 ExplodedNodeSet DstBegin;
162 ExplodedNodeSet &Dst) {
277 ExplodedNodeSet CleanedNodes;
301 for (ExplodedNodeSet::iterator I = CleanedNodes.begin(),
325 ExplodedNodeSet DstPostCall;
327 ExplodedNodeSet DstPostPostCallCallback;
344 ExplodedNodeSet Dst;
359 for (ExplodedNodeSet::iterator PSI = Dst.begin(), PSE = Dst.end();
497 ExplodedNodeSet &dst) {
499 ExplodedNodeSet dstPreVisit;
510 ExplodedNodeSet dstCallEvaluated;
511 for (ExplodedNodeSet::iterator I = dstPreVisit.begin(), E = dstPreVisit.end();
549 void ExprEngine::finishArgumentConstruction(ExplodedNodeSet &Dst,
568 void ExprEngine::evalCall(ExplodedNodeSet &Dst, ExplodedNode *Pred,
578 ExplodedNodeSet dstPreVisit;
585 ExplodedNodeSet dstCallEvaluated;
591 ExplodedNodeSet dstArgumentCleanup;
1093 ExplodedNodeSet &Dst) {
1094 ExplodedNodeSet dstPreVisit;
1100 for (ExplodedNodeSet::iterator it = dstPreVisit.begin(),
tools/clang/lib/StaticAnalyzer/Core/ExprEngineObjC.cpp 23 ExplodedNodeSet &Dst) {
29 ExplodedNodeSet dstIvar;
40 ExplodedNodeSet &Dst) {
47 ExplodedNodeSet &dstLocation, SValBuilder &svalBuilder,
87 ExplodedNodeSet &Dst) {
130 ExplodedNodeSet dstLocation;
133 ExplodedNodeSet Tmp;
152 ExplodedNodeSet &Dst) {
199 ExplodedNodeSet dstNil;
209 ExplodedNodeSet dstPostCheckers;
217 ExplodedNodeSet dstNonNil;
233 ExplodedNodeSet dstPrevisit;
236 ExplodedNodeSet dstGenericPrevisit;
241 ExplodedNodeSet dstEval;
244 for (ExplodedNodeSet::iterator DI = dstGenericPrevisit.begin(),
275 ExplodedNodeSet dstArgCleanup;
279 ExplodedNodeSet dstPostvisit;