| /external/clang/lib/StaticAnalyzer/Checkers/ |
| BoolAssignmentChecker.cpp | 72 Optional<DefinedSVal> DV = val.getAs<DefinedSVal>();
84 DefinedSVal zeroVal = svalBuilder.makeIntVal(0, valTy);
89 Optional<DefinedSVal> greaterThanEqualToZero =
90 greaterThanOrEqualToZeroVal.getAs<DefinedSVal>();
120 DefinedSVal OneVal = svalBuilder.makeIntVal(1, valTy);
125 Optional<DefinedSVal> lessThanEqToOne =
126 lessThanEqToOneVal.getAs<DefinedSVal>();
|
| ObjCContainersChecker.cpp | 59 REGISTER_MAP_WITH_PROGRAMSTATE(ArraySizeMap, SymbolRef, DefinedSVal)
76 State->set<ArraySizeMap>(ArraySym, SizeV.castAs<DefinedSVal>()));
119 const DefinedSVal *Size = State->get<ArraySizeMap>(ArraySym);
129 DefinedSVal Idx = IdxVal.castAs<DefinedSVal>();
|
| DivZeroChecker.cpp | 61 Optional<DefinedSVal> DV = Denom.getAs<DefinedSVal>();
|
| NonNullParamChecker.cpp | 76 Optional<DefinedSVal> DV = V.getAs<DefinedSVal>();
99 DV = V.getAs<DefinedSVal>();
|
| ObjCAtSyncChecker.cpp | 63 llvm::tie(notNullState, nullState) = state->assume(V.castAs<DefinedSVal>());
|
| PthreadLockChecker.cpp | 101 DefinedSVal retVal = X.castAs<DefinedSVal>();
|
| VLASizeChecker.cpp | 113 DefinedSVal sizeD = sizeV.castAs<DefinedSVal>();
|
| UnixAPIChecker.cpp | 118 DefinedSVal maskedFlags = maskedFlagsUC.castAs<DefinedSVal>();
203 state->assume(argVal.castAs<DefinedSVal>());
|
| BasicObjCFoundationChecks.cpp | 536 Optional<DefinedSVal> DefArgVal = ArgVal.getAs<DefinedSVal>();
542 DefinedSVal zero =
543 svalBuilder.makeZeroVal(Arg->getType()).castAs<DefinedSVal>();
848 Optional<DefinedSVal> KnownCollection = CollectionVal.getAs<DefinedSVal>();
919 Optional<DefinedSVal> CountGreaterThanZero =
920 CountGreaterThanZeroVal.getAs<DefinedSVal>();
[all...] |
| StreamChecker.cpp | 213 DefinedSVal RetVal = svalBuilder.conjureSymbolVal(0, CE, LCtx, C.blockCount())
214 .castAs<DefinedSVal>();
340 Optional<DefinedSVal> DV = SV.getAs<DefinedSVal>();
|
| MacOSKeychainAPIChecker.cpp | 425 if (State->assume(ArgSVal.castAs<DefinedSVal>(), false) &&
|
| CStringChecker.cpp | 206 Optional<DefinedSVal> val = V.getAs<DefinedSVal>();
[all...] |
| MallocChecker.cpp | 757 DefinedSVal RetVal = svalBuilder.getConjuredHeapSymbolVal(CE, LCtx, Count)
758 .castAs<DefinedSVal>();
[all...] |
| /external/clang/lib/StaticAnalyzer/Core/ |
| ConstraintManager.cpp | 21 static DefinedSVal getLocFromSymbol(const ProgramStateRef &State,
31 DefinedSVal V = Loc::isLocType(Ty) ? getLocFromSymbol(State, Sym)
|
| SimpleConstraintManager.h | 36 ProgramStateRef assume(ProgramStateRef state, DefinedSVal Cond,
|
| SValBuilder.cpp | 168 DefinedSVal SValBuilder::getMetadataSymbolVal(const void *symbolTag,
199 DefinedSVal SValBuilder::getFunctionPointer(const FunctionDecl *func) {
203 DefinedSVal SValBuilder::getBlockPointer(const BlockDecl *block,
|
| SimpleConstraintManager.cpp | 69 DefinedSVal Cond,
|
| BugReporterVisitors.cpp | 268 if (RValue.getAs<DefinedSVal>())
786 SuppressInlineDefensiveChecksVisitor(DefinedSVal Value, const ExplodedNode *N)
[all...] |
| ExprEngineC.cpp | [all...] |
| ProgramState.cpp | 368 return CM.assume(this, inBound.castAs<DefinedSVal>(), Assumption);
|
| /external/clang/include/clang/StaticAnalyzer/Core/PathSensitive/ |
| ConstraintManager.h | 68 DefinedSVal Cond,
75 ProgramStatePair assumeDual(ProgramStateRef State, DefinedSVal Cond) {
|
| SVals.h | 235 class DefinedSVal : public DefinedOrUnknownSVal {
243 DefinedSVal() {}
244 explicit DefinedSVal(const void *d, bool isLoc, unsigned ValKind)
262 KnownSVal(const DefinedSVal &V) : SVal(V) {}
266 class NonLoc : public DefinedSVal {
270 : DefinedSVal(d, false, SubKind) {}
282 class Loc : public DefinedSVal {
286 : DefinedSVal(const_cast<void*>(D), true, SubKind) {}
|
| SValBuilder.h | 196 DefinedSVal getMetadataSymbolVal(
200 DefinedSVal getFunctionPointer(const FunctionDecl *func);
202 DefinedSVal getBlockPointer(const BlockDecl *block, CanQualType locTy,
255 DefinedSVal makeIntVal(uint64_t integer, QualType type) {
|
| ProgramState.h | 641 ->assume(this, Cond.castAs<DefinedSVal>(), Assumption);
650 ->assumeDual(this, Cond.castAs<DefinedSVal>());
|
| /external/clang/include/clang/StaticAnalyzer/Core/BugReporter/ |
| BugReporterVisitor.h | 132 DefinedSVal Constraint;
142 TrackConstraintBRVisitor(DefinedSVal constraint, bool assumption)
307 DefinedSVal V;
320 SuppressInlineDefensiveChecksVisitor(DefinedSVal Val, const ExplodedNode *N);
|
