/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 | 64 REGISTER_MAP_WITH_PROGRAMSTATE(ArraySizeMap, SymbolRef, DefinedSVal) 81 State->set<ArraySizeMap>(ArraySym, SizeV.castAs<DefinedSVal>())); 125 const DefinedSVal *Size = State->get<ArraySizeMap>(ArraySym); 135 DefinedSVal Idx = IdxVal.castAs<DefinedSVal>();
|
VLASizeChecker.cpp | 117 DefinedSVal sizeD = sizeV.castAs<DefinedSVal>(); 141 if (Optional<DefinedSVal> LessThanZeroDVal = 142 LessThanZeroVal.getAs<DefinedSVal>()) {
|
DivZeroChecker.cpp | 61 Optional<DefinedSVal> DV = Denom.getAs<DefinedSVal>();
|
ObjCAtSyncChecker.cpp | 63 std::tie(notNullState, nullState) = state->assume(V.castAs<DefinedSVal>());
|
NonNullParamChecker.cpp | 97 Optional<DefinedSVal> DV = V.getAs<DefinedSVal>(); 120 DV = V.getAs<DefinedSVal>();
|
UnixAPIChecker.cpp | 145 DefinedSVal maskedFlags = maskedFlagsUC.castAs<DefinedSVal>(); 222 state->assume(argVal.castAs<DefinedSVal>());
|
StreamChecker.cpp | 215 DefinedSVal RetVal = svalBuilder.conjureSymbolVal(nullptr, CE, LCtx, 217 .castAs<DefinedSVal>(); 343 Optional<DefinedSVal> DV = SV.getAs<DefinedSVal>();
|
BasicObjCFoundationChecks.cpp | 575 Optional<DefinedSVal> DefArgVal = ArgVal.getAs<DefinedSVal>(); 581 DefinedSVal zero = 582 svalBuilder.makeZeroVal(Arg->getType()).castAs<DefinedSVal>(); 892 Optional<DefinedSVal> KnownCollection = CollectionVal.getAs<DefinedSVal>(); [all...] |
PthreadLockChecker.cpp | 138 DefinedSVal retVal = X.castAs<DefinedSVal>();
|
TestAfterDivZeroChecker.cpp | 139 Optional<DefinedSVal> DSV = S.getAs<DefinedSVal>();
|
MallocChecker.cpp | 723 DefinedSVal MaskedFlags = MaskedFlagsUC.castAs<DefinedSVal>(); [all...] |
MacOSKeychainAPIChecker.cpp | 431 if (State->assume(ArgSVal.castAs<DefinedSVal>(), false) &&
|
/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,
|
SimpleConstraintManager.cpp | 69 DefinedSVal Cond, 81 Cond = SVB.evalCast(*LV, SVB.getContext().BoolTy, T).castAs<DefinedSVal>();
|
SValBuilder.cpp | 182 DefinedSVal SValBuilder::getMetadataSymbolVal(const void *symbolTag, 216 DefinedSVal SValBuilder::getFunctionPointer(const FunctionDecl *func) { 220 DefinedSVal SValBuilder::getBlockPointer(const BlockDecl *block,
|
BugReporterVisitors.cpp | 264 if (RValue.getAs<DefinedSVal>()) 782 SuppressInlineDefensiveChecksVisitor(DefinedSVal Value, const ExplodedNode *N) [all...] |
ExprEngineC.cpp | [all...] |
ProgramState.cpp | 347 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, 256 DefinedSVal makeIntVal(uint64_t integer, QualType type) {
|
ProgramState.h | 648 ->assume(this, Cond.castAs<DefinedSVal>(), Assumption); 657 ->assumeDual(this, Cond.castAs<DefinedSVal>());
|
/external/clang/include/clang/StaticAnalyzer/Core/BugReporter/ |
BugReporterVisitor.h | 131 DefinedSVal Constraint; 141 TrackConstraintBRVisitor(DefinedSVal constraint, bool assumption) 306 DefinedSVal V; 319 SuppressInlineDefensiveChecksVisitor(DefinedSVal Val, const ExplodedNode *N);
|