HomeSort by relevance Sort by last modified time
    Searched refs:DefinedOrUnknownSVal (Results 1 - 25 of 26) sorted by null

1 2

  /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,

Completed in 265 milliseconds

1 2