/external/clang/lib/StaticAnalyzer/Checkers/ |
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());
|
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...] |
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()) {
|
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 | 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);
|
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 | 37 if (C.getState()->getSVal(A->getIdx(), C.getLocationContext()).isUndef()) {
|
CStringChecker.cpp | 349 SVal BufVal = state->getSVal(FirstBuf, LCtx); 361 SVal LengthVal = state->getSVal(Size, LCtx); 387 BufVal = state->getSVal(SecondBuf, LCtx); 426 SVal firstVal = state->getSVal(First, LCtx); 427 SVal secondVal = state->getSVal(Second, LCtx); 476 SVal LengthVal = state->getSVal(Size, LCtx); [all...] |
UndefBranchChecker.cpp | 51 return St->getSVal(Ex, LCtx).isUndef(); 63 SVal X = Ctx.getState()->getSVal(Condition, Ctx.getLocationContext());
|
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,
|
/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); 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));
|
BugReporterVisitors.cpp | 198 SVal RetVal = State->getSVal(S, Node->getLocationContext()); 203 RetVal = State->getSVal(*LValue); 244 SVal V = State->getSVal(Ret, StackFrame); 438 if (Succ->getState()->getSVal(R) != V) 441 if (Pred->getState()->getSVal(R) == V) { 517 SVal V = State->getSVal(S, PS->getLocationContext()); 522 State->getSVal(OriginalR).getAs<KnownSVal>()) 794 SVal CondVal = State->getSVal(CO->getCond(), N->getLocationContext()); 853 SVal LVal = LVState->getSVal(Inner, LVNode->getLocationContext()); 863 R = LVState->getSVal(Inner, LVNode->getLocationContext()).getAsRegion() [all...] |
CallEvent.cpp | 228 return getSVal(ArgE); 242 return getSVal(E); 394 return getSVal(getOriginExpr()->getCallee()).getAsFunctionDecl(); 407 return getSVal(CE->getCallee()).getAsFunctionDecl(); 421 SVal ThisVal = getSVal(Base); 546 const MemRegion *DataReg = getSVal(Callee).getAsRegion(); 650 return getState()->getSVal(getState()->getRegion(SelfDecl, LCtx)); 659 return getSVal(RecE); 677 SVal RecVal = getSVal(getOriginExpr()->getInstanceReceiver()); 944 SVal ThisVal = State->getSVal(ThisPtr) [all...] |
ExprEngine.cpp | 116 SVal V = state->getSVal(loc::MemRegionVal(R)); 139 SVal V = state->getSVal(loc::MemRegionVal(R)); 156 SVal V = state->getSVal(L); 173 SVal V = State->getSVal(Ex, LC); 424 SVal thisVal = State->getSVal(svalBuilder.getCXXThis(decl, stackFrame)); 441 SVal InitVal = State->getSVal(BMI->getInit(), stackFrame); 513 SVal ThisVal = Pred->getState()->getSVal(ThisPtr); 535 State->getLValue(Member, State->getSVal(ThisVal).castAs<Loc>()); 704 V = State->getSVal(ArgE, LCtx); 785 state->getSVal(B->getRHS() [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;
|