/external/clang/lib/StaticAnalyzer/Checkers/ |
BuiltinFunctionChecker.cpp | 67 DefinedOrUnknownSVal Size = 68 state->getSVal(*(CE->arg_begin()), LCtx).castAs<DefinedOrUnknownSVal>(); 71 DefinedOrUnknownSVal Extent = R->getExtent(svalBuilder); 72 DefinedOrUnknownSVal extentMatchesSizeArg =
|
ArrayBoundChecker.cpp | 48 DefinedOrUnknownSVal Idx = ER->getIndex().castAs<DefinedOrUnknownSVal>(); 58 DefinedOrUnknownSVal NumElements
|
ReturnPointerRangeChecker.cpp | 50 DefinedOrUnknownSVal Idx = ER->getIndex().castAs<DefinedOrUnknownSVal>(); 58 DefinedOrUnknownSVal NumElements
|
VLASizeChecker.cpp | 138 DefinedOrUnknownSVal Zero = svalBuilder.makeZeroVal(Ty); 169 DefinedOrUnknownSVal Extent = 171 DefinedOrUnknownSVal ArraySize = ArraySizeVal.castAs<DefinedOrUnknownSVal>(); 172 DefinedOrUnknownSVal sizeIsKnown =
|
ReturnUndefChecker.cpp | 33 DefinedOrUnknownSVal RetVal) const; 76 checkReference(C, RetE, RetVal.castAs<DefinedOrUnknownSVal>()); 104 DefinedOrUnknownSVal RetVal) const {
|
CStringChecker.cpp | 223 DefinedOrUnknownSVal zero = svalBuilder.makeZeroVal(Ty); 296 DefinedOrUnknownSVal Size = Extent.castAs<DefinedOrUnknownSVal>(); 299 DefinedOrUnknownSVal Idx = ER->getIndex().castAs<DefinedOrUnknownSVal>(); 472 Optional<DefinedOrUnknownSVal> reverseTest = 473 reverse.getAs<DefinedOrUnknownSVal>(); 517 Optional<DefinedOrUnknownSVal> OverlapTest = 518 Overlap.getAs<DefinedOrUnknownSVal>(); 593 state->assume(willOverflow.castAs<DefinedOrUnknownSVal>()); [all...] |
DereferenceChecker.cpp | 198 DefinedOrUnknownSVal location = l.castAs<DefinedOrUnknownSVal>(); 247 std::tie(StNonNull, StNull) = State->assume(V.castAs<DefinedOrUnknownSVal>());
|
VforkChecker.cpp | 156 Optional<DefinedOrUnknownSVal> DVal = 157 VforkRetVal.getAs<DefinedOrUnknownSVal>();
|
NullabilityChecker.cpp | 249 static NullConstraint getNullConstraint(DefinedOrUnknownSVal Val, 348 .template getAs<DefinedOrUnknownSVal>(); 483 State->getSVal(S, C.getLocationContext()).getAs<DefinedOrUnknownSVal>(); 557 auto ArgSVal = Call.getArgSVal(Idx++).getAs<DefinedOrUnknownSVal>(); 672 if (auto DefOrUnknown = Receiver.getAs<DefinedOrUnknownSVal>()) { 831 State->getSVal(CE, C.getLocationContext()).getAs<DefinedOrUnknownSVal>(); [all...] |
ExprInspectionChecker.cpp | 79 State->assume(AssertionVal.castAs<DefinedOrUnknownSVal>());
|
ArrayBoundCheckerV2.cpp | 140 DefinedOrUnknownSVal extentVal =
|
CallAndMessageChecker.cpp | 322 std::tie(StNonNull, StNull) = State->assume(L.castAs<DefinedOrUnknownSVal>()); 378 State->assume(V.castAs<DefinedOrUnknownSVal>());
|
MacOSKeychainAPIChecker.cpp | 238 DefinedOrUnknownSVal NoErrVal = Builder.makeIntVal(NoErr, 240 DefinedOrUnknownSVal NoErr = Builder.evalEQ(State, NoErrVal,
|
BasicObjCFoundationChecks.cpp | 585 DefinedOrUnknownSVal ArgIsNull = svalBuilder.evalEQ(state, zero, *DefArgVal); 938 return State->assume(Val.castAs<DefinedOrUnknownSVal>(), true); [all...] |
MallocChecker.cpp | [all...] |
/external/clang/include/clang/StaticAnalyzer/Core/PathSensitive/ |
SValBuilder.h | 118 DefinedOrUnknownSVal evalEQ(ProgramStateRef state, DefinedOrUnknownSVal lhs, 119 DefinedOrUnknownSVal rhs); 161 DefinedOrUnknownSVal makeZeroVal(QualType type); 164 DefinedOrUnknownSVal getRegionValueSymbolVal(const TypedValueRegion *region); 172 DefinedOrUnknownSVal conjureSymbolVal(const void *symbolTag, 176 DefinedOrUnknownSVal conjureSymbolVal(const void *symbolTag, 182 DefinedOrUnknownSVal conjureSymbolVal(const Stmt *stmt, 189 DefinedOrUnknownSVal getConjuredHeapSymbolVal(const Expr *E, 193 DefinedOrUnknownSVal getDerivedRegionValueSymbolVal [all...] |
SVals.h | 202 class DefinedOrUnknownSVal : public SVal { 210 DefinedOrUnknownSVal() {} 211 explicit DefinedOrUnknownSVal(const void *d, bool isLoc, unsigned ValKind) 214 explicit DefinedOrUnknownSVal(BaseKind k, void *D = nullptr) 224 class UnknownVal : public DefinedOrUnknownSVal { 226 explicit UnknownVal() : DefinedOrUnknownSVal(UnknownKind) {} 235 class DefinedSVal : public DefinedOrUnknownSVal { 245 : DefinedOrUnknownSVal(d, isLoc, ValKind) {}
|
ProgramState.h | 179 ProgramStateRef assume(DefinedOrUnknownSVal cond, bool assumption) const; 187 assume(DefinedOrUnknownSVal cond) const; 189 ProgramStateRef assumeInBound(DefinedOrUnknownSVal idx, 190 DefinedOrUnknownSVal upperBound, 200 ProgramStateRef assumeWithinInclusiveRange(DefinedOrUnknownSVal Val, 211 assumeWithinInclusiveRange(DefinedOrUnknownSVal Val, const llvm::APSInt &From, 642 inline ProgramStateRef ProgramState::assume(DefinedOrUnknownSVal Cond, 652 ProgramState::assume(DefinedOrUnknownSVal Cond) const { 661 ProgramState::assumeWithinInclusiveRange(DefinedOrUnknownSVal Val, 675 ProgramState::assumeWithinInclusiveRange(DefinedOrUnknownSVal Val [all...] |
MemRegion.h | 426 virtual DefinedOrUnknownSVal getExtent(SValBuilder &svalBuilder) const { 461 DefinedOrUnknownSVal getExtent(SValBuilder &svalBuilder) const override; 521 DefinedOrUnknownSVal getExtent(SValBuilder &svalBuilder) const override; 725 DefinedOrUnknownSVal getExtent(SValBuilder &svalBuilder) const override; 761 DefinedOrUnknownSVal getExtent(SValBuilder &svalBuilder) const override; 941 DefinedOrUnknownSVal getExtent(SValBuilder &svalBuilder) const override; [all...] |
Store.h | 106 virtual DefinedOrUnknownSVal getSizeInElements(ProgramStateRef state,
|
/external/clang/lib/StaticAnalyzer/Core/ |
SValBuilder.cpp | 32 DefinedOrUnknownSVal SValBuilder::makeZeroVal(QualType type) { 94 DefinedOrUnknownSVal 112 DefinedOrUnknownSVal SValBuilder::conjureSymbolVal(const void *SymbolTag, 130 DefinedOrUnknownSVal SValBuilder::conjureSymbolVal(const void *symbolTag, 150 DefinedOrUnknownSVal SValBuilder::conjureSymbolVal(const Stmt *stmt, 168 DefinedOrUnknownSVal 197 DefinedOrUnknownSVal 390 DefinedOrUnknownSVal SValBuilder::evalEQ(ProgramStateRef state, 391 DefinedOrUnknownSVal lhs, 392 DefinedOrUnknownSVal rhs) [all...] |
ExprEngineObjC.cpp | 175 DefinedOrUnknownSVal receiverVal = 176 recVal.castAs<DefinedOrUnknownSVal>();
|
MemRegion.cpp | 183 DefinedOrUnknownSVal TypedValueRegion::getExtent(SValBuilder &svalBuilder) const { 197 DefinedOrUnknownSVal FieldRegion::getExtent(SValBuilder &svalBuilder) const { 202 DefinedOrUnknownSVal Extent = DeclRegion::getExtent(svalBuilder); 216 DefinedOrUnknownSVal AllocaRegion::getExtent(SValBuilder &svalBuilder) const { 220 DefinedOrUnknownSVal SymbolicRegion::getExtent(SValBuilder &svalBuilder) const { 224 DefinedOrUnknownSVal StringRegion::getExtent(SValBuilder &svalBuilder) const { [all...] |
ExprEngineC.cpp | 392 DefinedOrUnknownSVal NewSym = 588 DefinedOrUnknownSVal DefinedRHS = RHSVal.castAs<DefinedOrUnknownSVal>(); [all...] |
RegionStore.cpp | 564 DefinedOrUnknownSVal getSizeInElements(ProgramStateRef state, [all...] |