/external/clang/lib/StaticAnalyzer/Checkers/ |
BuiltinFunctionChecker.cpp | 66 DefinedOrUnknownSVal Size = 67 state->getSVal(*(CE->arg_begin()), LCtx).castAs<DefinedOrUnknownSVal>(); 70 DefinedOrUnknownSVal Extent = R->getExtent(svalBuilder); 71 DefinedOrUnknownSVal extentMatchesSizeArg =
|
ArrayBoundChecker.cpp | 47 DefinedOrUnknownSVal Idx = ER->getIndex().castAs<DefinedOrUnknownSVal>(); 57 DefinedOrUnknownSVal NumElements
|
ReturnPointerRangeChecker.cpp | 49 DefinedOrUnknownSVal Idx = ER->getIndex().castAs<DefinedOrUnknownSVal>(); 57 DefinedOrUnknownSVal NumElements
|
ReturnUndefChecker.cpp | 33 DefinedOrUnknownSVal RetVal) const; 76 checkReference(C, RetE, RetVal.castAs<DefinedOrUnknownSVal>()); 104 DefinedOrUnknownSVal RetVal) const {
|
VLASizeChecker.cpp | 146 DefinedOrUnknownSVal Extent = 148 DefinedOrUnknownSVal ArraySize = ArraySizeVal.castAs<DefinedOrUnknownSVal>(); 149 DefinedOrUnknownSVal sizeIsKnown =
|
CStringChecker.cpp | 211 DefinedOrUnknownSVal zero = svalBuilder.makeZeroVal(Ty); 283 DefinedOrUnknownSVal Size = Extent.castAs<DefinedOrUnknownSVal>(); 286 DefinedOrUnknownSVal Idx = ER->getIndex().castAs<DefinedOrUnknownSVal>(); 458 Optional<DefinedOrUnknownSVal> reverseTest = 459 reverse.getAs<DefinedOrUnknownSVal>(); 503 Optional<DefinedOrUnknownSVal> OverlapTest = 504 Overlap.getAs<DefinedOrUnknownSVal>(); 579 state->assume(willOverflow.castAs<DefinedOrUnknownSVal>()); [all...] |
DereferenceChecker.cpp | 194 DefinedOrUnknownSVal location = l.castAs<DefinedOrUnknownSVal>(); 243 State->assume(V.castAs<DefinedOrUnknownSVal>());
|
CallAndMessageChecker.cpp | 241 State->assume(L.castAs<DefinedOrUnknownSVal>()); 271 State->assume(V.castAs<DefinedOrUnknownSVal>()); 372 DefinedOrUnknownSVal receiverVal = recVal.castAs<DefinedOrUnknownSVal>();
|
ExprInspectionChecker.cpp | 70 State->assume(AssertionVal.castAs<DefinedOrUnknownSVal>());
|
ArrayBoundCheckerV2.cpp | 140 DefinedOrUnknownSVal extentVal =
|
BasicObjCFoundationChecks.cpp | 546 DefinedOrUnknownSVal ArgIsNull = svalBuilder.evalEQ(state, zero, *DefArgVal); 894 return State->assume(Val.castAs<DefinedOrUnknownSVal>(), true); [all...] |
MallocChecker.cpp | 773 if (Optional<DefinedOrUnknownSVal> DefinedSize = 774 Size.getAs<DefinedOrUnknownSVal>()) { 776 DefinedOrUnknownSVal Extent = R->getExtent(svalBuilder); 777 DefinedOrUnknownSVal extentMatchesSize = [all...] |
MacOSKeychainAPIChecker.cpp | 240 DefinedOrUnknownSVal NoErrVal = Builder.makeIntVal(NoErr, 242 DefinedOrUnknownSVal NoErr = Builder.evalEQ(State, NoErrVal,
|
/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 = NULL) 224 class UnknownVal : public DefinedOrUnknownSVal { 226 explicit UnknownVal() : DefinedOrUnknownSVal(UnknownKind) {} 235 class DefinedSVal : public DefinedOrUnknownSVal { 245 : DefinedOrUnknownSVal(d, isLoc, ValKind) {}
|
MemRegion.h | 429 virtual DefinedOrUnknownSVal getExtent(SValBuilder &svalBuilder) const { 464 DefinedOrUnknownSVal getExtent(SValBuilder &svalBuilder) const; 524 DefinedOrUnknownSVal getExtent(SValBuilder &svalBuilder) const; 725 DefinedOrUnknownSVal getExtent(SValBuilder &svalBuilder) const; 761 DefinedOrUnknownSVal getExtent(SValBuilder &svalBuilder) const; 941 DefinedOrUnknownSVal getExtent(SValBuilder &svalBuilder) const; [all...] |
ProgramState.h | 178 ProgramStateRef assume(DefinedOrUnknownSVal cond, bool assumption) const; 186 assume(DefinedOrUnknownSVal cond) const; 188 ProgramStateRef assumeInBound(DefinedOrUnknownSVal idx, 189 DefinedOrUnknownSVal upperBound, 635 inline ProgramStateRef ProgramState::assume(DefinedOrUnknownSVal Cond, 645 ProgramState::assume(DefinedOrUnknownSVal Cond) const {
|
Store.h | 106 virtual DefinedOrUnknownSVal getSizeInElements(ProgramStateRef state,
|
/external/clang/lib/StaticAnalyzer/Core/ |
SValBuilder.cpp | 32 DefinedOrUnknownSVal SValBuilder::makeZeroVal(QualType type) { 94 DefinedOrUnknownSVal 109 DefinedOrUnknownSVal SValBuilder::conjureSymbolVal(const void *SymbolTag, 124 DefinedOrUnknownSVal SValBuilder::conjureSymbolVal(const void *symbolTag, 141 DefinedOrUnknownSVal SValBuilder::conjureSymbolVal(const Stmt *stmt, 156 DefinedOrUnknownSVal 183 DefinedOrUnknownSVal 360 DefinedOrUnknownSVal SValBuilder::evalEQ(ProgramStateRef state, 361 DefinedOrUnknownSVal lhs, 362 DefinedOrUnknownSVal rhs) [all...] |
ExprEngineObjC.cpp | 164 DefinedOrUnknownSVal receiverVal = 165 recVal.castAs<DefinedOrUnknownSVal>();
|
ExprEngineC.cpp | 361 DefinedOrUnknownSVal NewSym = 551 DefinedOrUnknownSVal DefinedRHS = RHSVal.castAs<DefinedOrUnknownSVal>(); [all...] |
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...] |
ExprEngine.cpp | 123 Optional<DefinedOrUnknownSVal> Constraint = 124 Constraint_untested.getAs<DefinedOrUnknownSVal>(); [all...] |
RegionStore.cpp | 568 DefinedOrUnknownSVal getSizeInElements(ProgramStateRef state, [all...] |
ProgramState.cpp | 325 ProgramStateRef ProgramState::assumeInBound(DefinedOrUnknownSVal Idx, 326 DefinedOrUnknownSVal UpperBound,
|