/external/clang/lib/StaticAnalyzer/Checkers/ |
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()) {
|
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 | 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()); 132 SVal IdxVal = State->getSVal(IdxExpr, C.getLocationContext());
|
BuiltinFunctionChecker.cpp | 53 SVal X = state->getSVal(*(CE->arg_begin()), LCtx); 68 state->getSVal(*(CE->arg_begin()), LCtx).castAs<DefinedOrUnknownSVal>();
|
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());
|
UndefBranchChecker.cpp | 49 return St->getSVal(Ex, LCtx).isUndef(); 61 SVal X = Ctx.getState()->getSVal(Condition, Ctx.getLocationContext());
|
UndefCapturedBlockVarChecker.cpp | 59 cast<BlockDataRegion>(state->getSVal(BE, 76 state->getSVal(I.getOriginalRegion()).getAs<UndefinedVal>()) {
|
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...] |
MacOSXAPIChecker.cpp | 61 state->getSVal(CE->getArg(0), C.getLocationContext()).getAsRegion();
|
ReturnPointerRangeChecker.cpp | 43 SVal V = state->getSVal(RetE, C.getLocationContext());
|
UndefinedArraySubscriptChecker.cpp | 39 if (!C.getSVal(Index).isUndef())
|
UndefinedAssignmentChecker.cpp | 66 if (state->getSVal(B->getLHS(), C.getLocationContext()).isUndef()) {
|
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,
|
ExprInspectionChecker.cpp | 72 SVal AssertionVal = State->getSVal(Assertion, LC); 151 SVal Val = C.getSVal(CE->getArg(0));
|
DivZeroChecker.cpp | 60 SVal Denom = C.getState()->getSVal(B->getRHS(), C.getLocationContext());
|
ObjCAtSyncChecker.cpp | 42 SVal V = state->getSVal(Ex, C.getLocationContext());
|
TraversalChecker.cpp | 102 llvm::outs() << "Returning " << C.getSVal(CallE) << "\n";
|
/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); 355 SVal val = state->getSVal(Ex, LCtx); 363 SVal val = state->getSVal(Ex, LCtx) [all...] |
CheckerContext.cpp | 25 SVal L = State->getSVal(Callee, Pred->getLocationContext());
|
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);
|
/external/clang/examples/analyzer-plugin/ |
MainCallChecker.cpp | 22 const FunctionDecl *FD = state->getSVal(Callee, LC).getAsFunctionDecl();
|
/external/clang/include/clang/StaticAnalyzer/Core/PathSensitive/ |
Environment.h | 77 SVal getSVal(const EnvironmentEntry &E, SValBuilder &svalBuilder) const;
|