Lines Matching refs:SymbolRef
141 SymbolRef ReallocatedSym;
144 ReallocPair(SymbolRef S, ReallocPairKind K) : in ReallocPair()
324 bool isReleased(SymbolRef Sym, CheckerContext &C) const;
326 bool checkUseAfterFree(SymbolRef Sym, CheckerContext &C, const Stmt *S) const;
328 void checkUseZeroAllocated(SymbolRef Sym, CheckerContext &C,
331 bool checkDoubleDelete(SymbolRef Sym, CheckerContext &C) const;
345 SymbolRef &EscapingSymbol) const;
363 Optional<CheckKind> getCheckIfTracked(CheckerContext &C, SymbolRef Sym,
374 SymbolRef Sym, bool OwnershipTransferred) const;
379 SymbolRef Sym) const;
381 SymbolRef Sym, SymbolRef PrevSym) const;
383 void ReportDoubleDelete(CheckerContext &C, SymbolRef Sym) const;
386 SymbolRef Sym) const;
390 LeakInfo getAllocationSite(const ExplodedNode *N, SymbolRef Sym,
393 void reportLeak(SymbolRef Sym, ExplodedNode *N, CheckerContext &C) const;
407 SymbolRef Sym;
413 SymbolRef FailedReallocSymbol;
418 MallocBugVisitor(SymbolRef S, bool isLeak = false) in MallocBugVisitor()
487 StackHintGeneratorForReallocationFailed(SymbolRef S, StringRef M) in StackHintGeneratorForReallocationFailed()
512 REGISTER_MAP_WITH_PROGRAMSTATE(RegionState, SymbolRef, RefState)
513 REGISTER_MAP_WITH_PROGRAMSTATE(ReallocPairs, SymbolRef, ReallocPair)
514 REGISTER_SET_WITH_PROGRAMSTATE(ReallocSizeZeroSymbols, SymbolRef)
518 REGISTER_MAP_WITH_PROGRAMSTATE(FreeReturnValue, SymbolRef, SymbolRef)
527 bool VisitSymbol(SymbolRef sym) override { in VisitSymbol()
901 SymbolRef Sym = retVal.getAsLocSymbol(); in ProcessZeroAllocation()
968 if (SymbolRef Sym = C.getSVal(*I).getAsSymbol()) in checkPostStmt()
993 if (SymbolRef Sym = C.getSVal(DE->getArgument()).getAsSymbol()) in checkPreStmt()
1138 SymbolRef Sym = retVal.getAsLocSymbol(); in MallocUpdateRefState()
1187 SymbolRef Sym, SymbolRef &RetStatusSymbol) { in didPreviousFreeFail()
1188 const SymbolRef *Ret = State->get<FreeReturnValue>(Sym); in didPreviousFreeFail()
1385 SymbolRef SymBase = SrBase->getSymbol(); in FreeMemAux()
1387 SymbolRef PreviousRetStatusSymbol = nullptr; in FreeMemAux()
1442 SymbolRef RetStatusSymbol = RetVal.getAsSymbol(); in FreeMemAux()
1501 MallocChecker::getCheckIfTracked(CheckerContext &C, SymbolRef Sym, in getCheckIfTracked()
1674 SymbolRef Sym, in ReportMismatchedDealloc()
1783 SymbolRef Sym) const { in ReportUseAfterFree()
1809 bool Released, SymbolRef Sym, in ReportDoubleFree()
1810 SymbolRef PrevSym) const { in ReportDoubleFree()
1839 void MallocChecker::ReportDoubleDelete(CheckerContext &C, SymbolRef Sym) const { in ReportDoubleDelete()
1864 SymbolRef Sym) const { in ReportUseZeroAllocated()
1952 SymbolRef FromPtr = arg0Val.getAsSymbol(); in ReallocMem()
1954 SymbolRef ToPtr = RetVal.getAsSymbol(); in ReallocMem()
2017 MallocChecker::getAllocationSite(const ExplodedNode *N, SymbolRef Sym, in getAllocationSite()
2058 void MallocChecker::reportLeak(SymbolRef Sym, ExplodedNode *N, in reportLeak()
2136 SmallVector<SymbolRef, 2> Errors; in checkDeadSymbols()
2171 for (SmallVectorImpl<SymbolRef>::iterator in checkDeadSymbols()
2185 SymbolRef Sym = DC->getCXXThisVal().getAsSymbol(); in checkPreCall()
2210 SymbolRef Sym = CC->getCXXThisVal().getAsSymbol(); in checkPreCall()
2219 SymbolRef Sym = ArgSVal.getAsSymbol(); in checkPreCall()
2236 SymbolRef Sym = RetVal.getAsSymbol(); in checkPreStmt()
2292 bool MallocChecker::isReleased(SymbolRef Sym, CheckerContext &C) const { in isReleased()
2298 bool MallocChecker::checkUseAfterFree(SymbolRef Sym, CheckerContext &C, in checkUseAfterFree()
2309 void MallocChecker::checkUseZeroAllocated(SymbolRef Sym, CheckerContext &C, in checkUseZeroAllocated()
2322 bool MallocChecker::checkDoubleDelete(SymbolRef Sym, CheckerContext &C) const { in checkDoubleDelete()
2334 SymbolRef Sym = l.getLocSymbolInBase(); in checkLocation()
2365 SymbolRef ReallocSym = I.getData().ReallocatedSym; in evalAssume()
2386 SymbolRef &EscapingSymbol) const { in mayFreeAnyEscapedMemoryOrIsModeledExplicitly()
2575 SymbolRef EscapingSymbol = nullptr; in checkPointerEscapeAux()
2586 SymbolRef sym = *I; in checkPointerEscapeAux()
2602 static SymbolRef findFailedReallocSymbol(ProgramStateRef currState, in findFailedReallocSymbol()
2609 SymbolRef sym = I.getKey(); in findFailedReallocSymbol()
2671 if (SymbolRef sym = findFailedReallocSymbol(state, statePrev)) { in VisitNode()