Lines Matching refs:ProgramStateRef
63 void checkLiveSymbols(ProgramStateRef state, SymbolReaper &SR) const;
66 ProgramStateRef
67 checkRegionChanges(ProgramStateRef state,
82 ProgramStateRef state,
130 std::pair<ProgramStateRef , ProgramStateRef >
132 ProgramStateRef state, SVal V, QualType Ty);
134 static ProgramStateRef setCStringLength(ProgramStateRef state,
138 ProgramStateRef &state,
143 ProgramStateRef &state,
149 ProgramStateRef &state,
153 static ProgramStateRef InvalidateBuffer(CheckerContext &C,
154 ProgramStateRef state,
164 ProgramStateRef &State);
167 ProgramStateRef checkNonNull(CheckerContext &C,
168 ProgramStateRef state,
171 ProgramStateRef CheckLocation(CheckerContext &C,
172 ProgramStateRef state,
176 ProgramStateRef CheckBufferAccess(CheckerContext &C,
177 ProgramStateRef state,
185 ProgramStateRef CheckBufferAccess(CheckerContext &C, in CheckBufferAccess()
186 ProgramStateRef state, in CheckBufferAccess()
195 ProgramStateRef CheckOverlap(CheckerContext &C,
196 ProgramStateRef state,
201 ProgramStateRef state,
205 void emitNullArgBug(CheckerContext &C, ProgramStateRef State, const Stmt *S,
207 void emitOutOfBoundsBug(CheckerContext &C, ProgramStateRef State,
209 void emitNotCStringBug(CheckerContext &C, ProgramStateRef State,
211 void emitAdditionOverflowBug(CheckerContext &C, ProgramStateRef State) const;
213 ProgramStateRef checkAdditionOverflow(CheckerContext &C,
214 ProgramStateRef state,
222 ProgramStateRef state,
235 std::pair<ProgramStateRef , ProgramStateRef > in REGISTER_MAP_WITH_PROGRAMSTATE()
236 CStringChecker::assumeZero(CheckerContext &C, ProgramStateRef state, SVal V, in REGISTER_MAP_WITH_PROGRAMSTATE()
240 return std::pair<ProgramStateRef , ProgramStateRef >(state, state); in REGISTER_MAP_WITH_PROGRAMSTATE()
247 ProgramStateRef CStringChecker::checkNonNull(CheckerContext &C, in checkNonNull()
248 ProgramStateRef state, in checkNonNull()
254 ProgramStateRef stateNull, stateNonNull; in checkNonNull()
275 ProgramStateRef CStringChecker::CheckLocation(CheckerContext &C, in CheckLocation()
276 ProgramStateRef state, in CheckLocation()
305 ProgramStateRef StInBound = state->assumeInBound(Idx, Size, true); in CheckLocation()
306 ProgramStateRef StOutBound = state->assumeInBound(Idx, Size, false); in CheckLocation()
335 ProgramStateRef CStringChecker::CheckBufferAccess(CheckerContext &C, in CheckBufferAccess()
336 ProgramStateRef state, in CheckBufferAccess()
414 ProgramStateRef CStringChecker::CheckOverlap(CheckerContext &C, in CheckOverlap()
415 ProgramStateRef state, in CheckOverlap()
430 ProgramStateRef stateTrue, stateFalse; in CheckOverlap()
527 void CStringChecker::emitOverlapBug(CheckerContext &C, ProgramStateRef state, in emitOverlapBug()
546 void CStringChecker::emitNullArgBug(CheckerContext &C, ProgramStateRef State, in emitNullArgBug()
564 ProgramStateRef State, const Stmt *S, in emitOutOfBoundsBug()
585 void CStringChecker::emitNotCStringBug(CheckerContext &C, ProgramStateRef State, in emitNotCStringBug()
602 ProgramStateRef State) const { in emitAdditionOverflowBug()
621 ProgramStateRef CStringChecker::checkAdditionOverflow(CheckerContext &C, in checkAdditionOverflow()
622 ProgramStateRef state, in checkAdditionOverflow()
658 ProgramStateRef stateOverflow, stateOkay; in checkAdditionOverflow()
676 ProgramStateRef CStringChecker::setCStringLength(ProgramStateRef state, in setCStringLength()
717 ProgramStateRef &state, in getCStringLengthForRegion()
755 SVal CStringChecker::getCStringLength(CheckerContext &C, ProgramStateRef &state, in getCStringLength()
830 ProgramStateRef &state, const Expr *expr, SVal val) const { in getCStringLiteral()
850 ProgramStateRef state, in IsFirstBufInBound()
910 ProgramStateRef StInBound = state->assumeInBound(Idx, ExtentSize, true); in IsFirstBufInBound()
915 ProgramStateRef CStringChecker::InvalidateBuffer(CheckerContext &C, in InvalidateBuffer()
916 ProgramStateRef state, in InvalidateBuffer()
1011 ProgramStateRef &State) { in memsetAux()
1040 ProgramStateRef StateWholeReg, StateNotWholeReg; in memsetAux()
1048 ProgramStateRef StateNullChar, StateNonNullChar; in memsetAux()
1103 ProgramStateRef state, in evalCopyCommon()
1114 ProgramStateRef stateZeroSize, stateNonZeroSize; in evalCopyCommon()
1210 ProgramStateRef state = C.getState(); in evalMemcpy()
1222 ProgramStateRef state = C.getState(); in evalMempcpy()
1234 ProgramStateRef state = C.getState(); in evalMemmove()
1259 ProgramStateRef state = C.getState(); in evalMemcmp()
1267 ProgramStateRef stateZeroSize, stateNonZeroSize; in evalMemcmp()
1293 ProgramStateRef StSameBuf, StNotSameBuf; in evalMemcmp()
1345 ProgramStateRef state = C.getState(); in evalstrLengthCommon()
1352 ProgramStateRef stateZeroSize, stateNonZeroSize; in evalstrLengthCommon()
1404 ProgramStateRef stateStringTooLong, stateStringNotTooLong; in evalstrLengthCommon()
1544 ProgramStateRef state = C.getState(); in evalStrcpyCommon()
1600 ProgramStateRef stateSourceTooLong, stateSourceNotTooLong; in evalStrcpyCommon()
1651 ProgramStateRef StateZeroSize, StateNonZeroSize; in evalStrcpyCommon()
1920 ProgramStateRef state = C.getState(); in evalStrcmpCommon()
1956 ProgramStateRef StSameBuf, StNotSameBuf; in evalStrcmpCommon()
2057 ProgramStateRef State = C.getState(); in evalStrsep()
2120 ProgramStateRef State = C.getState(); in evalStdCopyCommon()
2152 ProgramStateRef State = C.getState(); in evalMemset()
2159 ProgramStateRef StateZeroSize, StateNonZeroSize; in evalMemset()
2204 ProgramStateRef State = C.getState(); in evalBzero()
2210 ProgramStateRef StateZeroSize, StateNonZeroSize; in evalBzero()
2356 ProgramStateRef state = C.getState(); in checkPreStmt()
2389 ProgramStateRef
2390 CStringChecker::checkRegionChanges(ProgramStateRef state, in checkRegionChanges()
2443 void CStringChecker::checkLiveSymbols(ProgramStateRef state, in checkLiveSymbols()
2460 ProgramStateRef state = C.getState(); in checkDeadSymbols()