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       {{CDM::CXXMethod, {"clear"}, 0}, &ContainerModeling::handleClear},
76       {{CDM::CXXMethod, {"assign"}, 2}, &ContainerModeling::handleAssign},
77       {{CDM::CXXMethod, {"push_back"}, 1}, &ContainerModeling::handlePushBack},
79        &ContainerModeling::handlePushBack},
80       {{CDM::CXXMethod, {"pop_back"}, 0}, &ContainerModeling::handlePopBack},
82        &ContainerModeling::handlePushFront},
84        &ContainerModeling::handlePushFront},
85       {{CDM::CXXMethod, {"pop_front"}, 0}, &ContainerModeling::handlePopFront},
89       {{CDM::CXXMethod, {"insert"}, 2}, &ContainerModeling::handleInsert},
90       {{CDM::CXXMethod, {"emplace"}, 2}, &ContainerModeling::handleInsert},
91       {{CDM::CXXMethod, {"erase"}, 1}, &ContainerModeling::handleErase},
93        &ContainerModeling::handleEraseAfter},
97       {{CDM::CXXMethod, {"erase"}, 2}, &ContainerModeling::handleErase},
99        &ContainerModeling::handleEraseAfter},
151 void ContainerModeling::checkPostCall(const CallEvent &Call,  in checkPostCall()
212 void ContainerModeling::checkLiveSymbols(ProgramStateRef State,  in checkLiveSymbols()
231 void ContainerModeling::checkDeadSymbols(SymbolReaper &SR,  in checkDeadSymbols()
250 void ContainerModeling::handleBegin(CheckerContext &C, const Expr *CE,  in handleBegin()
272 void ContainerModeling::handleEnd(CheckerContext &C, const Expr *CE,  in handleEnd()
294 void ContainerModeling::handleAssignment(CheckerContext &C, SVal Cont,  in handleAssignment()
370 void ContainerModeling::handleAssign(CheckerContext &C, SVal Cont,  in handleAssign()
384 void ContainerModeling::handleClear(CheckerContext &C, SVal Cont,  in handleClear()
413 void ContainerModeling::handlePushBack(CheckerContext &C, SVal Cont,  in handlePushBack()
453 void ContainerModeling::handlePopBack(CheckerContext &C, SVal Cont,  in handlePopBack()
493 void ContainerModeling::handlePushFront(CheckerContext &C, SVal Cont,  in handlePushFront()
528 void ContainerModeling::handlePopFront(CheckerContext &C, SVal Cont,  in handlePopFront()
564 void ContainerModeling::handleInsert(CheckerContext &C, SVal Cont,  in handleInsert()
595 void ContainerModeling::handleErase(CheckerContext &C, SVal Cont,  in handleErase()
629 void ContainerModeling::handleErase(CheckerContext &C, SVal Cont, SVal Iter1,  in handleErase()
665 void ContainerModeling::handleEraseAfter(CheckerContext &C, SVal Cont,  in handleEraseAfter()
686 void ContainerModeling::handleEraseAfter(CheckerContext &C, SVal Cont,  in handleEraseAfter()
700 const NoteTag *ContainerModeling::getChangeTag(CheckerContext &C,  in getChangeTag()
727 void ContainerModeling::printState(raw_ostream &Out, ProgramStateRef State,  in printState()
1063   mgr.registerChecker<ContainerModeling>();  in registerContainerModeling()