/external/clang/lib/StaticAnalyzer/Checkers/ |
D | PthreadLockChecker.cpp | 63 AcquireLock(C, CE, state->getSVal(CE->getArg(0), LCtx), in REGISTER_LIST_WITH_PROGRAMSTATE() 68 AcquireLock(C, CE, state->getSVal(CE->getArg(0), LCtx), in REGISTER_LIST_WITH_PROGRAMSTATE() 73 AcquireLock(C, CE, state->getSVal(CE->getArg(0), LCtx), in REGISTER_LIST_WITH_PROGRAMSTATE() 78 AcquireLock(C, CE, state->getSVal(CE->getArg(0), LCtx), in REGISTER_LIST_WITH_PROGRAMSTATE() 84 ReleaseLock(C, CE, state->getSVal(CE->getArg(0), LCtx)); in REGISTER_LIST_WITH_PROGRAMSTATE() 97 SVal X = state->getSVal(CE, C.getLocationContext()); in AcquireLock()
|
D | StreamChecker.cpp | 243 if (!CheckNullStream(state->getSVal(CE->getArg(3), C.getLocationContext()), in Fread() 250 if (!CheckNullStream(state->getSVal(CE->getArg(3), C.getLocationContext()), in Fwrite() 257 if (!(state = CheckNullStream(state->getSVal(CE->getArg(0), in Fseek() 261 SVal Whence = state->getSVal(CE->getArg(2), C.getLocationContext()); in Fseek() 284 if (!CheckNullStream(state->getSVal(CE->getArg(0), C.getLocationContext()), in Ftell() 291 if (!CheckNullStream(state->getSVal(CE->getArg(0), C.getLocationContext()), in Rewind() 298 if (!CheckNullStream(state->getSVal(CE->getArg(0), C.getLocationContext()), in Fgetpos() 305 if (!CheckNullStream(state->getSVal(CE->getArg(0), C.getLocationContext()), in Fsetpos() 312 if (!CheckNullStream(state->getSVal(CE->getArg(0), C.getLocationContext()), in Clearerr() 319 if (!CheckNullStream(state->getSVal(CE->getArg(0), C.getLocationContext()), in Feof() [all …]
|
D | ObjCContainersChecker.cpp | 41 SVal ArrayRef = C.getState()->getSVal(E, C.getLocationContext()); in getArraySym() 64 SVal SizeV = State->getSVal(Size, C.getLocationContext()); in REGISTER_MAP_WITH_PROGRAMSTATE() 70 SVal ArrayRef = State->getSVal(Array, C.getLocationContext()); in REGISTER_MAP_WITH_PROGRAMSTATE() 126 SVal IdxVal = State->getSVal(IdxExpr, C.getLocationContext()); in checkPreStmt()
|
D | UndefResultChecker.cpp | 42 if (state->getSVal(B, LCtx).isUndef()) { in checkPostStmt() 65 if (state->getSVal(B->getLHS(), LCtx).isUndef()) { in checkPostStmt() 69 else if (state->getSVal(B->getRHS(), LCtx).isUndef()) { in checkPostStmt()
|
D | CStringChecker.cpp | 351 SVal BufVal = state->getSVal(FirstBuf, LCtx); in CheckBufferAccess() 363 SVal LengthVal = state->getSVal(Size, LCtx); in CheckBufferAccess() 389 BufVal = state->getSVal(SecondBuf, LCtx); in CheckBufferAccess() 428 SVal firstVal = state->getSVal(First, LCtx); in CheckOverlap() 429 SVal secondVal = state->getSVal(Second, LCtx); in CheckOverlap() 478 SVal LengthVal = state->getSVal(Size, LCtx); in CheckOverlap() 881 SVal sizeVal = state->getSVal(Size, LCtx); in evalCopyCommon() 889 SVal destVal = state->getSVal(Dest, LCtx); in evalCopyCommon() 910 SVal srcVal = state->getSVal(Source, LCtx); in evalCopyCommon() 964 state->getSVal(Dest, C.getLocationContext())); in evalCopyCommon() [all …]
|
D | PointerArithChecker.cpp | 41 SVal LV = state->getSVal(B->getLHS(), LCtx); in checkPreStmt() 42 SVal RV = state->getSVal(B->getRHS(), LCtx); in checkPreStmt()
|
D | PointerSubChecker.cpp | 44 SVal LV = state->getSVal(B->getLHS(), LCtx); in checkPreStmt() 45 SVal RV = state->getSVal(B->getRHS(), LCtx); in checkPreStmt()
|
D | ObjCSelfInitChecker.cpp | 140 SVal exprVal = C.getState()->getSVal(E, C.getLocationContext()); in isInvalidSelf() 190 SVal V = state->getSVal(Msg.getOriginExpr(), C.getLocationContext()); in checkPostObjCMessage() 258 unsigned selfFlags = getSelfFlags(state->getSVal(argV.castAs<Loc>()), C); in checkPreCall() 289 addSelfFlag(state, state->getSVal(argV.castAs<Loc>()), prevFlags, C); in checkPostCall() 315 addSelfFlag(state, state->getSVal(location.castAs<Loc>()), SelfFlag_Self, in checkLocation()
|
D | BuiltinFunctionChecker.cpp | 52 SVal X = state->getSVal(*(CE->arg_begin()), LCtx); in evalCall() 67 state->getSVal(*(CE->arg_begin()), LCtx).castAs<DefinedOrUnknownSVal>(); in evalCall()
|
D | BasicObjCFoundationChecks.cpp | 126 if (State->isNull(C.getSVal(E)).isConstrainedTrue()) { in warnIfNilExpr() 411 SVal TheTypeVal = state->getSVal(CE->getArg(1), LCtx); in checkPreStmt() 431 SVal TheValueExpr = state->getSVal(CE->getArg(2), LCtx); in checkPreStmt() 535 SVal ArgVal = state->getSVal(Arg, C.getLocationContext()); in checkPreStmt() 847 SVal CollectionVal = C.getSVal(FCS->getCollection()); in checkCollectionNonNil() 886 ElementLoc = State->getSVal(Element, LCtx).getAs<Loc>(); in checkElementNonNil() 893 SVal Val = State->getSVal(*ElementLoc); in checkElementNonNil() 906 SymbolRef CollectionS = C.getSVal(FCS->getCollection()).getAsSymbol(); in assumeCollectionNonEmpty() 958 SVal CollectionSentinel = C.getSVal(FCS); in checkPostStmt() 1016 SymbolRef CountS = C.getSVal(MsgExpr).getAsSymbol(); in checkPostObjCMessage() [all …]
|
D | UndefCapturedBlockVarChecker.cpp | 62 cast<BlockDataRegion>(state->getSVal(BE, in checkPostStmt() 79 state->getSVal(I.getOriginalRegion()).getAs<UndefinedVal>()) { in checkPostStmt()
|
D | UndefBranchChecker.cpp | 51 return St->getSVal(Ex, LCtx).isUndef(); in MatchesCriteria() 63 SVal X = Ctx.getState()->getSVal(Condition, Ctx.getLocationContext()); in checkBranchCondition()
|
D | UnixAPIChecker.cpp | 104 const SVal V = state->getSVal(oflagsEx, C.getLocationContext()); in CheckOpen() 162 state->getSVal(CE->getArg(0), C.getLocationContext()).getAsRegion(); in CheckPthreadOnce() 249 SVal argVal = state->getSVal(arg, C.getLocationContext()); in BasicAllocationCheck() 277 SVal argVal = state->getSVal(arg, C.getLocationContext()); in CheckCallocZero()
|
D | DynamicTypePropagation.cpp | 179 const MemRegion *ToR = C.getSVal(CastE).getAsRegion(); in checkPostStmt() 201 const MemRegion *MR = C.getSVal(NewE).getAsRegion(); in checkPostStmt() 249 const MemRegion *ToR = C.getSVal(CastE).getAsRegion(); in getBetterObjCType()
|
D | UndefinedArraySubscriptChecker.cpp | 39 if (!C.getSVal(Index).isUndef()) in checkPreStmt()
|
D | FixedAddressChecker.cpp | 48 SVal RV = state->getSVal(B->getRHS(), C.getLocationContext()); in checkPreStmt()
|
/external/clang/lib/StaticAnalyzer/Core/ |
D | ExprEngineC.cpp | 40 SVal LeftV = state->getSVal(LHS, LCtx); in VisitBinaryOperator() 41 SVal RightV = state->getSVal(RHS, LCtx); in VisitBinaryOperator() 125 SVal V = state->getSVal(LHS, LCtx); in VisitBinaryOperator() 203 SVal originalV = State->getSVal(loc::MemRegionVal(originalR)); in VisitBlockExpr() 231 evalLoad(Dst, CastE, CastE, subExprNode, state, state->getSVal(Ex, LCtx)); in VisitCast() 277 SVal V = state->getSVal(Ex, LCtx); in VisitCast() 315 SVal V = state->getSVal(Ex, LCtx); in VisitCast() 324 SVal val = state->getSVal(Ex, LCtx); in VisitCast() 332 SVal val = state->getSVal(Ex, LCtx); in VisitCast() 410 SVal V = State->getSVal(CL->getInitializer(), LCtx); in VisitCompoundLiteralExpr() [all …]
|
D | CallEvent.cpp | 192 return getSVal(ArgE); in getArgSVal() 206 return getSVal(E); in getReturnValue() 381 return getSVal(getOriginExpr()->getCallee()).getAsFunctionDecl(); in getDecl() 394 return getSVal(CE->getCallee()).getAsFunctionDecl(); in getDecl() 407 SVal ThisVal = getSVal(Base); in getCXXThisVal() 532 const MemRegion *DataReg = getSVal(Callee).getAsRegion(); in getBlockRegion() 635 return getState()->getSVal(getState()->getRegion(SelfDecl, LCtx)); in getSelfSVal() 644 return getSVal(RecE); in getReceiverSVal() 662 SVal RecVal = getSVal(getOriginExpr()->getInstanceReceiver()); in isReceiverSelfOrSuper() 929 SVal ThisVal = State->getSVal(ThisPtr); in getCaller() [all …]
|
D | ExprEngine.cpp | 118 SVal V = state->getSVal(loc::MemRegionVal(R)); in getInitialState() 141 SVal V = state->getSVal(loc::MemRegionVal(R)); in getInitialState() 158 SVal V = state->getSVal(L); in getInitialState() 175 SVal V = State->getSVal(Ex, LC); in createTemporaryRegionIfNeeded() 453 SVal thisVal = State->getSVal(svalBuilder.getCXXThis(decl, stackFrame)); in ProcessInitializer() 481 SVal LValue = State->getSVal(Init, stackFrame); in ProcessInitializer() 483 InitVal = State->getSVal(*LValueLoc); in ProcessInitializer() 493 InitVal = State->getSVal(BMI->getInit(), stackFrame); in ProcessInitializer() 558 Region = state->getSVal(Region).getAsRegion(); in ProcessAutomaticObjDtor() 573 SVal ThisVal = Pred->getState()->getSVal(ThisPtr); in ProcessBaseDtor() [all …]
|
D | BugReporterVisitors.cpp | 207 SVal RetVal = State->getSVal(S, Node->getLocationContext()); in addVisitorIfNecessary() 212 RetVal = State->getSVal(*LValue); in addVisitorIfNecessary() 253 SVal V = State->getSVal(Ret, StackFrame); in visitNodeInitial() 486 if (Succ->getState()->getSVal(R) != V) in VisitNode() 489 if (Pred->getState()->getSVal(R) == V) { in VisitNode() 566 SVal V = State->getSVal(S, PS->getLocationContext()); in VisitNode() 571 State->getSVal(OriginalR).getAs<KnownSVal>()) in VisitNode() 965 SVal LVal = LVState->getSVal(Inner, LVNode->getLocationContext()); in trackNullOrUndefValue() 975 R = LVState->getSVal(Inner, LVNode->getLocationContext()).getAsRegion(); in trackNullOrUndefValue() 1044 RVal = state->getSVal(L->getRegion()); in trackNullOrUndefValue() [all …]
|
D | ExprEngineCXX.cpp | 66 V = Pred->getState()->getSVal(*L); in performTrivialCopy() 147 SVal ThisVal = State->getSVal(ThisPtr); in VisitCXXConstructExpr() 201 SVal ThisVal = State->getSVal(ThisPtr); in VisitCXXConstructExpr() 403 SVal PlacementLoc = State->getSVal(CNE->getPlacementArg(0), LCtx); in VisitCXXNewExpr() 420 evalBind(Dst, CNE, NewN, Result, State->getSVal(Init, LCtx), in VisitCXXNewExpr() 464 SVal V = state->getSVal(loc::MemRegionVal(R)); in VisitCXXThisExpr()
|
D | Environment.cpp | 68 SVal Environment::getSVal(const EnvironmentEntry &Entry, in getSVal() function in Environment 98 return getSVal(EnvironmentEntry(RE, LCtx), svalBuilder); in getSVal()
|
D | ExprEngineObjC.cpp | 27 SVal baseVal = state->getSVal(Ex->getBase(), LCtx); in VisitLvalObjCIvarRefExpr() 84 elementV = state->getSVal(elem, Pred->getLocationContext()); in VisitObjCForCollectionStmt()
|
/external/clang/include/clang/StaticAnalyzer/Core/PathSensitive/ |
D | ProgramState.h | 276 SVal getSVal(const Stmt *S, const LocationContext *LCtx) const; 282 SVal getSVal(Loc LV, QualType T = QualType()) const; 289 SVal getSVal(const MemRegion* R) const; 695 inline SVal ProgramState::getSVal(const Stmt *Ex, in getSVal() function 697 return Env.getSVal(EnvironmentEntry(Ex, LCtx), in getSVal() 708 return getSVal(S, LCtx); in getSValAsScalarOrLoc() 718 inline SVal ProgramState::getSVal(const MemRegion* R) const { in getSVal() function
|
D | CheckerContext.h | 190 SVal getSVal(const Stmt *S) const { in getSVal() function 191 return getState()->getSVal(S, getLocationContext()); in getSVal()
|