Lines Matching refs:SymbolRef
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()
1533 SymbolRef Sym = RetVal->getAsLocSymbol(); in ProcessZeroAllocCheck()
1763 SymbolRef Sym = RetVal->getAsLocSymbol(); in MallocUpdateRefState()
1814 SymbolRef Sym, SymbolRef &RetStatusSymbol) { in didPreviousFreeFail()
1815 const SymbolRef *Ret = State->get<FreeReturnValue>(Sym); in didPreviousFreeFail()
1981 SymbolRef SymBase = SrBase->getSymbol(); in FreeMemAux()
1983 SymbolRef PreviousRetStatusSymbol = nullptr; in FreeMemAux()
2043 SymbolRef RetStatusSymbol = RetVal.getAsSymbol(); in FreeMemAux()
2102 MallocChecker::getCheckIfTracked(CheckerContext &C, SymbolRef Sym, in getCheckIfTracked()
2280 const RefState *RS, SymbolRef Sym, in HandleMismatchedDealloc()
2393 SymbolRef Sym) const { in HandleUseAfterFree()
2432 bool Released, SymbolRef Sym, in HandleDoubleFree()
2433 SymbolRef PrevSym) const { in HandleDoubleFree()
2463 void MallocChecker::HandleDoubleDelete(CheckerContext &C, SymbolRef Sym) const { in HandleDoubleDelete()
2490 SymbolRef Sym) const { in HandleUseZeroAlloc()
2651 SymbolRef FromPtr = arg0Val.getLocSymbolInBase(); in ReallocMemAux()
2653 SymbolRef ToPtr = RetVal.getAsSymbol(); in ReallocMemAux()
2687 SymbolRef Sym, in getAllocationSite()
2727 void MallocChecker::HandleLeak(SymbolRef Sym, ExplodedNode *N, in HandleLeak()
2800 SmallVector<SymbolRef, 2> Errors; in checkDeadSymbols()
2843 for (SmallVectorImpl<SymbolRef>::iterator in checkDeadSymbols()
2860 if (SymbolRef Sym = C.getSVal(DE->getArgument()).getAsSymbol()) in checkPreCall()
2877 SymbolRef Sym = DC->getCXXThisVal().getAsSymbol(); in checkPreCall()
2894 SymbolRef Sym = CC->getCXXThisVal().getAsSymbol(); in checkPreCall()
2903 SymbolRef Sym = ArgSVal.getAsSymbol(); in checkPreCall()
2937 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()
3093 SymbolRef ReallocSym = I.getData().ReallocatedSym; in evalAssume()
3118 SymbolRef &EscapingSymbol) const { in mayFreeAnyEscapedMemoryOrIsModeledExplicitly()
3302 SymbolRef EscapingSymbol = nullptr; in checkPointerEscapeAux()
3313 SymbolRef sym = *I; in checkPointerEscapeAux()
3338 static SymbolRef findFailedReallocSymbol(ProgramStateRef currState, in findFailedReallocSymbol()
3344 SymbolRef sym = Pair.first; in findFailedReallocSymbol()
3504 if (SymbolRef sym = findFailedReallocSymbol(state, statePrev)) { in VisitNode()
3584 markReleased(ProgramStateRef State, SymbolRef Sym, const Expr *Origin) { in markReleased()