Home | History | Annotate | Download | only in Checkers

Lines Matching refs:SymbolRef

72   SymbolRef ReallocatedSym;
74 ReallocPair(SymbolRef S, bool F) : ReallocatedSym(S), IsFreeOnFailure(F) {}
177 bool checkEscape(SymbolRef Sym, const Stmt *S, CheckerContext &C) const;
178 bool checkUseAfterFree(SymbolRef Sym, CheckerContext &C,
192 LeakInfo getAllocationSite(const ExplodedNode *N, SymbolRef Sym,
195 void reportLeak(SymbolRef Sym, ExplodedNode *N, CheckerContext &C) const;
208 SymbolRef Sym;
214 SymbolRef FailedReallocSymbol;
217 MallocBugVisitor(SymbolRef S)
260 StackHintGeneratorForReallocationFailed(SymbolRef S, StringRef M)
283 typedef llvm::ImmutableMap<SymbolRef, RefState> RegionStateTy;
284 typedef llvm::ImmutableMap<SymbolRef, ReallocPair > ReallocMap;
310 bool VisitSymbol(SymbolRef sym) {
464 SymbolRef Sym = retVal.getAsLocSymbol();
558 SymbolRef Sym = SR->getSymbol();
772 SymbolRef FromPtr = arg0Val.getAsSymbol();
774 SymbolRef ToPtr = RetVal.getAsSymbol();
822 MallocChecker::getAllocationSite(const ExplodedNode *N, SymbolRef Sym,
860 void MallocChecker::reportLeak(SymbolRef Sym, ExplodedNode *N,
910 llvm::SmallVector<SymbolRef, 2> Errors;
937 for (llvm::SmallVector<SymbolRef, 2>::iterator
963 bool MallocChecker::checkEscape(SymbolRef Sym, const Stmt *S,
988 SymbolRef Sym = State->getSVal(A, C.getLocationContext()).getAsSymbol();
1004 SymbolRef Sym = RetVal.getAsSymbol();
1066 bool MallocChecker::checkUseAfterFree(SymbolRef Sym, CheckerContext &C,
1091 SymbolRef Sym = l.getLocSymbolInBase();
1163 SymbolRef ReallocSym = I.getData().ReallocatedSym;
1329 llvm::SmallPtrSet<SymbolRef, 8> WhitelistedSymbols;
1345 SymbolRef sym = *I;
1355 static SymbolRef findFailedReallocSymbol(ProgramStateRef currState,
1362 SymbolRef sym = I.getKey();
1416 if (SymbolRef sym = findFailedReallocSymbol(state, statePrev)) {