44 class SmartPtrModeling  class
87       void (SmartPtrModeling::*)(const CallEvent &Call, CheckerContext &) const;
89       {{CDM::CXXMethod, {"reset"}}, &SmartPtrModeling::handleReset},
90       {{CDM::CXXMethod, {"release"}}, &SmartPtrModeling::handleRelease},
91       {{CDM::CXXMethod, {"swap"}, 1}, &SmartPtrModeling::handleSwapMethod},
92       {{CDM::CXXMethod, {"get"}}, &SmartPtrModeling::handleGet}};
233 bool SmartPtrModeling::isBoolConversionMethod(const CallEvent &Call) const {  in isBoolConversionMethod()
276 bool SmartPtrModeling::evalCall(const CallEvent &Call,  in evalCall()
439 std::pair<SVal, ProgramStateRef> SmartPtrModeling::retrieveOrConjureInnerPtrVal(  in retrieveOrConjureInnerPtrVal()
451 bool SmartPtrModeling::handleComparisionOp(const CallEvent &Call,  in handleComparisionOp()
517 bool SmartPtrModeling::handleOstreamOperator(const CallEvent &Call,  in handleOstreamOperator()
541 void SmartPtrModeling::checkDeadSymbols(SymbolReaper &SymReaper,  in checkDeadSymbols()
556 void SmartPtrModeling::printState(raw_ostream &Out, ProgramStateRef State,  in printState()
573 ProgramStateRef SmartPtrModeling::checkRegionChanges(  in checkRegionChanges()
587 void SmartPtrModeling::checkLiveSymbols(ProgramStateRef State,  in checkLiveSymbols()
598 void SmartPtrModeling::handleReset(const CallEvent &Call,  in handleReset()
628 void SmartPtrModeling::handleRelease(const CallEvent &Call,  in handleRelease()
664 void SmartPtrModeling::handleSwapMethod(const CallEvent &Call,  in handleSwapMethod()
675 bool SmartPtrModeling::handleSwap(ProgramStateRef State, SVal First,  in handleSwap()
712 void SmartPtrModeling::handleGet(const CallEvent &Call,  in handleGet()
732 bool SmartPtrModeling::handleAssignOp(const CallEvent &Call,  in handleAssignOp()
770 bool SmartPtrModeling::handleMoveCtr(const CallEvent &Call, CheckerContext &C,  in handleMoveCtr()
779 bool SmartPtrModeling::updateMovedSmartPointers(  in updateMovedSmartPointers()
834 void SmartPtrModeling::handleBoolConversion(const CallEvent &Call,  in handleBoolConversion()
913   auto *Checker = Mgr.registerChecker<SmartPtrModeling>();  in registerSmartPtrModeling()