Lines Matching refs:getState

867   ProgramStateRef getState() const { return state; }  in getState()  function in __anon093a02e60511::StopTrackingCallback
1009 ProgramStateRef State = C.getState(); in evalMulForBufferSize()
1017 ProgramStateRef State = C.getState(); in checkBasicAlloc()
1026 ProgramStateRef State = C.getState(); in checkKernelMalloc()
1075 ProgramStateRef State = C.getState(); in checkRealloc()
1083 ProgramStateRef State = C.getState(); in checkCalloc()
1091 ProgramStateRef State = C.getState(); in checkFree()
1102 ProgramStateRef State = C.getState(); in checkAlloca()
1111 ProgramStateRef State = C.getState(); in checkStrdup()
1122 ProgramStateRef State = C.getState(); in checkIfNameIndex()
1133 ProgramStateRef State = C.getState(); in checkIfFreeNameIndex()
1142 ProgramStateRef State = C.getState(); in checkCXXNewOrCXXDelete()
1183 ProgramStateRef State = C.getState(); in checkGMalloc0()
1193 ProgramStateRef State = C.getState(); in checkGMemdup()
1202 ProgramStateRef State = C.getState(); in checkGMallocN()
1213 ProgramStateRef State = C.getState(); in checkGMallocN0()
1225 ProgramStateRef State = C.getState(); in checkReallocN()
1235 ProgramStateRef State = C.getState(); in checkOwnershipAttr()
1269 ProgramStateRef State = C.getState(); in checkPostCall()
1408 ProgramStateRef State = C.getState(); in processNewAllocation()
1477 FreeMemAux(C, Call.getArgExpr(0), Call, C.getState(), in checkPostObjCMessage()
1903 if (C.getState()->contains<ReallocSizeZeroSymbols>(Sym)) in getCheckIfTracked()
1906 const RefState *RS = C.getState()->get<RegionState>(Sym); in getCheckIfTracked()
2208 C.getState()->get<RegionState>(Sym)->getAllocationFamily(); in HandleUseAfterFree()
2491 ProgramStateRef State = N->getState(); in getAllocationSite()
2529 const RefState *RS = C.getState()->get<RegionState>(Sym); in HandleLeak()
2588 ProgramStateRef state = C.getState(); in checkDeadSymbols()
2606 C.getState()->get<ReallocPairs>()); in checkDeadSymbols()
2608 C.getState()->get<FreeReturnValue>()); in checkDeadSymbols()
2634 N = C.generateNonFatalErrorNode(C.getState(), &Tag); in checkDeadSymbols()
2659 ProgramStateRef State = C.getState(); in checkPreCall()
2728 ProgramStateRef State = C.getState(); in checkEscapeOnReturn()
2757 ProgramStateRef state = C.getState(); in checkPostStmt()
2780 state->scanReachableSymbols<StopTrackingCallback>(Regions).getState(); in checkPostStmt()
2786 const RefState *RS = C.getState()->get<RegionState>(Sym); in isReleased()
2808 ProgramStateRef State = C.getState(); in suppressDeallocationsInSuspiciousContexts()
2834 if (const RefState *RS = C.getState()->get<RegionState>(Sym)) { in checkUseZeroAllocated()
2838 else if (C.getState()->contains<ReallocSizeZeroSymbols>(Sym)) { in checkUseZeroAllocated()
3161 ProgramStateRef state = N->getState(); in VisitNode()
3162 ProgramStateRef statePrev = N->getFirstPred()->getState(); in VisitNode()