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()