Lines Matching refs:SymbolRef
141 SymbolRef ReallocatedSym;
144 ReallocPair(SymbolRef S, ReallocPairKind K) :
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)
487 StackHintGeneratorForReallocationFailed(SymbolRef S, StringRef M)
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 {
901 SymbolRef Sym = retVal.getAsLocSymbol();
968 if (SymbolRef Sym = C.getSVal(*I).getAsSymbol())
993 if (SymbolRef Sym = C.getSVal(DE->getArgument()).getAsSymbol())
1138 SymbolRef Sym = retVal.getAsLocSymbol();
1187 SymbolRef Sym, SymbolRef &RetStatusSymbol) {
1188 const SymbolRef *Ret = State->get<FreeReturnValue>(Sym);
1385 SymbolRef SymBase = SrBase->getSymbol();
1387 SymbolRef PreviousRetStatusSymbol = nullptr;
1442 SymbolRef RetStatusSymbol = RetVal.getAsSymbol();
1501 MallocChecker::getCheckIfTracked(CheckerContext &C, SymbolRef Sym,
1674 SymbolRef Sym,
1783 SymbolRef Sym) const {
1809 SymbolRef Sym,
1810 SymbolRef PrevSym) const {
1839 void MallocChecker::ReportDoubleDelete(CheckerContext &C, SymbolRef Sym) const {
1864 SymbolRef Sym) const {
1952 SymbolRef FromPtr = arg0Val.getAsSymbol();
1954 SymbolRef ToPtr = RetVal.getAsSymbol();
2017 MallocChecker::getAllocationSite(const ExplodedNode *N, SymbolRef Sym,
2058 void MallocChecker::reportLeak(SymbolRef Sym, ExplodedNode *N,
2136 SmallVector<SymbolRef, 2> Errors;
2171 for (SmallVectorImpl<SymbolRef>::iterator
2185 SymbolRef Sym = DC->getCXXThisVal().getAsSymbol();
2210 SymbolRef Sym = CC->getCXXThisVal().getAsSymbol();
2219 SymbolRef Sym = ArgSVal.getAsSymbol();
2236 SymbolRef Sym = RetVal.getAsSymbol();
2292 bool MallocChecker::isReleased(SymbolRef Sym, CheckerContext &C) const {
2298 bool MallocChecker::checkUseAfterFree(SymbolRef Sym, CheckerContext &C,
2309 void MallocChecker::checkUseZeroAllocated(SymbolRef Sym, CheckerContext &C,
2322 bool MallocChecker::checkDoubleDelete(SymbolRef Sym, CheckerContext &C) const {
2334 SymbolRef Sym = l.getLocSymbolInBase();
2365 SymbolRef ReallocSym = I.getData().ReallocatedSym;
2386 SymbolRef &EscapingSymbol) const {
2575 SymbolRef EscapingSymbol = nullptr;
2586 SymbolRef sym = *I;
2602 static SymbolRef findFailedReallocSymbol(ProgramStateRef currState,
2609 SymbolRef sym = I.getKey();
2671 if (SymbolRef sym = findFailedReallocSymbol(state, statePrev)) {
