| /external/clang/lib/StaticAnalyzer/Checkers/ |
| TestAfterDivZeroChecker.cpp | 119 SVal S = State->getSVal(E, Succ->getLocationContext());
208 SVal S = C.getSVal(B->getRHS());
229 SVal Val = C.getSVal(LRHS ? B->getLHS() : B->getRHS());
238 Val = C.getSVal(I->getSubExpr());
243 Val = C.getSVal(U->getSubExpr());
250 SVal Val = C.getSVal(IE->getSubExpr());
255 SVal Val = C.getSVal(Condition);
|
| StreamChecker.cpp | 246 if (!CheckNullStream(state->getSVal(CE->getArg(3), C.getLocationContext()),
253 if (!CheckNullStream(state->getSVal(CE->getArg(3), C.getLocationContext()),
260 if (!(state = CheckNullStream(state->getSVal(CE->getArg(0),
264 SVal Whence = state->getSVal(CE->getArg(2), C.getLocationContext());
287 if (!CheckNullStream(state->getSVal(CE->getArg(0), C.getLocationContext()),
294 if (!CheckNullStream(state->getSVal(CE->getArg(0), C.getLocationContext()),
301 if (!CheckNullStream(state->getSVal(CE->getArg(0), C.getLocationContext()),
308 if (!CheckNullStream(state->getSVal(CE->getArg(0), C.getLocationContext()),
315 if (!CheckNullStream(state->getSVal(CE->getArg(0), C.getLocationContext()),
322 if (!CheckNullStream(state->getSVal(CE->getArg(0), C.getLocationContext())
[all...] |
| PointerArithChecker.cpp | 111 SVal S = State->getSVal(Region);
159 State->getSVal(E, C.getLocationContext()).getAsRegion();
231 SVal SV = State->getSVal(CE, C.getLocationContext());
252 SVal AllocedVal = State->getSVal(NE, C.getLocationContext());
267 SVal CastedVal = State->getSVal(CastedExpr, C.getLocationContext());
285 SVal CastedVal = State->getSVal(CastedExpr, C.getLocationContext());
309 SVal Idx = State->getSVal(SubsExpr->getIdx(), C.getLocationContext());
328 SVal RHSVal = State->getSVal(Rhs, C.getLocationContext());
335 SVal LHSVal = State->getSVal(Lhs, C.getLocationContext());
|
| UndefResultChecker.cpp | 42 if (state->getSVal(B, LCtx).isUndef()) {
66 if (state->getSVal(B->getLHS(), LCtx).isUndef()) {
70 else if (state->getSVal(B->getRHS(), LCtx).isUndef()) {
|
| PthreadLockChecker.cpp | 95 AcquireLock(C, CE, state->getSVal(CE->getArg(0), LCtx),
100 AcquireLock(C, CE, state->getSVal(CE->getArg(0), LCtx),
105 AcquireLock(C, CE, state->getSVal(CE->getArg(0), LCtx),
110 AcquireLock(C, CE, state->getSVal(CE->getArg(0), LCtx),
116 ReleaseLock(C, CE, state->getSVal(CE->getArg(0), LCtx));
119 DestroyLock(C, CE, state->getSVal(CE->getArg(0), LCtx));
121 InitLock(C, CE, state->getSVal(CE->getArg(0), LCtx));
134 SVal X = state->getSVal(CE, C.getLocationContext());
|
| ExprInspectionChecker.cpp | 79 SVal AssertionVal = State->getSVal(Assertion, LC);
150 SVal V = C.getSVal(CE->getArg(0));
160 auto MR = dyn_cast_or_null<SubRegion>(C.getSVal(CE->getArg(0)).getAsRegion());
174 SVal Val = C.getSVal(CE->getArg(0));
|
| ObjCContainersChecker.cpp | 42 SVal ArrayRef = C.getState()->getSVal(E, C.getLocationContext());
69 SVal SizeV = State->getSVal(Size, C.getLocationContext());
75 SVal ArrayRef = State->getSVal(Array, C.getLocationContext());
131 SVal IdxVal = State->getSVal(IdxExpr, C.getLocationContext());
|
| PointerSubChecker.cpp | 44 SVal LV = state->getSVal(B->getLHS(), LCtx);
45 SVal RV = state->getSVal(B->getRHS(), LCtx);
|
| UndefCapturedBlockVarChecker.cpp | 59 cast<BlockDataRegion>(state->getSVal(BE,
76 state->getSVal(I.getOriginalRegion()).getAs<UndefinedVal>()) {
|
| FixedAddressChecker.cpp | 48 SVal RV = state->getSVal(B->getRHS(), C.getLocationContext());
|
| BuiltinFunctionChecker.cpp | 53 SVal X = state->getSVal(*(CE->arg_begin()), LCtx);
68 state->getSVal(*(CE->arg_begin()), LCtx).castAs<DefinedOrUnknownSVal>();
|
| UndefBranchChecker.cpp | 50 return St->getSVal(Ex, LCtx).isUndef();
62 SVal X = Ctx.getState()->getSVal(Condition, Ctx.getLocationContext());
|
| ObjCSelfInitChecker.cpp | 135 SVal exprVal = C.getState()->getSVal(E, C.getLocationContext());
186 SVal V = state->getSVal(Msg.getOriginExpr(), C.getLocationContext());
255 unsigned selfFlags = getSelfFlags(state->getSVal(argV.castAs<Loc>()), C);
286 addSelfFlag(state, state->getSVal(argV.castAs<Loc>()), prevFlags, C);
312 addSelfFlag(state, state->getSVal(location.castAs<Loc>()), SelfFlag_Self,
|
| CStringChecker.cpp | 369 SVal BufVal = state->getSVal(FirstBuf, LCtx);
381 SVal LengthVal = state->getSVal(Size, LCtx);
407 BufVal = state->getSVal(SecondBuf, LCtx);
446 SVal firstVal = state->getSVal(First, LCtx);
447 SVal secondVal = state->getSVal(Second, LCtx);
496 SVal LengthVal = state->getSVal(Size, LCtx);
[all...] |
| /external/clang/lib/StaticAnalyzer/Core/ |
| ExprEngineC.cpp | 40 SVal LeftV = state->getSVal(LHS, LCtx);
41 SVal RightV = state->getSVal(RHS, LCtx);
132 SVal V = state->getSVal(LHS, LCtx);
230 originalV = State->getSVal(copyExpr, Pred->getLocationContext());
232 originalV = State->getSVal(loc::MemRegionVal(originalR));
261 evalLoad(Dst, CastE, CastE, subExprNode, state, state->getSVal(Ex, LCtx));
307 SVal V = state->getSVal(Ex, LCtx);
346 SVal V = state->getSVal(Ex, LCtx);
357 SVal V = state->getSVal(Ex, LCtx);
366 SVal val = state->getSVal(Ex, LCtx)
[all...] |
| ExprEngineCXX.cpp | 66 V = Pred->getState()->getSVal(*L);
132 SVal ThisVal = State->getSVal(ThisPtr);
274 SVal ThisVal = State->getSVal(ThisPtr);
508 SVal PlacementLoc = State->getSVal(CNE->getPlacementArg(0), LCtx);
525 evalBind(Dst, CNE, NewN, Result, State->getSVal(Init, LCtx),
569 SVal V = state->getSVal(loc::MemRegionVal(R));
597 InitVal = State->getSVal(InitExpr, LocCtxt);
603 InitVal = State->getSVal(SizeExpr, LocCtxt);
612 SVal LambdaRVal = State->getSVal(R);
|
| CallEvent.cpp | 227 return getSVal(ArgE);
241 return getSVal(E);
417 return getSVal(getOriginExpr()->getCallee()).getAsFunctionDecl();
430 return getSVal(CE->getCallee()).getAsFunctionDecl();
465 SVal ThisVal = getSVal(Base);
590 const MemRegion *DataReg = getSVal(Callee).getAsRegion();
709 return getState()->getSVal(getState()->getRegion(SelfDecl, LCtx));
718 return getSVal(RecE);
736 SVal RecVal = getSVal(getOriginExpr()->getInstanceReceiver());
[all...] |
| ExprEngine.cpp | 131 SVal V = state->getSVal(loc::MemRegionVal(R));
154 SVal V = state->getSVal(loc::MemRegionVal(R));
171 SVal V = state->getSVal(L);
188 SVal V = State->getSVal(Ex, LC);
471 SVal thisVal = State->getSVal(svalBuilder.getCXXThis(decl, stackFrame));
503 SVal LValue = State->getSVal(Init, stackFrame);
505 InitVal = State->getSVal(*LValueLoc);
515 InitVal = State->getSVal(BMI->getInit(), stackFrame);
602 Region = state->getSVal(Region).getAsRegion();
616 SVal ArgVal = State->getSVal(Arg, LCtx)
[all...] |
| /external/antlr/antlr-3.4/runtime/ObjC/ANTLR.framework/Headers/ |
| ANTLRTreePatternLexer.h | 73 @property (retain, getter=getSval, setter=setSval:) NSMutableData *sval;
84 - (NSMutableData *)getSval;
|
| /external/antlr/antlr-3.4/runtime/ObjC/ANTLR.framework/Versions/A/Headers/ |
| ANTLRTreePatternLexer.h | 73 @property (retain, getter=getSval, setter=setSval:) NSMutableData *sval;
84 - (NSMutableData *)getSval;
|
| /external/antlr/antlr-3.4/runtime/ObjC/ANTLR.framework/Versions/Current/Headers/ |
| ANTLRTreePatternLexer.h | 73 @property (retain, getter=getSval, setter=setSval:) NSMutableData *sval;
84 - (NSMutableData *)getSval;
|
| /external/antlr/antlr-3.4/runtime/ObjC/Framework/ |
| ANTLRTreePatternLexer.h | 73 @property (retain, getter=getSval, setter=setSval:) NSMutableData *sval;
86 - (NSMutableData *)getSval;
|
| /external/clang/examples/analyzer-plugin/ |
| MainCallChecker.cpp | 22 const FunctionDecl *FD = state->getSVal(Callee, LC).getAsFunctionDecl();
|
| /external/one-true-awk/ |
| run.c | 317 dprintf( ("%s returns %g |%s| %o\n", s, getfval(z), getsval(z), z->tval) );
364 setsval(fp->retval, getsval(y));
369 setsval(fp->retval, getsval(y));
411 fp = openfile(mode, getsval(x));
468 s = getsval(y);
515 s = getsval(y);
554 s = getsval(x);
585 s = getsval(x);
590 t = getsval(y);
657 i = strcmp(getsval(x), getsval(y))
[all...] |
| /external/clang/include/clang/StaticAnalyzer/Core/PathSensitive/ |
| Environment.h | 78 SVal getSVal(const EnvironmentEntry &E, SValBuilder &svalBuilder) const;
|
