Lines Matching refs:SmartPtrModeling

42 class SmartPtrModeling  class
85 void (SmartPtrModeling::*)(const CallEvent &Call, CheckerContext &) const;
87 {{"reset"}, &SmartPtrModeling::handleReset},
88 {{"release"}, &SmartPtrModeling::handleRelease},
89 {{"swap", 1}, &SmartPtrModeling::handleSwapMethod},
90 {{"get"}, &SmartPtrModeling::handleGet}};
235 bool SmartPtrModeling::isBoolConversionMethod(const CallEvent &Call) const { in isBoolConversionMethod()
278 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()
599 void SmartPtrModeling::handleReset(const CallEvent &Call, in handleReset()
629 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()
768 bool SmartPtrModeling::handleMoveCtr(const CallEvent &Call, CheckerContext &C, in handleMoveCtr()
777 bool SmartPtrModeling::updateMovedSmartPointers( in updateMovedSmartPointers()
829 void SmartPtrModeling::handleBoolConversion(const CallEvent &Call, in handleBoolConversion()
906 auto *Checker = Mgr.registerChecker<SmartPtrModeling>(); in registerSmartPtrModeling()