| /external/clang/lib/StaticAnalyzer/Checkers/ |
| UndefResultChecker.cpp | 42 if (state->getSVal(B, LCtx).isUndef()) {
56 if (state->getSVal(B->getLHS(), LCtx).isUndef()) {
60 else if (state->getSVal(B->getRHS(), LCtx).isUndef()) {
|
| PthreadLockChecker.cpp | 63 AcquireLock(C, CE, state->getSVal(CE->getArg(0), LCtx),
68 AcquireLock(C, CE, state->getSVal(CE->getArg(0), LCtx),
73 AcquireLock(C, CE, state->getSVal(CE->getArg(0), LCtx),
78 AcquireLock(C, CE, state->getSVal(CE->getArg(0), LCtx),
84 ReleaseLock(C, CE, state->getSVal(CE->getArg(0), LCtx));
97 SVal X = state->getSVal(CE, C.getLocationContext());
|
| BuiltinFunctionChecker.cpp | 49 SVal X = state->getSVal(*(CE->arg_begin()), LCtx);
64 state->getSVal(*(CE->arg_begin()), LCtx).castAs<DefinedOrUnknownSVal>();
|
| PointerArithChecker.cpp | 41 SVal LV = state->getSVal(B->getLHS(), LCtx);
42 SVal RV = state->getSVal(B->getRHS(), LCtx);
|
| PointerSubChecker.cpp | 44 SVal LV = state->getSVal(B->getLHS(), LCtx);
45 SVal RV = state->getSVal(B->getRHS(), LCtx);
|
| FixedAddressChecker.cpp | 48 SVal RV = state->getSVal(B->getRHS(), C.getLocationContext());
|
| ObjCContainersChecker.cpp | 41 SVal ArrayRef = C.getState()->getSVal(E, C.getLocationContext());
64 SVal SizeV = State->getSVal(Size, C.getLocationContext());
70 SVal ArrayRef = State->getSVal(Array, C.getLocationContext());
126 SVal IdxVal = State->getSVal(IdxExpr, C.getLocationContext());
|
| UndefinedArraySubscriptChecker.cpp | 37 if (C.getState()->getSVal(A->getIdx(), C.getLocationContext()).isUndef()) {
|
| UndefBranchChecker.cpp | 51 return St->getSVal(Ex, LCtx).isUndef();
63 SVal X = Ctx.getState()->getSVal(Condition, Ctx.getLocationContext());
|
| UndefCapturedBlockVarChecker.cpp | 62 cast<BlockDataRegion>(state->getSVal(BE,
79 state->getSVal(I.getOriginalRegion()).getAs<UndefinedVal>()) {
|
| StreamChecker.cpp | 243 if (!CheckNullStream(state->getSVal(CE->getArg(3), C.getLocationContext()),
250 if (!CheckNullStream(state->getSVal(CE->getArg(3), C.getLocationContext()),
257 if (!(state = CheckNullStream(state->getSVal(CE->getArg(0),
261 SVal Whence = state->getSVal(CE->getArg(2), C.getLocationContext());
284 if (!CheckNullStream(state->getSVal(CE->getArg(0), C.getLocationContext()),
291 if (!CheckNullStream(state->getSVal(CE->getArg(0), C.getLocationContext()),
298 if (!CheckNullStream(state->getSVal(CE->getArg(0), C.getLocationContext()),
305 if (!CheckNullStream(state->getSVal(CE->getArg(0), C.getLocationContext()),
312 if (!CheckNullStream(state->getSVal(CE->getArg(0), C.getLocationContext()),
319 if (!CheckNullStream(state->getSVal(CE->getArg(0), C.getLocationContext())
[all...] |
| MacOSXAPIChecker.cpp | 61 state->getSVal(CE->getArg(0), C.getLocationContext()).getAsRegion();
|
| ObjCAtSyncChecker.cpp | 42 SVal V = state->getSVal(Ex, C.getLocationContext());
|
| ReturnPointerRangeChecker.cpp | 42 SVal V = state->getSVal(RetE, C.getLocationContext());
|
| UndefinedAssignmentChecker.cpp | 58 if (state->getSVal(B->getLHS(), C.getLocationContext()).isUndef()) {
|
| ObjCSelfInitChecker.cpp | 140 SVal exprVal = C.getState()->getSVal(E, C.getLocationContext());
190 SVal V = state->getSVal(Msg.getOriginExpr(), C.getLocationContext());
258 unsigned selfFlags = getSelfFlags(state->getSVal(argV.castAs<Loc>()), C);
289 addSelfFlag(state, state->getSVal(argV.castAs<Loc>()), prevFlags, C);
315 addSelfFlag(state, state->getSVal(location.castAs<Loc>()), SelfFlag_Self,
|
| CastSizeChecker.cpp | 48 const MemRegion *R = state->getSVal(E, C.getLocationContext()).getAsRegion();
|
| DivZeroChecker.cpp | 60 SVal Denom = C.getState()->getSVal(B->getRHS(), C.getLocationContext());
|
| NoReturnFunctionChecker.cpp | 46 SVal L = state->getSVal(Callee, C.getLocationContext());
|
| /external/clang/examples/analyzer-plugin/ |
| MainCallChecker.cpp | 22 const FunctionDecl *FD = state->getSVal(Callee, LC).getAsFunctionDecl();
|
| /external/clang/lib/StaticAnalyzer/Core/ |
| ExprEngineC.cpp | 40 SVal LeftV = state->getSVal(LHS, LCtx);
41 SVal RightV = state->getSVal(RHS, LCtx);
123 SVal V = state->getSVal(LHS, LCtx);
201 SVal originalV = State->getSVal(loc::MemRegionVal(originalR));
229 evalLoad(Dst, CastE, CastE, subExprNode, state, state->getSVal(Ex, LCtx));
275 SVal V = state->getSVal(Ex, LCtx);
312 SVal V = state->getSVal(Ex, LCtx);
321 SVal val = state->getSVal(Ex, LCtx);
329 SVal val = state->getSVal(Ex, LCtx);
408 SVal ILV = state->getSVal(ILE, Pred->getLocationContext())
[all...] |
| ExprEngineCXX.cpp | 33 SVal V = state->getSVal(tempExpr, LCtx);
80 V = Pred->getState()->getSVal(*L);
147 SVal ThisVal = State->getSVal(ThisPtr);
176 SVal ThisVal = State->getSVal(ThisPtr);
326 SVal PlacementLoc = State->getSVal(CNE->getPlacementArg(0), LCtx);
341 SVal Location = State->getSVal(CNE, LCtx);
343 State = State->bindLoc(*LV, State->getSVal(Init, LCtx));
388 SVal V = state->getSVal(loc::MemRegionVal(R));
|
| CheckerContext.cpp | 25 SVal L = State->getSVal(Callee, Pred->getLocationContext());
|
| /external/clang/include/clang/StaticAnalyzer/Core/PathSensitive/ |
| CheckerContext.h | 194 SVal getSVal(const Stmt *S) const {
195 return getState()->getSVal(S, getLocationContext());
|
| Environment.h | 77 SVal getSVal(const EnvironmentEntry &E, SValBuilder &svalBuilder) const;
|
