/external/clang/lib/StaticAnalyzer/Checkers/ |
BuiltinFunctionChecker.cpp | 63 DefinedOrUnknownSVal Size = 64 cast<DefinedOrUnknownSVal>(state->getSVal(*(CE->arg_begin()), LCtx)); 67 DefinedOrUnknownSVal Extent = R->getExtent(svalBuilder); 68 DefinedOrUnknownSVal extentMatchesSizeArg =
|
ArrayBoundChecker.cpp | 47 DefinedOrUnknownSVal Idx = cast<DefinedOrUnknownSVal>(ER->getIndex()); 57 DefinedOrUnknownSVal NumElements
|
ReturnPointerRangeChecker.cpp | 49 DefinedOrUnknownSVal Idx = cast<DefinedOrUnknownSVal>(ER->getIndex()); 57 DefinedOrUnknownSVal NumElements
|
VLASizeChecker.cpp | 146 DefinedOrUnknownSVal Extent = 148 DefinedOrUnknownSVal ArraySize = cast<DefinedOrUnknownSVal>(ArraySizeVal); 149 DefinedOrUnknownSVal sizeIsKnown =
|
OSAtomicChecker.cpp | 150 DefinedOrUnknownSVal theValueVal = 151 cast<DefinedOrUnknownSVal>(theValueVal_untested); 152 DefinedOrUnknownSVal oldValueVal = 153 cast<DefinedOrUnknownSVal>(oldValueVal_untested); 158 DefinedOrUnknownSVal Cmp =
|
CStringChecker.cpp | 219 DefinedOrUnknownSVal zero = svalBuilder.makeZeroVal(Ty); 292 DefinedOrUnknownSVal Size = cast<DefinedOrUnknownSVal>(Extent); 295 DefinedOrUnknownSVal Idx = cast<DefinedOrUnknownSVal>(ER->getIndex()); 467 DefinedOrUnknownSVal *reverseTest = dyn_cast<DefinedOrUnknownSVal>(&reverse); 515 DefinedOrUnknownSVal *OverlapTest = dyn_cast<DefinedOrUnknownSVal>(&Overlap); 590 state->assume(cast<DefinedOrUnknownSVal>(willOverflow)) [all...] |
MallocChecker.cpp | 440 if (isa<DefinedOrUnknownSVal>(Size)) { 442 DefinedOrUnknownSVal Extent = R->getExtent(svalBuilder); 443 DefinedOrUnknownSVal DefinedSize = cast<DefinedOrUnknownSVal>(Size); 444 DefinedOrUnknownSVal extentMatchesSize = 500 if (!isa<DefinedOrUnknownSVal>(ArgVal)) 502 DefinedOrUnknownSVal location = cast<DefinedOrUnknownSVal>(ArgVal); 725 if (!isa<DefinedOrUnknownSVal>(Arg0Val)) 727 DefinedOrUnknownSVal arg0Val = cast<DefinedOrUnknownSVal>(Arg0Val) [all...] |
DereferenceChecker.cpp | 96 DefinedOrUnknownSVal location = cast<DefinedOrUnknownSVal>(l);
|
CallAndMessageChecker.cpp | 273 DefinedOrUnknownSVal receiverVal = cast<DefinedOrUnknownSVal>(recVal);
|
ArrayBoundCheckerV2.cpp | 141 DefinedOrUnknownSVal extentVal =
|
MacOSKeychainAPIChecker.cpp | 249 DefinedOrUnknownSVal NoErrVal = Builder.makeIntVal(NoErr, 251 DefinedOrUnknownSVal NoErr = Builder.evalEQ(State, NoErrVal,
|
/external/clang/include/clang/StaticAnalyzer/Core/PathSensitive/ |
SValBuilder.h | 120 DefinedOrUnknownSVal evalEQ(ProgramStateRef state, DefinedOrUnknownSVal lhs, 121 DefinedOrUnknownSVal rhs); 163 DefinedOrUnknownSVal makeZeroVal(QualType type); 166 DefinedOrUnknownSVal getRegionValueSymbolVal(const TypedValueRegion *region); 174 DefinedOrUnknownSVal getConjuredSymbolVal(const void *symbolTag, 178 DefinedOrUnknownSVal getConjuredSymbolVal(const void *symbolTag, 184 DefinedOrUnknownSVal getConjuredSymbolVal(const Stmt *stmt, 189 DefinedOrUnknownSVal getDerivedRegionValueSymbolVal(
|
SVals.h | 176 class DefinedOrUnknownSVal : public SVal { 184 explicit DefinedOrUnknownSVal(const void *d, bool isLoc, unsigned ValKind) 187 explicit DefinedOrUnknownSVal(BaseKind k, void *D = NULL) 197 class UnknownVal : public DefinedOrUnknownSVal { 199 explicit UnknownVal() : DefinedOrUnknownSVal(UnknownKind) {} 206 class DefinedSVal : public DefinedOrUnknownSVal { 215 : DefinedOrUnknownSVal(d, isLoc, ValKind) {}
|
MemRegion.h | 386 virtual DefinedOrUnknownSVal getExtent(SValBuilder &svalBuilder) const { 421 DefinedOrUnknownSVal getExtent(SValBuilder &svalBuilder) const; 653 DefinedOrUnknownSVal getExtent(SValBuilder &svalBuilder) const; 689 DefinedOrUnknownSVal getExtent(SValBuilder &svalBuilder) const; 784 DefinedOrUnknownSVal getExtent(SValBuilder &svalBuilder) const; 869 DefinedOrUnknownSVal getExtent(SValBuilder &svalBuilder) const; [all...] |
ProgramState.h | 167 ProgramStateRef assume(DefinedOrUnknownSVal cond, bool assumption) const; 173 assume(DefinedOrUnknownSVal cond) const; 175 ProgramStateRef assumeInBound(DefinedOrUnknownSVal idx, 176 DefinedOrUnknownSVal upperBound, 613 inline ProgramStateRef ProgramState::assume(DefinedOrUnknownSVal Cond, 623 ProgramState::assume(DefinedOrUnknownSVal Cond) const {
|
Store.h | 112 virtual DefinedOrUnknownSVal getSizeInElements(ProgramStateRef state,
|
/external/clang/lib/StaticAnalyzer/Core/ |
SValBuilder.cpp | 31 DefinedOrUnknownSVal SValBuilder::makeZeroVal(QualType type) { 94 DefinedOrUnknownSVal 109 DefinedOrUnknownSVal 118 DefinedOrUnknownSVal 136 DefinedOrUnknownSVal 167 DefinedOrUnknownSVal 253 DefinedOrUnknownSVal SValBuilder::evalEQ(ProgramStateRef state, 254 DefinedOrUnknownSVal lhs, 255 DefinedOrUnknownSVal rhs) { 256 return cast<DefinedOrUnknownSVal>(evalBinOp(state, BO_EQ, lhs, rhs [all...] |
ExprEngineObjC.cpp | 155 DefinedOrUnknownSVal receiverVal = cast<DefinedOrUnknownSVal>(recVal);
|
MemRegion.cpp | 182 DefinedOrUnknownSVal DeclRegion::getExtent(SValBuilder &svalBuilder) const { 196 DefinedOrUnknownSVal FieldRegion::getExtent(SValBuilder &svalBuilder) const { 197 DefinedOrUnknownSVal Extent = DeclRegion::getExtent(svalBuilder); 211 DefinedOrUnknownSVal AllocaRegion::getExtent(SValBuilder &svalBuilder) const { 215 DefinedOrUnknownSVal SymbolicRegion::getExtent(SValBuilder &svalBuilder) const { 219 DefinedOrUnknownSVal StringRegion::getExtent(SValBuilder &svalBuilder) const { [all...] |
ExprEngineC.cpp | 319 DefinedOrUnknownSVal NewSym = svalBuilder.getConjuredSymbolVal(NULL, 462 DefinedOrUnknownSVal XD = cast<DefinedOrUnknownSVal>(X); 772 DefinedOrUnknownSVal SymVal = 781 DefinedOrUnknownSVal Constraint =
|
ExprEngineCXX.cpp | 179 DefinedOrUnknownSVal symVal =
|
RegionStore.cpp | 403 DefinedOrUnknownSVal getSizeInElements(ProgramStateRef state, 697 DefinedOrUnknownSVal V = 713 DefinedOrUnknownSVal V = 721 DefinedOrUnknownSVal V = 738 DefinedOrUnknownSVal V = svalBuilder.getConjuredSymbolVal(baseR, Ex, LCtx, 816 DefinedOrUnknownSVal [all...] |
BugReporterVisitors.cpp | 382 const DefinedOrUnknownSVal *DV = dyn_cast<DefinedOrUnknownSVal>(&V);
|
ProgramState.cpp | 297 ProgramStateRef ProgramState::assumeInBound(DefinedOrUnknownSVal Idx, 298 DefinedOrUnknownSVal UpperBound,
|