| /external/clang/lib/StaticAnalyzer/Checkers/ |
| D | BoolAssignmentChecker.cpp | 72 Optional<DefinedSVal> DV = val.getAs<DefinedSVal>(); in checkBind()
84 DefinedSVal zeroVal = svalBuilder.makeIntVal(0, valTy); in checkBind()
89 Optional<DefinedSVal> greaterThanEqualToZero = in checkBind()
90 greaterThanOrEqualToZeroVal.getAs<DefinedSVal>(); in checkBind()
120 DefinedSVal OneVal = svalBuilder.makeIntVal(1, valTy); in checkBind()
125 Optional<DefinedSVal> lessThanEqToOne = in checkBind()
126 lessThanEqToOneVal.getAs<DefinedSVal>(); in checkBind()
|
| D | ObjCContainersChecker.cpp | 64 REGISTER_MAP_WITH_PROGRAMSTATE(ArraySizeMap, SymbolRef, DefinedSVal) in REGISTER_MAP_WITH_PROGRAMSTATE() argument
81 State->set<ArraySizeMap>(ArraySym, SizeV.castAs<DefinedSVal>())); in REGISTER_MAP_WITH_PROGRAMSTATE()
124 const DefinedSVal *Size = State->get<ArraySizeMap>(ArraySym); in checkPreStmt()
134 DefinedSVal Idx = IdxVal.castAs<DefinedSVal>(); in checkPreStmt()
|
| D | VLASizeChecker.cpp | 116 DefinedSVal sizeD = sizeV.castAs<DefinedSVal>(); in checkPreStmt()
140 if (Optional<DefinedSVal> LessThanZeroDVal = in checkPreStmt()
141 LessThanZeroVal.getAs<DefinedSVal>()) { in checkPreStmt()
|
| D | NonNullParamChecker.cpp | 97 Optional<DefinedSVal> DV = V.getAs<DefinedSVal>(); in checkPreCall()
120 DV = V.getAs<DefinedSVal>(); in checkPreCall()
|
| D | DivZeroChecker.cpp | 61 Optional<DefinedSVal> DV = Denom.getAs<DefinedSVal>(); in checkPreStmt()
|
| D | BasicObjCFoundationChecks.cpp | 574 Optional<DefinedSVal> DefArgVal = ArgVal.getAs<DefinedSVal>(); in checkPreStmt()
580 DefinedSVal zero = in checkPreStmt()
581 svalBuilder.makeZeroVal(Arg->getType()).castAs<DefinedSVal>(); in checkPreStmt()
890 Optional<DefinedSVal> KnownCollection = CollectionVal.getAs<DefinedSVal>(); in checkCollectionNonNil()
961 Optional<DefinedSVal> CountGreaterThanZero = in assumeCollectionNonEmpty()
962 CountGreaterThanZeroVal.getAs<DefinedSVal>(); in assumeCollectionNonEmpty()
|
| D | UnixAPIChecker.cpp | 145 DefinedSVal maskedFlags = maskedFlagsUC.castAs<DefinedSVal>(); in CheckOpen()
222 state->assume(argVal.castAs<DefinedSVal>()); in IsZeroByteAllocation()
|
| D | StreamChecker.cpp | 215 DefinedSVal RetVal = svalBuilder.conjureSymbolVal(nullptr, CE, LCtx, in OpenFileAux()
217 .castAs<DefinedSVal>(); in OpenFileAux()
343 Optional<DefinedSVal> DV = SV.getAs<DefinedSVal>(); in CheckNullStream()
|
| D | ObjCAtSyncChecker.cpp | 63 std::tie(notNullState, nullState) = state->assume(V.castAs<DefinedSVal>()); in checkPreStmt()
|
| D | TestAfterDivZeroChecker.cpp | 139 Optional<DefinedSVal> DSV = S.getAs<DefinedSVal>(); in isZero()
|
| D | PthreadLockChecker.cpp | 138 DefinedSVal retVal = X.castAs<DefinedSVal>(); in AcquireLock()
|
| D | MallocChecker.cpp | 733 DefinedSVal MaskedFlags = MaskedFlagsUC.castAs<DefinedSVal>(); in performKernelMalloc()
884 Optional<DefinedSVal> DefArgVal = in ProcessZeroAllocation()
885 State->getSVal(Arg, C.getLocationContext()).getAs<DefinedSVal>(); in ProcessZeroAllocation()
893 DefinedSVal Zero = in ProcessZeroAllocation()
894 SvalBuilder.makeZeroVal(Arg->getType()).castAs<DefinedSVal>(); in ProcessZeroAllocation()
1098 DefinedSVal RetVal = svalBuilder.getConjuredHeapSymbolVal(CE, LCtx, Count) in MallocMemAux()
1099 .castAs<DefinedSVal>(); in MallocMemAux()
|
| D | CStringChecker.cpp | 222 Optional<DefinedSVal> val = V.getAs<DefinedSVal>(); in REGISTER_MAP_WITH_PROGRAMSTATE()
1884 DefinedSVal zeroVal = svalBuilder.makeIntVal(0, CE->getType()); in evalStrcmpCommon()
1891 DefinedSVal compareWithZeroVal = compareWithZero.castAs<DefinedSVal>(); in evalStrcmpCommon()
|
| /external/clang/include/clang/StaticAnalyzer/Core/PathSensitive/ |
| D | SVals.h | 235 class DefinedSVal : public DefinedOrUnknownSVal {
243 DefinedSVal() {} in DefinedSVal() function
244 explicit DefinedSVal(const void *d, bool isLoc, unsigned ValKind) in DefinedSVal() function
262 KnownSVal(const DefinedSVal &V) : SVal(V) {} in KnownSVal()
266 class NonLoc : public DefinedSVal {
270 : DefinedSVal(d, false, SubKind) {} in NonLoc()
282 class Loc : public DefinedSVal {
286 : DefinedSVal(const_cast<void*>(D), true, SubKind) {} in Loc()
|
| D | SVals.def | 58 ABSTRACT_SVAL(DefinedSVal, DefinedOrUnknownSVal)
59 ABSTRACT_SVAL_WITH_KIND(Loc, DefinedSVal)
63 ABSTRACT_SVAL_WITH_KIND(NonLoc, DefinedSVal)
|
| D | SValBuilder.h | 201 DefinedSVal getMetadataSymbolVal(
205 DefinedSVal getFunctionPointer(const FunctionDecl *func);
207 DefinedSVal getBlockPointer(const BlockDecl *block, CanQualType locTy,
261 DefinedSVal makeIntVal(uint64_t integer, QualType type) { in makeIntVal()
|
| D | ConstraintManager.h | 68 DefinedSVal Cond,
75 ProgramStatePair assumeDual(ProgramStateRef State, DefinedSVal Cond) { in assumeDual()
|
| D | ProgramState.h | 649 ->assume(this, Cond.castAs<DefinedSVal>(), Assumption); in assume()
658 ->assumeDual(this, Cond.castAs<DefinedSVal>()); in assume()
|
| /external/clang/lib/StaticAnalyzer/Core/ |
| D | ConstraintManager.cpp | 21 static DefinedSVal getLocFromSymbol(const ProgramStateRef &State, in getLocFromSymbol()
31 DefinedSVal V = Loc::isLocType(Ty) ? getLocFromSymbol(State, Sym) in checkNull()
|
| D | SimpleConstraintManager.cpp | 69 DefinedSVal Cond, in assume()
81 Cond = SVB.evalCast(*LV, SVB.getContext().BoolTy, T).castAs<DefinedSVal>(); in assume()
|
| D | SValBuilder.cpp | 182 DefinedSVal SValBuilder::getMetadataSymbolVal(const void *symbolTag, in getMetadataSymbolVal()
216 DefinedSVal SValBuilder::getFunctionPointer(const FunctionDecl *func) { in getFunctionPointer()
220 DefinedSVal SValBuilder::getBlockPointer(const BlockDecl *block, in getBlockPointer()
|
| D | SimpleConstraintManager.h | 36 ProgramStateRef assume(ProgramStateRef state, DefinedSVal Cond,
|
| D | BugReporterVisitors.cpp | 265 if (RValue.getAs<DefinedSVal>()) in visitNodeInitial()
786 SuppressInlineDefensiveChecksVisitor(DefinedSVal Value, const ExplodedNode *N) in SuppressInlineDefensiveChecksVisitor()
1052 V.castAs<DefinedSVal>(), false)); in trackNullOrUndefValue()
1055 if (Optional<DefinedSVal> DV = V.getAs<DefinedSVal>()) { in trackNullOrUndefValue()
|
| D | ExprEngineC.cpp | 952 DefinedSVal V2 = V2_untested.castAs<DefinedSVal>(); in VisitIncrementDecrementOperator()
|
| /external/clang/include/clang/StaticAnalyzer/Core/BugReporter/ |
| D | BugReporterVisitor.h | 132 DefinedSVal Constraint;
142 TrackConstraintBRVisitor(DefinedSVal constraint, bool assumption) in TrackConstraintBRVisitor()
307 DefinedSVal V;
320 SuppressInlineDefensiveChecksVisitor(DefinedSVal Val, const ExplodedNode *N);
|