|
|
reference, declaration → definition
definition → references, declarations, derived classes, virtual overrides
reference to multiple definitions → definitions
unreferenced
|
References
tools/clang/lib/StaticAnalyzer/Checkers/CStringChecker.cpp 1148 SVal sizeVal = state->getSVal(Size, LCtx);
1153 assumeZero(C, state, sizeVal, sizeTy);
1156 SVal destVal = state->getSVal(Dest, LCtx);
1168 state = stateNonZeroSize;
1172 state = checkNonNull(C, state, Dest, destVal, 1);
1172 state = checkNonNull(C, state, Dest, destVal, 1);
1173 if (!state)
1177 SVal srcVal = state->getSVal(Source, LCtx);
1181 state = checkNonNull(C, state, Source, srcVal, 2);
1181 state = checkNonNull(C, state, Source, srcVal, 2);
1182 if (!state)
1188 state = CheckBufferAccess(C, state, Size, Dest, Source,
1188 state = CheckBufferAccess(C, state, Size, Dest, Source,
1191 state = CheckOverlap(C, state, Size, Dest, Source);
1191 state = CheckOverlap(C, state, Size, Dest, Source);
1193 if (!state)
1206 state, BO_Add, DestRegCharVal, sizeVal, Dest->getType());
1214 state = state->BindExpr(CE, LCtx, lastElement);
1214 state = state->BindExpr(CE, LCtx, lastElement);
1218 state = state->BindExpr(CE, LCtx, destVal);
1218 state = state->BindExpr(CE, LCtx, destVal);
1227 state = InvalidateBuffer(C, state, Dest, C.getSVal(Dest),
1227 state = InvalidateBuffer(C, state, Dest, C.getSVal(Dest),
1232 state = InvalidateBuffer(C, state, Source, C.getSVal(Source),
1232 state = InvalidateBuffer(C, state, Source, C.getSVal(Source),
1235 C.addTransition(state);