Lines Matching refs:SmartPtrModeling

44 class SmartPtrModeling  class
87 void (SmartPtrModeling::*)(const CallEvent &Call, CheckerContext &) const;
89 {{{"reset"}}, &SmartPtrModeling::handleReset},
90 {{{"release"}}, &SmartPtrModeling::handleRelease},
91 {{{"swap"}, 1}, &SmartPtrModeling::handleSwapMethod},
92 {{{"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()
599 void SmartPtrModeling::handleReset(const CallEvent &Call, in handleReset()
629 void SmartPtrModeling::handleRelease(const CallEvent &Call, in handleRelease()
665 void SmartPtrModeling::handleSwapMethod(const CallEvent &Call, in handleSwapMethod()
676 bool SmartPtrModeling::handleSwap(ProgramStateRef State, SVal First, in handleSwap()
713 void SmartPtrModeling::handleGet(const CallEvent &Call, in handleGet()
733 bool SmartPtrModeling::handleAssignOp(const CallEvent &Call, in handleAssignOp()
771 bool SmartPtrModeling::handleMoveCtr(const CallEvent &Call, CheckerContext &C, in handleMoveCtr()
780 bool SmartPtrModeling::updateMovedSmartPointers( in updateMovedSmartPointers()
835 void SmartPtrModeling::handleBoolConversion(const CallEvent &Call, in handleBoolConversion()
914 auto *Checker = Mgr.registerChecker<SmartPtrModeling>(); in registerSmartPtrModeling()