/external/clang/lib/StaticAnalyzer/Checkers/ |
H A D | 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());
|
H A D | UndefResultChecker.cpp | 42 if (state->getSVal(B, LCtx).isUndef()) { 65 if (state->getSVal(B->getLHS(), LCtx).isUndef()) { 69 else if (state->getSVal(B->getRHS(), LCtx).isUndef()) {
|
H A D | BuiltinFunctionChecker.cpp | 52 SVal X = state->getSVal(*(CE->arg_begin()), LCtx); 67 state->getSVal(*(CE->arg_begin()), LCtx).castAs<DefinedOrUnknownSVal>();
|
H A D | PointerArithChecker.cpp | 41 SVal LV = state->getSVal(B->getLHS(), LCtx); 42 SVal RV = state->getSVal(B->getRHS(), LCtx);
|
H A D | PointerSubChecker.cpp | 44 SVal LV = state->getSVal(B->getLHS(), LCtx); 45 SVal RV = state->getSVal(B->getRHS(), LCtx);
|
H A D | FixedAddressChecker.cpp | 48 SVal RV = state->getSVal(B->getRHS(), C.getLocationContext());
|
H A D | 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());
|
H A D | UndefinedArraySubscriptChecker.cpp | 39 if (!C.getSVal(Index).isUndef())
|
H A D | UndefBranchChecker.cpp | 51 return St->getSVal(Ex, LCtx).isUndef(); 63 SVal X = Ctx.getState()->getSVal(Condition, Ctx.getLocationContext());
|
H A D | UndefCapturedBlockVarChecker.cpp | 62 cast<BlockDataRegion>(state->getSVal(BE, 79 state->getSVal(I.getOriginalRegion()).getAs<UndefinedVal>()) {
|
H A D | 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(C [all...] |
H A D | MacOSXAPIChecker.cpp | 61 state->getSVal(CE->getArg(0), C.getLocationContext()).getAsRegion();
|
H A D | ObjCAtSyncChecker.cpp | 42 SVal V = state->getSVal(Ex, C.getLocationContext());
|
H A D | ReturnPointerRangeChecker.cpp | 42 SVal V = state->getSVal(RetE, C.getLocationContext());
|
H A D | UndefinedAssignmentChecker.cpp | 66 if (state->getSVal(B->getLHS(), C.getLocationContext()).isUndef()) {
|
H A D | 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,
|
H A D | CStringChecker.cpp | 351 SVal BufVal = state->getSVal(FirstBuf, LCtx); 363 SVal LengthVal = state->getSVal(Size, LCtx); 389 BufVal = state->getSVal(SecondBuf, LCtx); 428 SVal firstVal = state->getSVal(First, LCtx); 429 SVal secondVal = state->getSVal(Second, LCtx); 478 SVal LengthVal = state->getSVal(Size, LCtx); 881 SVal sizeVal = state->getSVal(Size, LCtx); 889 SVal destVal = state->getSVal(Dest, LCtx); 910 SVal srcVal = state->getSVal(Source, LCtx); 964 state->getSVal(Des [all...] |
H A D | CastSizeChecker.cpp | 48 const MemRegion *R = state->getSVal(E, C.getLocationContext()).getAsRegion();
|
H A D | DivZeroChecker.cpp | 60 SVal Denom = C.getState()->getSVal(B->getRHS(), C.getLocationContext());
|
H A D | TraversalChecker.cpp | 102 llvm::outs() << "Returning " << C.getSVal(CallE) << "\n";
|
/external/clang/examples/analyzer-plugin/ |
H A D | MainCallChecker.cpp | 22 const FunctionDecl *FD = state->getSVal(Callee, LC).getAsFunctionDecl();
|
/external/clang/lib/StaticAnalyzer/Core/ |
H A D | ExprEngineC.cpp | 40 SVal LeftV = state->getSVal(LHS, LCtx); 41 SVal RightV = state->getSVal(RHS, LCtx); 125 SVal V = state->getSVal(LHS, LCtx); 203 SVal originalV = State->getSVal(loc::MemRegionVal(originalR)); 231 evalLoad(Dst, CastE, CastE, subExprNode, state, state->getSVal(Ex, LCtx)); 277 SVal V = state->getSVal(Ex, LCtx); 315 SVal V = state->getSVal(Ex, LCtx); 324 SVal val = state->getSVal(Ex, LCtx); 332 SVal val = state->getSVal(Ex, LCtx); 410 SVal V = State->getSVal(C [all...] |
H A D | CheckerContext.cpp | 25 SVal L = State->getSVal(Callee, Pred->getLocationContext());
|
/external/clang/include/clang/StaticAnalyzer/Core/PathSensitive/ |
H A D | CheckerContext.h | 190 SVal getSVal(const Stmt *S) const { function in class:clang::ento::CheckerContext 191 return getState()->getSVal(S, getLocationContext());
|
H A D | Environment.h | 77 SVal getSVal(const EnvironmentEntry &E, SValBuilder &svalBuilder) const;
|