Lines Matching refs:SymbolRef
143 SymbolRef ReallocatedSym;
146 ReallocPair(SymbolRef S, ReallocPairKind K) : in ReallocPair()
360 bool isReleased(SymbolRef Sym, CheckerContext &C) const;
362 bool checkUseAfterFree(SymbolRef Sym, CheckerContext &C, const Stmt *S) const;
364 void checkUseZeroAllocated(SymbolRef Sym, CheckerContext &C,
367 bool checkDoubleDelete(SymbolRef Sym, CheckerContext &C) const;
381 SymbolRef &EscapingSymbol) const;
402 Optional<CheckKind> getCheckIfTracked(CheckerContext &C, SymbolRef Sym,
413 SymbolRef Sym, bool OwnershipTransferred) const;
418 SymbolRef Sym) const;
420 SymbolRef Sym, SymbolRef PrevSym) const;
422 void ReportDoubleDelete(CheckerContext &C, SymbolRef Sym) const;
425 SymbolRef Sym) const;
432 LeakInfo getAllocationSite(const ExplodedNode *N, SymbolRef Sym,
435 void reportLeak(SymbolRef Sym, ExplodedNode *N, CheckerContext &C) const;
448 SymbolRef Sym;
454 SymbolRef FailedReallocSymbol;
463 MallocBugVisitor(SymbolRef S, bool isLeak = false) in MallocBugVisitor()
541 StackHintGeneratorForReallocationFailed(SymbolRef S, StringRef M) in StackHintGeneratorForReallocationFailed()
566 REGISTER_MAP_WITH_PROGRAMSTATE(RegionState, SymbolRef, RefState)
567 REGISTER_MAP_WITH_PROGRAMSTATE(ReallocPairs, SymbolRef, ReallocPair)
568 REGISTER_SET_WITH_PROGRAMSTATE(ReallocSizeZeroSymbols, SymbolRef)
572 REGISTER_MAP_WITH_PROGRAMSTATE(FreeReturnValue, SymbolRef, SymbolRef)
581 bool VisitSymbol(SymbolRef sym) override { in VisitSymbol()
1012 SymbolRef Sym = RetVal->getAsLocSymbol(); in ProcessZeroAllocation()
1157 if (SymbolRef Sym = C.getSVal(DE->getArgument()).getAsSymbol()) in checkPreStmt()
1304 SymbolRef Sym = RetVal->getAsLocSymbol(); in MallocUpdateRefState()
1355 SymbolRef Sym, SymbolRef &RetStatusSymbol) { in didPreviousFreeFail()
1356 const SymbolRef *Ret = State->get<FreeReturnValue>(Sym); in didPreviousFreeFail()
1555 SymbolRef SymBase = SrBase->getSymbol(); in FreeMemAux()
1557 SymbolRef PreviousRetStatusSymbol = nullptr; in FreeMemAux()
1617 SymbolRef RetStatusSymbol = RetVal.getAsSymbol(); in FreeMemAux()
1680 MallocChecker::getCheckIfTracked(CheckerContext &C, SymbolRef Sym, in getCheckIfTracked()
1853 SymbolRef Sym, in ReportMismatchedDealloc()
1962 SymbolRef Sym) const { in ReportUseAfterFree()
1999 bool Released, SymbolRef Sym, in ReportDoubleFree()
2000 SymbolRef PrevSym) const { in ReportDoubleFree()
2029 void MallocChecker::ReportDoubleDelete(CheckerContext &C, SymbolRef Sym) const { in ReportDoubleDelete()
2055 SymbolRef Sym) const { in ReportUseZeroAllocated()
2180 SymbolRef FromPtr = arg0Val.getAsSymbol(); in ReallocMemAux()
2182 SymbolRef ToPtr = RetVal.getAsSymbol(); in ReallocMemAux()
2241 MallocChecker::getAllocationSite(const ExplodedNode *N, SymbolRef Sym, in getAllocationSite()
2282 void MallocChecker::reportLeak(SymbolRef Sym, ExplodedNode *N, in reportLeak()
2353 SmallVector<SymbolRef, 2> Errors; in checkDeadSymbols()
2396 for (SmallVectorImpl<SymbolRef>::iterator in checkDeadSymbols()
2410 SymbolRef Sym = DC->getCXXThisVal().getAsSymbol(); in checkPreCall()
2431 SymbolRef Sym = CC->getCXXThisVal().getAsSymbol(); in checkPreCall()
2440 SymbolRef Sym = ArgSVal.getAsSymbol(); in checkPreCall()
2474 SymbolRef Sym = RetVal.getAsSymbol(); in checkEscapeOnReturn()
2528 bool MallocChecker::isReleased(SymbolRef Sym, CheckerContext &C) const { in isReleased()
2534 bool MallocChecker::checkUseAfterFree(SymbolRef Sym, CheckerContext &C, in checkUseAfterFree()
2545 void MallocChecker::checkUseZeroAllocated(SymbolRef Sym, CheckerContext &C, in checkUseZeroAllocated()
2558 bool MallocChecker::checkDoubleDelete(SymbolRef Sym, CheckerContext &C) const { in checkDoubleDelete()
2570 SymbolRef Sym = l.getLocSymbolInBase(); in checkLocation()
2601 SymbolRef ReallocSym = I.getData().ReallocatedSym; in evalAssume()
2622 SymbolRef &EscapingSymbol) const { in mayFreeAnyEscapedMemoryOrIsModeledExplicitly()
2816 SymbolRef EscapingSymbol = nullptr; in checkPointerEscapeAux()
2827 SymbolRef sym = *I; in checkPointerEscapeAux()
2843 static SymbolRef findFailedReallocSymbol(ProgramStateRef currState, in findFailedReallocSymbol()
2850 SymbolRef sym = I.getKey(); in findFailedReallocSymbol()
3007 if (SymbolRef sym = findFailedReallocSymbol(state, statePrev)) { in VisitNode()
3081 markReleased(ProgramStateRef State, SymbolRef Sym, const Expr *Origin) { in markReleased()