216 REGISTER_MAP_WITH_PROGRAMSTATE(RegionState, SymbolRef, RefState)
219 static bool isReleased(SymbolRef Sym, CheckerContext &C);
236 REGISTER_SET_WITH_PROGRAMSTATE(ReallocSizeZeroSymbols, SymbolRef)
265   SymbolRef ReallocatedSym;
268   ReallocPair(SymbolRef S, OwnershipAfterReallocKind K)  in ReallocPair()
282 REGISTER_MAP_WITH_PROGRAMSTATE(ReallocPairs, SymbolRef, ReallocPair)
638   bool checkUseAfterFree(SymbolRef Sym, CheckerContext &C, const Stmt *S) const;
642   void checkUseZeroAllocated(SymbolRef Sym, CheckerContext &C,
646   bool checkDoubleDelete(SymbolRef Sym, CheckerContext &C) const;
660                                    SymbolRef &EscapingSymbol) const;
679   std::optional<CheckKind> getCheckIfTracked(CheckerContext &C, SymbolRef Sym,
694                                SymbolRef Sym, bool OwnershipTransferred) const;
701                           SymbolRef Sym) const;
704                         SymbolRef Sym, SymbolRef PrevSym) const;
706   void HandleDoubleDelete(CheckerContext &C, SymbolRef Sym) const;
709                           SymbolRef Sym) const;
717   static LeakInfo getAllocationSite(const ExplodedNode *N, SymbolRef Sym,
720   void HandleLeak(SymbolRef Sym, ExplodedNode *N, CheckerContext &C) const;
735   SymbolRef Sym;
742     SymbolRef Sym;
746     OwnershipBindingsHandler(SymbolRef Sym, OwnerSet &Owners)  in OwnershipBindingsHandler()
906   NoOwnershipChangeVisitor(SymbolRef Sym, const MallocChecker *Checker)  in NoOwnershipChangeVisitor()
932   SymbolRef Sym;
938   SymbolRef FailedReallocSymbol;
947   MallocBugVisitor(SymbolRef S, bool isLeak = false)  in MallocBugVisitor()
1025     StackHintGeneratorForReallocationFailed(SymbolRef S, StringRef M)  in StackHintGeneratorForReallocationFailed()
1050 REGISTER_MAP_WITH_PROGRAMSTATE(FreeReturnValue, SymbolRef, SymbolRef)
1060   bool VisitSymbol(SymbolRef sym) override {  in VisitSymbol()
1539     SymbolRef Sym = RetVal->getAsLocSymbol();  in ProcessZeroAllocCheck()
1771   SymbolRef Sym = RetVal->getAsLocSymbol();  in MallocUpdateRefState()
1822                                 SymbolRef Sym, SymbolRef &RetStatusSymbol) {  in didPreviousFreeFail()
1823   const SymbolRef *Ret = State->get<FreeReturnValue>(Sym);  in didPreviousFreeFail()
1986   SymbolRef SymBase = SrBase->getSymbol();  in FreeMemAux()
1988   SymbolRef PreviousRetStatusSymbol = nullptr;  in FreeMemAux()
2048     SymbolRef RetStatusSymbol = RetVal.getAsSymbol();  in FreeMemAux()
2107 MallocChecker::getCheckIfTracked(CheckerContext &C, SymbolRef Sym,  in getCheckIfTracked()
2285                                             const RefState *RS, SymbolRef Sym,  in HandleMismatchedDealloc()
2398                                        SymbolRef Sym) const {  in HandleUseAfterFree()
2437                                      bool Released, SymbolRef Sym,  in HandleDoubleFree()
2438                                      SymbolRef PrevSym) const {  in HandleDoubleFree()
2468 void MallocChecker::HandleDoubleDelete(CheckerContext &C, SymbolRef Sym) const {  in HandleDoubleDelete()
2495                                        SymbolRef Sym) const {  in HandleUseZeroAlloc()
2656     SymbolRef FromPtr = arg0Val.getLocSymbolInBase();  in ReallocMemAux()
2658     SymbolRef ToPtr = RetVal.getAsSymbol();  in ReallocMemAux()
2692                                                          SymbolRef Sym,  in getAllocationSite()
2732 void MallocChecker::HandleLeak(SymbolRef Sym, ExplodedNode *N,  in HandleLeak()
2805   SmallVector<SymbolRef, 2> Errors;  in checkDeadSymbols()
2846       for (SymbolRef Sym : Errors) {  in checkDeadSymbols()
2862       if (SymbolRef Sym = C.getSVal(DE->getArgument()).getAsSymbol())  in checkPreCall()
2879     SymbolRef Sym = DC->getCXXThisVal().getAsSymbol();  in checkPreCall()
2896     SymbolRef Sym = CC->getCXXThisVal().getAsSymbol();  in checkPreCall()
2905       SymbolRef Sym = ArgSVal.getAsSymbol();  in checkPreCall()
2939   SymbolRef Sym = RetVal.getAsSymbol();  in checkEscapeOnReturn()
2991 static bool isReleased(SymbolRef Sym, CheckerContext &C) {  in isReleased()
3018     if (SymbolRef Sym = C.getSVal(Arg).getAsSymbol())  in suppressDeallocationsInSuspiciousContexts()
3026 bool MallocChecker::checkUseAfterFree(SymbolRef Sym, CheckerContext &C,  in checkUseAfterFree()
3037 void MallocChecker::checkUseZeroAllocated(SymbolRef Sym, CheckerContext &C,  in checkUseZeroAllocated()
3050 bool MallocChecker::checkDoubleDelete(SymbolRef Sym, CheckerContext &C) const {  in checkDoubleDelete()
3062   SymbolRef Sym = l.getLocSymbolInBase();  in checkLocation()
3075   for (SymbolRef Sym : llvm::make_first_range(RS)) {  in evalAssume()
3093     SymbolRef ReallocSym = ReallocPair.ReallocatedSym;  in evalAssume()
3118                                               SymbolRef &EscapingSymbol) const {  in mayFreeAnyEscapedMemoryOrIsModeledExplicitly()
3307   SymbolRef EscapingSymbol = nullptr;  in checkPointerEscapeAux()
3315   for (SymbolRef sym : Escaped) {  in checkPointerEscapeAux()
3339 static SymbolRef findFailedReallocSymbol(ProgramStateRef currState,  in findFailedReallocSymbol()
3345     SymbolRef sym = Pair.first;  in findFailedReallocSymbol()
3506       if (SymbolRef sym = findFailedReallocSymbol(state, statePrev)) {  in VisitNode()
3586 markReleased(ProgramStateRef State, SymbolRef Sym, const Expr *Origin) {  in markReleased()