/external/clang/lib/StaticAnalyzer/Checkers/ |
TestAfterDivZeroChecker.cpp | 119 SVal S = State->getSVal(E, Succ->getLocationContext()); 207 SVal S = C.getSVal(B->getRHS()); 228 SVal Val = C.getSVal(LRHS ? B->getLHS() : B->getRHS()); 237 Val = C.getSVal(I->getSubExpr()); 242 Val = C.getSVal(U->getSubExpr()); 249 SVal Val = C.getSVal(IE->getSubExpr()); 254 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()); 288 if (!CheckNullStream(state->getSVal(CE->getArg(0), C.getLocationContext()), 295 if (!CheckNullStream(state->getSVal(CE->getArg(0), C.getLocationContext()), 302 if (!CheckNullStream(state->getSVal(CE->getArg(0), C.getLocationContext()), 309 if (!CheckNullStream(state->getSVal(CE->getArg(0), C.getLocationContext()), 316 if (!CheckNullStream(state->getSVal(CE->getArg(0), C.getLocationContext()), 323 if (!CheckNullStream(state->getSVal(CE->getArg(0), C.getLocationContext()) [all...] |
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());
|
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());
|
BuiltinFunctionChecker.cpp | 50 SVal X = state->getSVal(*(CE->arg_begin()), LCtx); 65 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);
|
UndefCapturedBlockVarChecker.cpp | 62 cast<BlockDataRegion>(state->getSVal(BE, 79 state->getSVal(I.getOriginalRegion()).getAs<UndefinedVal>()) {
|
FixedAddressChecker.cpp | 48 SVal RV = state->getSVal(B->getRHS(), C.getLocationContext());
|
UndefinedArraySubscriptChecker.cpp | 39 if (!C.getSVal(Index).isUndef())
|
UndefBranchChecker.cpp | 51 return St->getSVal(Ex, LCtx).isUndef(); 63 SVal X = Ctx.getState()->getSVal(Condition, Ctx.getLocationContext());
|
ObjCSelfInitChecker.cpp | 135 SVal exprVal = C.getState()->getSVal(E, C.getLocationContext()); 187 SVal V = state->getSVal(Msg.getOriginExpr(), C.getLocationContext()); 256 unsigned selfFlags = getSelfFlags(state->getSVal(argV.castAs<Loc>()), C); 287 addSelfFlag(state, state->getSVal(argV.castAs<Loc>()), prevFlags, C); 313 addSelfFlag(state, state->getSVal(location.castAs<Loc>()), SelfFlag_Self,
|
DynamicTypePropagation.cpp | 179 const MemRegion *ToR = C.getSVal(CastE).getAsRegion(); 201 const MemRegion *MR = C.getSVal(NewE).getAsRegion(); 249 const MemRegion *ToR = C.getSVal(CastE).getAsRegion();
|
CStringChecker.cpp | 356 SVal BufVal = state->getSVal(FirstBuf, LCtx); 368 SVal LengthVal = state->getSVal(Size, LCtx); 394 BufVal = state->getSVal(SecondBuf, LCtx); 433 SVal firstVal = state->getSVal(First, LCtx); 434 SVal secondVal = state->getSVal(Second, LCtx); 483 SVal LengthVal = state->getSVal(Size, 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/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); 211 SVal originalV = State->getSVal(loc::MemRegionVal(originalR)); 239 evalLoad(Dst, CastE, CastE, subExprNode, state, state->getSVal(Ex, LCtx)); 285 SVal V = state->getSVal(Ex, LCtx); 324 SVal V = state->getSVal(Ex, LCtx); 333 SVal val = state->getSVal(Ex, LCtx); 341 SVal val = state->getSVal(Ex, LCtx); 419 SVal V = State->getSVal(CL->getInitializer(), LCtx) [all...] |
CallEvent.cpp | 199 return getSVal(ArgE); 213 return getSVal(E); 389 return getSVal(getOriginExpr()->getCallee()).getAsFunctionDecl(); 402 return getSVal(CE->getCallee()).getAsFunctionDecl(); 415 SVal ThisVal = getSVal(Base); 540 const MemRegion *DataReg = getSVal(Callee).getAsRegion(); 624 return getState()->getSVal(getState()->getRegion(SelfDecl, LCtx)); 633 return getSVal(RecE); 651 SVal RecVal = getSVal(getOriginExpr()->getInstanceReceiver()); [all...] |
ExprEngine.cpp | 120 SVal V = state->getSVal(loc::MemRegionVal(R)); 143 SVal V = state->getSVal(loc::MemRegionVal(R)); 160 SVal V = state->getSVal(L); 177 SVal V = State->getSVal(Ex, LC); 460 SVal thisVal = State->getSVal(svalBuilder.getCXXThis(decl, stackFrame)); 488 SVal LValue = State->getSVal(Init, stackFrame); 490 InitVal = State->getSVal(*LValueLoc); 500 InitVal = State->getSVal(BMI->getInit(), stackFrame); 587 Region = state->getSVal(Region).getAsRegion(); 601 SVal ArgVal = State->getSVal(Arg, LCtx) [all...] |
/external/clang/examples/analyzer-plugin/ |
MainCallChecker.cpp | 22 const FunctionDecl *FD = state->getSVal(Callee, LC).getAsFunctionDecl();
|
/ndk/sources/host-tools/nawk-20071023/ |
run.c | 316 dprintf( ("%s returns %g |%s| %o\n", s, getfval(z), getsval(z), z->tval) ); 363 setsval(fp->retval, getsval(y)); 368 setsval(fp->retval, getsval(y)); 410 fp = openfile(mode, getsval(x)); 467 s = getsval(y); 514 s = getsval(y); 553 s = getsval(x); 584 s = getsval(x); 589 t = getsval(y); 656 i = strcmp(getsval(x), getsval(y)) [all...] |
/external/clang/include/clang/StaticAnalyzer/Core/PathSensitive/ |
Environment.h | 77 SVal getSVal(const EnvironmentEntry &E, SValBuilder &svalBuilder) const;
|