33 class ContainerModeling  class
61   ContainerModeling() = default;
67   using NoItParamFn = void (ContainerModeling::*)(CheckerContext &, SVal,
69   using OneItParamFn = void (ContainerModeling::*)(CheckerContext &, SVal,
71   using TwoItParamFn = void (ContainerModeling::*)(CheckerContext &, SVal, SVal,
75       {{{"clear"}, 0}, &ContainerModeling::handleClear},
76       {{{"assign"}, 2}, &ContainerModeling::handleAssign},
77       {{{"push_back"}, 1}, &ContainerModeling::handlePushBack},
78       {{{"emplace_back"}, 1}, &ContainerModeling::handlePushBack},
79       {{{"pop_back"}, 0}, &ContainerModeling::handlePopBack},
80       {{{"push_front"}, 1}, &ContainerModeling::handlePushFront},
81       {{{"emplace_front"}, 1}, &ContainerModeling::handlePushFront},
82       {{{"pop_front"}, 0}, &ContainerModeling::handlePopFront},
86       {{{"insert"}, 2}, &ContainerModeling::handleInsert},
87       {{{"emplace"}, 2}, &ContainerModeling::handleInsert},
88       {{{"erase"}, 1}, &ContainerModeling::handleErase},
89       {{{"erase_after"}, 1}, &ContainerModeling::handleEraseAfter},
93       {{{"erase"}, 2}, &ContainerModeling::handleErase},
94       {{{"erase_after"}, 2}, &ContainerModeling::handleEraseAfter},
146 void ContainerModeling::checkPostCall(const CallEvent &Call,  in checkPostCall()
207 void ContainerModeling::checkLiveSymbols(ProgramStateRef State,  in checkLiveSymbols()
226 void ContainerModeling::checkDeadSymbols(SymbolReaper &SR,  in checkDeadSymbols()
245 void ContainerModeling::handleBegin(CheckerContext &C, const Expr *CE,  in handleBegin()
267 void ContainerModeling::handleEnd(CheckerContext &C, const Expr *CE,  in handleEnd()
289 void ContainerModeling::handleAssignment(CheckerContext &C, SVal Cont,  in handleAssignment()
365 void ContainerModeling::handleAssign(CheckerContext &C, SVal Cont,  in handleAssign()
379 void ContainerModeling::handleClear(CheckerContext &C, SVal Cont,  in handleClear()
408 void ContainerModeling::handlePushBack(CheckerContext &C, SVal Cont,  in handlePushBack()
448 void ContainerModeling::handlePopBack(CheckerContext &C, SVal Cont,  in handlePopBack()
488 void ContainerModeling::handlePushFront(CheckerContext &C, SVal Cont,  in handlePushFront()
523 void ContainerModeling::handlePopFront(CheckerContext &C, SVal Cont,  in handlePopFront()
559 void ContainerModeling::handleInsert(CheckerContext &C, SVal Cont,  in handleInsert()
590 void ContainerModeling::handleErase(CheckerContext &C, SVal Cont,  in handleErase()
624 void ContainerModeling::handleErase(CheckerContext &C, SVal Cont, SVal Iter1,  in handleErase()
660 void ContainerModeling::handleEraseAfter(CheckerContext &C, SVal Cont,  in handleEraseAfter()
681 void ContainerModeling::handleEraseAfter(CheckerContext &C, SVal Cont,  in handleEraseAfter()
695 const NoteTag *ContainerModeling::getChangeTag(CheckerContext &C,  in getChangeTag()
722 void ContainerModeling::printState(raw_ostream &Out, ProgramStateRef State,  in printState()
1054   mgr.registerChecker<ContainerModeling>();  in registerContainerModeling()