Lines Matching refs:SymbolRef
205 REGISTER_MAP_WITH_PROGRAMSTATE(RegionState, SymbolRef, RefState)
208 static bool isReleased(SymbolRef Sym, CheckerContext &C);
225 REGISTER_SET_WITH_PROGRAMSTATE(ReallocSizeZeroSymbols, SymbolRef)
254 SymbolRef ReallocatedSym;
257 ReallocPair(SymbolRef S, OwnershipAfterReallocKind K) in ReallocPair()
271 REGISTER_MAP_WITH_PROGRAMSTATE(ReallocPairs, SymbolRef, ReallocPair)
636 bool checkUseAfterFree(SymbolRef Sym, CheckerContext &C, const Stmt *S) const;
640 void checkUseZeroAllocated(SymbolRef Sym, CheckerContext &C,
644 bool checkDoubleDelete(SymbolRef Sym, CheckerContext &C) const;
658 SymbolRef &EscapingSymbol) const;
678 Optional<CheckKind> getCheckIfTracked(CheckerContext &C, SymbolRef Sym,
693 SymbolRef Sym, bool OwnershipTransferred) const;
700 SymbolRef Sym) const;
703 SymbolRef Sym, SymbolRef PrevSym) const;
705 void HandleDoubleDelete(CheckerContext &C, SymbolRef Sym) const;
708 SymbolRef Sym) const;
716 static LeakInfo getAllocationSite(const ExplodedNode *N, SymbolRef Sym,
719 void HandleLeak(SymbolRef Sym, ExplodedNode *N, CheckerContext &C) const;
738 SymbolRef Sym;
744 SymbolRef FailedReallocSymbol;
753 MallocBugVisitor(SymbolRef S, bool isLeak = false) in MallocBugVisitor()
833 StackHintGeneratorForReallocationFailed(SymbolRef S, StringRef M) in StackHintGeneratorForReallocationFailed()
859 REGISTER_MAP_WITH_PROGRAMSTATE(FreeReturnValue, SymbolRef, SymbolRef)
869 bool VisitSymbol(SymbolRef sym) override { in VisitSymbol()
1336 SymbolRef Sym = RetVal->getAsLocSymbol(); in ProcessZeroAllocCheck()
1562 SymbolRef Sym = RetVal->getAsLocSymbol(); in MallocUpdateRefState()
1613 SymbolRef Sym, SymbolRef &RetStatusSymbol) { in didPreviousFreeFail()
1614 const SymbolRef *Ret = State->get<FreeReturnValue>(Sym); in didPreviousFreeFail()
1780 SymbolRef SymBase = SrBase->getSymbol(); in FreeMemAux()
1782 SymbolRef PreviousRetStatusSymbol = nullptr; in FreeMemAux()
1842 SymbolRef RetStatusSymbol = RetVal.getAsSymbol(); in FreeMemAux()
1901 MallocChecker::getCheckIfTracked(CheckerContext &C, SymbolRef Sym, in getCheckIfTracked()
2077 const RefState *RS, SymbolRef Sym, in HandleMismatchedDealloc()
2190 SymbolRef Sym) const { in HandleUseAfterFree()
2229 bool Released, SymbolRef Sym, in HandleDoubleFree()
2230 SymbolRef PrevSym) const { in HandleDoubleFree()
2260 void MallocChecker::HandleDoubleDelete(CheckerContext &C, SymbolRef Sym) const { in HandleDoubleDelete()
2287 SymbolRef Sym) const { in HandleUseZeroAlloc()
2446 SymbolRef FromPtr = arg0Val.getLocSymbolInBase(); in ReallocMemAux()
2448 SymbolRef ToPtr = RetVal.getAsSymbol(); in ReallocMemAux()
2482 SymbolRef Sym, in getAllocationSite()
2522 void MallocChecker::HandleLeak(SymbolRef Sym, ExplodedNode *N, in HandleLeak()
2593 SmallVector<SymbolRef, 2> Errors; in checkDeadSymbols()
2636 for (SmallVectorImpl<SymbolRef>::iterator in checkDeadSymbols()
2653 if (SymbolRef Sym = C.getSVal(DE->getArgument()).getAsSymbol()) in checkPreCall()
2670 SymbolRef Sym = DC->getCXXThisVal().getAsSymbol(); in checkPreCall()
2687 SymbolRef Sym = CC->getCXXThisVal().getAsSymbol(); in checkPreCall()
2696 SymbolRef Sym = ArgSVal.getAsSymbol(); in checkPreCall()
2730 SymbolRef Sym = RetVal.getAsSymbol(); in checkEscapeOnReturn()
2784 static bool isReleased(SymbolRef Sym, CheckerContext &C) { in isReleased()
2811 if (SymbolRef Sym = C.getSVal(Arg).getAsSymbol()) in suppressDeallocationsInSuspiciousContexts()
2819 bool MallocChecker::checkUseAfterFree(SymbolRef Sym, CheckerContext &C, in checkUseAfterFree()
2830 void MallocChecker::checkUseZeroAllocated(SymbolRef Sym, CheckerContext &C, in checkUseZeroAllocated()
2843 bool MallocChecker::checkDoubleDelete(SymbolRef Sym, CheckerContext &C) const { in checkDoubleDelete()
2855 SymbolRef Sym = l.getLocSymbolInBase(); in checkLocation()
2886 SymbolRef ReallocSym = I.getData().ReallocatedSym; in evalAssume()
2911 SymbolRef &EscapingSymbol) const { in mayFreeAnyEscapedMemoryOrIsModeledExplicitly()
3095 SymbolRef EscapingSymbol = nullptr; in checkPointerEscapeAux()
3106 SymbolRef sym = *I; in checkPointerEscapeAux()
3131 static SymbolRef findFailedReallocSymbol(ProgramStateRef currState, in findFailedReallocSymbol()
3137 SymbolRef sym = Pair.first; in findFailedReallocSymbol()
3296 if (SymbolRef sym = findFailedReallocSymbol(state, statePrev)) { in VisitNode()
3375 markReleased(ProgramStateRef State, SymbolRef Sym, const Expr *Origin) { in markReleased()