Lines Matching refs:SmartPtrModeling
43 class SmartPtrModeling class
86 void (SmartPtrModeling::*)(const CallEvent &Call, CheckerContext &) const;
88 {{"reset"}, &SmartPtrModeling::handleReset},
89 {{"release"}, &SmartPtrModeling::handleRelease},
90 {{"swap", 1}, &SmartPtrModeling::handleSwapMethod},
91 {{"get"}, &SmartPtrModeling::handleGet}};
232 bool SmartPtrModeling::isBoolConversionMethod(const CallEvent &Call) const { in isBoolConversionMethod()
275 bool SmartPtrModeling::evalCall(const CallEvent &Call, in evalCall()
437 std::pair<SVal, ProgramStateRef> SmartPtrModeling::retrieveOrConjureInnerPtrVal( in retrieveOrConjureInnerPtrVal()
449 bool SmartPtrModeling::handleComparisionOp(const CallEvent &Call, in handleComparisionOp()
515 bool SmartPtrModeling::handleOstreamOperator(const CallEvent &Call, in handleOstreamOperator()
539 void SmartPtrModeling::checkDeadSymbols(SymbolReaper &SymReaper, in checkDeadSymbols()
554 void SmartPtrModeling::printState(raw_ostream &Out, ProgramStateRef State, in printState()
571 ProgramStateRef SmartPtrModeling::checkRegionChanges( in checkRegionChanges()
585 void SmartPtrModeling::checkLiveSymbols(ProgramStateRef State, in checkLiveSymbols()
597 void SmartPtrModeling::handleReset(const CallEvent &Call, in handleReset()
627 void SmartPtrModeling::handleRelease(const CallEvent &Call, in handleRelease()
663 void SmartPtrModeling::handleSwapMethod(const CallEvent &Call, in handleSwapMethod()
674 bool SmartPtrModeling::handleSwap(ProgramStateRef State, SVal First, in handleSwap()
711 void SmartPtrModeling::handleGet(const CallEvent &Call, in handleGet()
731 bool SmartPtrModeling::handleAssignOp(const CallEvent &Call, in handleAssignOp()
769 bool SmartPtrModeling::handleMoveCtr(const CallEvent &Call, CheckerContext &C, in handleMoveCtr()
778 bool SmartPtrModeling::updateMovedSmartPointers( in updateMovedSmartPointers()
833 void SmartPtrModeling::handleBoolConversion(const CallEvent &Call, in handleBoolConversion()
912 auto *Checker = Mgr.registerChecker<SmartPtrModeling>(); in registerSmartPtrModeling()