| /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,
|
| ExprEngine.cpp | 132 DefinedOrUnknownSVal *Constraint =
133 dyn_cast<DefinedOrUnknownSVal>(&Constraint_untested);
[all...] |
