Lines Matching refs:ProgramStateRef
223 ProgramStateRef evalAssume(ProgramStateRef state, SVal Cond,
228 ProgramStateRef checkPointerEscape(ProgramStateRef State,
232 ProgramStateRef checkConstPointerEscape(ProgramStateRef State,
237 void printState(raw_ostream &Out, ProgramStateRef State,
300 ProgramStateRef ProcessZeroAllocation(CheckerContext &C, const Expr *E,
302 ProgramStateRef State,
305 ProgramStateRef MallocMemReturnsAttr(CheckerContext &C,
308 ProgramStateRef State) const;
309 static ProgramStateRef MallocMemAux(CheckerContext &C, const CallExpr *CE,
311 ProgramStateRef State,
313 static ProgramStateRef MallocMemAux(CheckerContext &C, const CallExpr *CE,
315 ProgramStateRef State,
318 static ProgramStateRef addExtentSize(CheckerContext &C, const CXXNewExpr *NE,
319 ProgramStateRef State, SVal Target);
323 llvm::Optional<ProgramStateRef>
325 const ProgramStateRef &State) const;
330 static ProgramStateRef
331 MallocUpdateRefState(CheckerContext &C, const Expr *E, ProgramStateRef State,
335 ProgramStateRef FreeMemAttr(CheckerContext &C, const CallExpr *CE,
337 ProgramStateRef State) const;
338 ProgramStateRef FreeMemAux(CheckerContext &C, const CallExpr *CE,
339 ProgramStateRef state, unsigned Num,
343 ProgramStateRef FreeMemAux(CheckerContext &C, const Expr *Arg,
345 ProgramStateRef State,
350 ProgramStateRef ReallocMemAux(CheckerContext &C, const CallExpr *CE,
352 ProgramStateRef State,
356 static ProgramStateRef CallocMem(CheckerContext &C, const CallExpr *CE,
357 ProgramStateRef State);
380 ProgramStateRef State,
384 ProgramStateRef checkPointerEscapeAux(ProgramStateRef State,
576 ProgramStateRef state;
578 StopTrackingCallback(ProgramStateRef st) : state(std::move(st)) {} in StopTrackingCallback()
579 ProgramStateRef getState() const { return state; } in getState()
734 llvm::Optional<ProgramStateRef> MallocChecker::performKernelMalloc( in performKernelMalloc()
735 const CallExpr *CE, CheckerContext &C, const ProgramStateRef &State) const { in performKernelMalloc()
800 ProgramStateRef TrueState, FalseState; in performKernelMalloc()
817 ProgramStateRef State = C.getState(); in evalMulForBufferSize()
831 ProgramStateRef State = C.getState(); in checkPostStmt()
846 llvm::Optional<ProgramStateRef> MaybeState = in checkPostStmt()
856 llvm::Optional<ProgramStateRef> MaybeState = in checkPostStmt()
972 ProgramStateRef MallocChecker::ProcessZeroAllocation( in ProcessZeroAllocation()
974 ProgramStateRef State, Optional<SVal> RetVal) const { in ProcessZeroAllocation()
1003 ProgramStateRef TrueState, FalseState; in ProcessZeroAllocation()
1083 ProgramStateRef State = C.getState(); in processNewAllocation()
1110 ProgramStateRef MallocChecker::addExtentSize(CheckerContext &C, in addExtentSize()
1112 ProgramStateRef State, in addExtentSize()
1163 ProgramStateRef State = C.getState(); in checkPreStmt()
1207 ProgramStateRef State = FreeMemAux(C, Call.getArgExpr(0), in checkPostObjCMessage()
1215 ProgramStateRef
1218 ProgramStateRef State) const { in MallocMemReturnsAttr()
1233 ProgramStateRef MallocChecker::MallocMemAux(CheckerContext &C, in MallocMemAux()
1236 ProgramStateRef State, in MallocMemAux()
1244 ProgramStateRef MallocChecker::MallocMemAux(CheckerContext &C, in MallocMemAux()
1247 ProgramStateRef State, in MallocMemAux()
1288 ProgramStateRef MallocChecker::MallocUpdateRefState(CheckerContext &C, in MallocUpdateRefState()
1290 ProgramStateRef State, in MallocUpdateRefState()
1313 ProgramStateRef MallocChecker::FreeMemAttr(CheckerContext &C, in FreeMemAttr()
1316 ProgramStateRef State) const { in FreeMemAttr()
1326 ProgramStateRef StateI = FreeMemAux( in FreeMemAttr()
1335 ProgramStateRef MallocChecker::FreeMemAux(CheckerContext &C, in FreeMemAux()
1337 ProgramStateRef State, in FreeMemAux()
1354 static bool didPreviousFreeFail(ProgramStateRef State, in didPreviousFreeFail()
1480 ProgramStateRef MallocChecker::FreeMemAux(CheckerContext &C, in FreeMemAux()
1483 ProgramStateRef State, in FreeMemAux()
1501 ProgramStateRef notNullState, nullState; in FreeMemAux()
2119 ProgramStateRef MallocChecker::ReallocMemAux(CheckerContext &C, in ReallocMemAux()
2122 ProgramStateRef State, in ReallocMemAux()
2158 ProgramStateRef StatePtrIsNull, StatePtrNotNull; in ReallocMemAux()
2160 ProgramStateRef StateSizeIsZero, StateSizeNotZero; in ReallocMemAux()
2170 ProgramStateRef stateMalloc = MallocMemAux(C, CE, TotalSize, in ReallocMemAux()
2190 if (ProgramStateRef stateFree = FreeMemAux(C, CE, StateSizeIsZero, 0, in ReallocMemAux()
2200 if (ProgramStateRef stateFree = in ReallocMemAux()
2203 ProgramStateRef stateRealloc = MallocMemAux(C, CE, TotalSize, in ReallocMemAux()
2225 ProgramStateRef MallocChecker::CallocMem(CheckerContext &C, const CallExpr *CE, in CallocMem()
2226 ProgramStateRef State) { in CallocMem()
2250 ProgramStateRef State = N->getState(); in getAllocationSite()
2348 ProgramStateRef state = C.getState(); in checkDeadSymbols()
2472 ProgramStateRef State = C.getState(); in checkEscapeOnReturn()
2501 ProgramStateRef state = C.getState(); in checkPostStmt()
2579 ProgramStateRef MallocChecker::evalAssume(ProgramStateRef state, in evalAssume()
2621 ProgramStateRef State, in mayFreeAnyEscapedMemoryOrIsModeledExplicitly()
2794 ProgramStateRef MallocChecker::checkPointerEscape(ProgramStateRef State, in checkPointerEscape()
2801 ProgramStateRef MallocChecker::checkConstPointerEscape(ProgramStateRef State, in checkConstPointerEscape()
2809 ProgramStateRef MallocChecker::checkPointerEscapeAux(ProgramStateRef State, in checkPointerEscapeAux()
2843 static SymbolRef findFailedReallocSymbol(ProgramStateRef currState, in findFailedReallocSymbol()
2844 ProgramStateRef prevState) { in findFailedReallocSymbol()
2874 ProgramStateRef state = N->getState(); in VisitNode()
2875 ProgramStateRef statePrev = N->getFirstPred()->getState(); in VisitNode()
3052 void MallocChecker::printState(raw_ostream &Out, ProgramStateRef State, in printState()
3080 ProgramStateRef
3081 markReleased(ProgramStateRef State, SymbolRef Sym, const Expr *Origin) { in markReleased()