|
reference, declaration → definition
definition → references, declarations, derived classes, virtual overrides
reference to multiple definitions → definitions
unreferenced
|
References
tools/clang/lib/Analysis/plugins/SampleAnalyzer/MainCallChecker.cpp 21 const FunctionDecl *FD = C.getSVal(Callee).getAsFunctionDecl();
tools/clang/lib/StaticAnalyzer/Checkers/BasicObjCFoundationChecks.cpp 141 if (State->isNull(C.getSVal(E)).isConstrainedTrue()) {
444 SVal TheTypeVal = C.getSVal(CE->getArg(1));
464 SVal TheValueExpr = C.getSVal(CE->getArg(2));
861 SVal CollectionVal = C.getSVal(FCS->getCollection());
951 SymbolRef CollectionS = C.getSVal(FCS->getCollection()).getAsSymbol();
981 SVal CollectionSentinel = C.getSVal(FCS);
1037 SymbolRef CountS = C.getSVal(MsgExpr).getAsSymbol();
1179 SVal Val = C.getSVal(NonNullExpr);
tools/clang/lib/StaticAnalyzer/Checkers/CStringChecker.cpp 390 SVal BufVal = C.getSVal(FirstBuf);
402 SVal LengthVal = C.getSVal(Size);
1049 SVal MemVal = C.getSVal(DstBuffer);
1050 SVal SizeVal = C.getSVal(Size);
1227 state = InvalidateBuffer(C, state, Dest, C.getSVal(Dest),
1232 state = InvalidateBuffer(C, state, Source, C.getSVal(Source),
2168 if (!memsetAux(Mem, C.getSVal(CharE), Size, C, State))
2185 SVal SizeVal = C.getSVal(Size);
2200 SVal MemVal = C.getSVal(Mem);
2299 SVal StrVal = C.getSVal(Init);
tools/clang/lib/StaticAnalyzer/Checkers/CallAndMessageChecker.cpp 347 SVal Arg = C.getSVal(DE->getArgument());
tools/clang/lib/StaticAnalyzer/Checkers/CastSizeChecker.cpp 103 const MemRegion *R = C.getSVal(E).getAsRegion();
tools/clang/lib/StaticAnalyzer/Checkers/ChrootChecker.cpp 99 SVal ArgVal = C.getSVal(ArgExpr);
tools/clang/lib/StaticAnalyzer/Checkers/DeleteWithNonVirtualDtorChecker.cpp 64 const MemRegion *MR = C.getSVal(DeletedObj).getAsRegion();
tools/clang/lib/StaticAnalyzer/Checkers/DivZeroChecker.cpp 69 SVal Denom = C.getSVal(B->getRHS());
tools/clang/lib/StaticAnalyzer/Checkers/DynamicTypeChecker.cpp 160 const MemRegion *Region = C.getSVal(CE).getAsRegion();
tools/clang/lib/StaticAnalyzer/Checkers/DynamicTypePropagation.cpp 278 const MemRegion *ToR = C.getSVal(CE).getAsRegion();
298 const MemRegion *MR = C.getSVal(NewE).getAsRegion();
346 const MemRegion *ToR = C.getSVal(CastE).getAsRegion();
551 SymbolRef Sym = C.getSVal(CE).getAsSymbol();
tools/clang/lib/StaticAnalyzer/Checkers/EnumCastOutOfRangeChecker.cpp 112 C.getSVal(CE->getSubExpr()).getAs<DefinedOrUnknownSVal>();
tools/clang/lib/StaticAnalyzer/Checkers/ExprInspectionChecker.cpp 203 SVal V = C.getSVal(CE->getArg(0));
215 SVal V = C.getSVal(CE->getArg(0));
230 auto MR = dyn_cast_or_null<SubRegion>(C.getSVal(CE->getArg(0)).getAsRegion());
251 SVal Val = C.getSVal(CE->getArg(0));
322 SymbolRef Sym = C.getSVal(CE->getArg(0)).getAsSymbol();
397 SymbolRef Sym = C.getSVal(CE->getArg(0)).getAsSymbol();
tools/clang/lib/StaticAnalyzer/Checkers/FixedAddressChecker.cpp 46 SVal RV = C.getSVal(B->getRHS());
tools/clang/lib/StaticAnalyzer/Checkers/GenericTaintChecker.cpp 561 SVal AddrVal = C.getSVal(Arg->IgnoreParens());
664 SVal Val = C.getSVal(E);
732 TaintedSVal = C.getSVal(E);
tools/clang/lib/StaticAnalyzer/Checkers/IteratorChecker.cpp 770 getIteratorPosition(State, C.getSVal(MTE->GetTemporaryExpr()));
773 State = setIteratorPosition(State, C.getSVal(MTE), *Pos);
tools/clang/lib/StaticAnalyzer/Checkers/LocalizationChecker.cpp 996 SVal sv = C.getSVal(SL);
tools/clang/lib/StaticAnalyzer/Checkers/MIGChecker.cpp 269 SVal V = C.getSVal(RS);
tools/clang/lib/StaticAnalyzer/Checkers/MacOSKeychainAPIChecker.cpp 211 SVal ArgV = C.getSVal(Expr);
307 SVal ArgSVal = C.getSVal(ArgExpr);
436 SymbolRef RetStatusSymbol = C.getSVal(CE).getAsSymbol();
tools/clang/lib/StaticAnalyzer/Checkers/MacOSXAPIChecker.cpp 71 const MemRegion *R = C.getSVal(CE->getArg(0)).getAsRegion();
tools/clang/lib/StaticAnalyzer/Checkers/MallocChecker.cpp 1013 const SVal V = C.getSVal(FlagsEx);
1047 SVal BlocksVal = C.getSVal(Blocks);
1048 SVal BlockBytesVal = C.getSVal(BlockBytes);
1237 RetVal = C.getSVal(E);
1255 Optional<DefinedSVal> DefArgVal = C.getSVal(Arg).getAs<DefinedSVal>();
1364 processNewAllocation(NE, C, C.getSVal(NE));
1387 ElementCount = C.getSVal(SizeExpr);
1422 if (SymbolRef Sym = C.getSVal(DE->getArgument()).getAsSymbol())
1507 return MallocMemAux(C, CE, C.getSVal(SizeEx), Init, State, Family);
1563 RetVal = C.getSVal(E);
1757 SVal ArgVal = C.getSVal(ArgExpr);
1883 SVal RetVal = C.getSVal(ParentExpr);
2406 SVal Arg0Val = C.getSVal(arg0Expr);
2420 SVal TotalSize = C.getSVal(Arg1);
2454 SVal RetVal = C.getSVal(CE);
2746 SVal RetVal = C.getSVal(E);
2776 cast<BlockDataRegion>(C.getSVal(BE).getAsRegion());
2828 if (SymbolRef Sym = C.getSVal(Arg).getAsSymbol())
tools/clang/lib/StaticAnalyzer/Checkers/NullabilityChecker.cpp 535 auto RetSVal = C.getSVal(S).getAs<DefinedOrUnknownSVal>();
951 auto RegionSVal = C.getSVal(CE).getAs<DefinedOrUnknownSVal>();
tools/clang/lib/StaticAnalyzer/Checkers/ObjCAtSyncChecker.cpp 41 SVal V = C.getSVal(Ex);
tools/clang/lib/StaticAnalyzer/Checkers/ObjCContainersChecker.cpp 41 SVal ArrayRef = C.getSVal(E);
71 SVal SizeV = C.getSVal(Size);
77 SVal ArrayRef = C.getSVal(Array);
133 SVal IdxVal = C.getSVal(IdxExpr);
tools/clang/lib/StaticAnalyzer/Checkers/ObjCSelfInitChecker.cpp 134 SVal exprVal = C.getSVal(E);
185 SVal V = C.getSVal(Msg.getOriginExpr());
tools/clang/lib/StaticAnalyzer/Checkers/PointerArithChecker.cpp 156 const MemRegion *Region = C.getSVal(E).getAsRegion();
228 SVal SV = C.getSVal(CE);
249 SVal AllocedVal = C.getSVal(NE);
264 SVal CastedVal = C.getSVal(CastedExpr);
282 SVal CastedVal = C.getSVal(CastedExpr);
305 SVal Idx = C.getSVal(SubsExpr->getIdx());
328 SVal RHSVal = C.getSVal(Rhs);
335 SVal LHSVal = C.getSVal(Lhs);
tools/clang/lib/StaticAnalyzer/Checkers/PointerSubChecker.cpp 41 SVal LV = C.getSVal(B->getLHS());
42 SVal RV = C.getSVal(B->getRHS());
tools/clang/lib/StaticAnalyzer/Checkers/PthreadLockChecker.cpp 121 AcquireLock(C, CE, C.getSVal(CE->getArg(0)), false, PthreadSemantics);
125 AcquireLock(C, CE, C.getSVal(CE->getArg(0)), false, XNUSemantics);
129 AcquireLock(C, CE, C.getSVal(CE->getArg(0)),
134 AcquireLock(C, CE, C.getSVal(CE->getArg(0)), true, XNUSemantics);
139 ReleaseLock(C, CE, C.getSVal(CE->getArg(0)));
141 DestroyLock(C, CE, C.getSVal(CE->getArg(0)), PthreadSemantics);
143 DestroyLock(C, CE, C.getSVal(CE->getArg(0)), XNUSemantics);
145 InitLock(C, CE, C.getSVal(CE->getArg(0)));
229 SVal X = C.getSVal(CE);
365 SymbolRef sym = C.getSVal(CE).getAsSymbol();
tools/clang/lib/StaticAnalyzer/Checkers/RetainCountChecker/RetainCountChecker.cpp 155 auto *R = cast<BlockDataRegion>(C.getSVal(BE).getAsRegion());
211 SymbolRef Sym = C.getSVal(CE).getAsLocSymbol();
287 Optional<Loc> IVarLoc = C.getSVal(IRE).getAs<Loc>();
tools/clang/lib/StaticAnalyzer/Checkers/ReturnPointerRangeChecker.cpp 42 SVal V = C.getSVal(RetE);
tools/clang/lib/StaticAnalyzer/Checkers/ReturnUndefChecker.cpp 43 SVal RetVal = C.getSVal(RetE);
tools/clang/lib/StaticAnalyzer/Checkers/StackAddrEscapeChecker.cpp 258 SVal V = C.getSVal(RetE);
tools/clang/lib/StaticAnalyzer/Checkers/StreamChecker.cpp 249 if (!CheckNullStream(C.getSVal(CE->getArg(3)), state, C))
255 if (!CheckNullStream(C.getSVal(CE->getArg(3)), state, C))
261 if (!(state = CheckNullStream(C.getSVal(CE->getArg(0)), state, C)))
287 if (!CheckNullStream(C.getSVal(CE->getArg(0)), state, C))
293 if (!CheckNullStream(C.getSVal(CE->getArg(0)), state, C))
299 if (!CheckNullStream(C.getSVal(CE->getArg(0)), state, C))
305 if (!CheckNullStream(C.getSVal(CE->getArg(0)), state, C))
311 if (!CheckNullStream(C.getSVal(CE->getArg(0)), state, C))
317 if (!CheckNullStream(C.getSVal(CE->getArg(0)), state, C))
323 if (!CheckNullStream(C.getSVal(CE->getArg(0)), state, C))
329 if (!CheckNullStream(C.getSVal(CE->getArg(0)), state, C))
359 SymbolRef Sym = C.getSVal(CE->getArg(0)).getAsSymbol();
tools/clang/lib/StaticAnalyzer/Checkers/TestAfterDivZeroChecker.cpp 205 SVal S = C.getSVal(B->getRHS());
226 SVal Val = C.getSVal(LRHS ? B->getLHS() : B->getRHS());
235 Val = C.getSVal(I->getSubExpr());
240 Val = C.getSVal(U->getSubExpr());
247 SVal Val = C.getSVal(IE->getSubExpr());
252 SVal Val = C.getSVal(Condition);
tools/clang/lib/StaticAnalyzer/Checkers/TraversalChecker.cpp 112 llvm::outs() << "Returning " << C.getSVal(CallE) << "\n";
tools/clang/lib/StaticAnalyzer/Checkers/UndefBranchChecker.cpp 61 SVal X = Ctx.getSVal(Condition);
tools/clang/lib/StaticAnalyzer/Checkers/UndefCapturedBlockVarChecker.cpp 57 auto *R = cast<BlockDataRegion>(C.getSVal(BE).getAsRegion());
tools/clang/lib/StaticAnalyzer/Checkers/UndefResultChecker.cpp 43 SVal Loc = C.getSVal(Ex);
69 const llvm::APSInt *LHS = SB.getKnownValue(State, C.getSVal(B->getLHS()));
70 const llvm::APSInt *RHS = SB.getKnownValue(State, C.getSVal(B->getRHS()));
77 if (C.getSVal(B).isUndef()) {
101 if (C.getSVal(B->getLHS()).isUndef()) {
105 else if (C.getSVal(B->getRHS()).isUndef()) {
138 SB.getKnownValue(C.getState(), C.getSVal(B->getRHS()));
158 SB.getKnownValue(State, C.getSVal(B->getLHS()));
160 SB.getKnownValue(State, C.getSVal(B->getRHS()));
tools/clang/lib/StaticAnalyzer/Checkers/UndefinedArraySubscriptChecker.cpp 38 if (!C.getSVal(Index).isUndef())
tools/clang/lib/StaticAnalyzer/Checkers/UndefinedAssignmentChecker.cpp 75 if (C.getSVal(B->getLHS()).isUndef()) {
tools/clang/lib/StaticAnalyzer/Checkers/UnixAPIChecker.cpp 231 const SVal V = C.getSVal(oflagsEx);
285 const MemRegion *R = C.getSVal(CE->getArg(0)).getAsRegion();
376 SVal argVal = C.getSVal(arg);
404 SVal argVal = C.getSVal(arg);
tools/clang/lib/StaticAnalyzer/Checkers/VLASizeChecker.cpp 98 SVal sizeV = C.getSVal(SE);
tools/clang/lib/StaticAnalyzer/Checkers/ValistChecker.cpp 190 SVal VAListSVal = C.getSVal(VASubExpr);
tools/clang/lib/StaticAnalyzer/Core/CheckerContext.cpp 125 return evalComparison(getSVal(E), BO_GE, V, getState());
130 return evalComparison(getSVal(E), BO_LT, V, getState());