/external/clang/lib/StaticAnalyzer/Core/ |
SimpleSValBuilder.cpp | 24 SVal dispatchCast(SVal val, QualType castTy) override; 25 SVal evalCastFromNonLoc(NonLoc val, QualType castTy) override; 26 SVal evalCastFromLoc(Loc val, QualType castTy) override; 34 SVal evalMinus(NonLoc val) override; 35 SVal evalComplement(NonLoc val) override; 36 SVal evalBinOpNN(ProgramStateRef state, BinaryOperator::Opcode op, 38 SVal evalBinOpLL(ProgramStateRef state, BinaryOperator::Opcode op, 40 SVal evalBinOpLN(ProgramStateRef state, BinaryOperator::Opcode op, 43 /// getKnownValue - evaluates a given SVal. If the SVal has only one possibl [all...] |
ExprEngineC.cpp | 40 SVal LeftV = state->getSVal(LHS, LCtx); 41 SVal RightV = state->getSVal(RHS, LCtx); 55 SVal ExprVal = B->isGLValue() ? LeftV : RightV; 93 SVal Result = evalBinOp(state, Op, LeftV, RightV, B->getType()); 124 SVal location = LeftV; 132 SVal V = state->getSVal(LHS, LCtx); 149 SVal Result = svalBuilder.evalCast(evalBinOp(state, Op, V, RightV, CTy), 155 SVal LHSVal; 194 SVal V = svalBuilder.getBlockPointer(BD, T, 228 SVal originalV [all...] |
CallEvent.cpp | 165 SmallVector<SVal, 8> ValuesToInvalidate; 213 SVal CallEvent::getArgSVal(unsigned Index) const { 227 SVal CallEvent::getReturnValue() const { 319 SVal ArgVal = Call.getArgSVal(Idx); 425 SVal ThisVal = getCXXThisVal(); 449 SVal CXXInstanceCall::getCXXThisVal() const { 455 SVal ThisVal = getSVal(Base); 528 SVal ThisVal = getCXXThisVal(); 611 SVal ThisVal = loc::MemRegionVal(CapturedLambdaRegion); 623 SVal CXXConstructorCall::getCXXThisVal() const [all...] |
ProgramState.cpp | 114 ProgramStateRef ProgramState::bindLoc(Loc LV, SVal V, bool notifyChanges) const { 125 ProgramStateRef ProgramState::bindDefault(SVal loc, SVal V) const { 136 typedef ArrayRef<SVal> ValueList; 146 SmallVector<SVal, 8> Values; 235 SVal ProgramState::getSValAsScalarOrLoc(const MemRegion *R) const { 251 SVal ProgramState::getSVal(Loc location, QualType T) const { 252 SVal V = getRawSVal(cast<Loc>(location), T); 292 SVal V, bool Invalidate) const{ 326 SVal newIdx = svalBuilder.evalBinOpNN(this, BO_Add [all...] |
SValBuilder.cpp | 27 // Basic SVal creation. 76 SVal SValBuilder::convertToArrayIndex(SVal val) { 246 Optional<SVal> SValBuilder::getConstantVal(const Expr *E) { 301 Optional<SVal> Val = getConstantVal(SE); 332 SVal SValBuilder::makeSymExprValNN(ProgramStateRef State, 361 SVal SValBuilder::evalBinOp(ProgramStateRef state, BinaryOperator::Opcode op, 362 SVal lhs, SVal rhs, QualType type) { 427 SVal SValBuilder::evalCast(SVal val, QualType castTy, QualType originalTy) [all...] |
CheckerContext.cpp | 25 SVal L = State->getSVal(Callee, Pred->getLocationContext());
|
ExprEngine.cpp | 130 SVal V = state->getSVal(loc::MemRegionVal(R)); 131 SVal Constraint_untested = evalBinOp(state, BO_GT, V, 153 SVal V = state->getSVal(loc::MemRegionVal(R)); 170 SVal V = state->getSVal(L); 187 SVal V = State->getSVal(Ex, LC); 236 SVal Reg = loc::MemRegionVal(TR); 261 SVal cond, bool assumption) { 470 SVal thisVal = State->getSVal(svalBuilder.getCXXThis(decl, stackFrame)); 473 SVal FieldLoc; 494 SVal InitVal [all...] |
/external/clang/lib/StaticAnalyzer/Checkers/ |
PthreadLockChecker.cpp | 66 void AcquireLock(CheckerContext &C, const CallExpr *CE, SVal lock, 69 void ReleaseLock(CheckerContext &C, const CallExpr *CE, SVal lock) const; 70 void DestroyLock(CheckerContext &C, const CallExpr *CE, SVal Lock) const; 71 void InitLock(CheckerContext &C, const CallExpr *CE, SVal Lock) const; 125 SVal lock, bool isTryLock, 134 SVal X = state->getSVal(CE, C.getLocationContext()); 194 SVal lock) const { 249 SVal Lock) const { 284 SVal Lock) const {
|
FixedAddressChecker.cpp | 48 SVal RV = state->getSVal(B->getRHS(), C.getLocationContext());
|
ObjCContainersChecker.cpp | 42 SVal ArrayRef = C.getState()->getSVal(E, C.getLocationContext()); 69 SVal SizeV = State->getSVal(Size, C.getLocationContext()); 75 SVal ArrayRef = State->getSVal(Array, C.getLocationContext()); 132 SVal IdxVal = State->getSVal(IdxExpr, C.getLocationContext());
|
VLASizeChecker.cpp | 98 SVal sizeV = state->getSVal(SE, C.getLocationContext()); 140 SVal LessThanZeroVal = svalBuilder.evalBinOp(state, BO_LT, sizeD, Zero, Ty); 161 SVal EleSizeVal = svalBuilder.makeIntVal(EleSize.getQuantity(), SizeTy); 164 SVal ArraySizeVal = svalBuilder.evalBinOpNN(
|
BuiltinFunctionChecker.cpp | 53 SVal X = state->getSVal(*(CE->arg_begin()), LCtx); 65 // SVal of the argument directly. If we save the extent in bits, we 84 SVal V = UnknownVal();
|
DereferenceChecker.cpp | 41 void checkLocation(SVal location, bool isLoad, const Stmt* S, 43 void checkBind(SVal L, SVal V, const Stmt *S, CheckerContext &C) const; 180 void DereferenceChecker::checkLocation(SVal l, bool isLoad, const Stmt* S, 230 void DereferenceChecker::checkBind(SVal L, SVal V, const Stmt *S,
|
NSErrorChecker.cpp | 163 void checkLocation(SVal loc, bool isLoad, const Stmt *S, 174 static bool hasFlag(SVal val, ProgramStateRef state) { 182 static void setFlag(ProgramStateRef state, SVal val, CheckerContext &C) { 183 // We tag the symbol that the SVal wraps. 188 static QualType parameterTypeFromSVal(SVal val, CheckerContext &C) { 203 void NSOrCFErrorDerefChecker::checkLocation(SVal loc, bool isLoad, 215 // SVal so that we can later check it when handling the 244 SVal loc = event.Location;
|
VforkChecker.cpp | 64 void checkBind(SVal L, SVal V, const Stmt *S, CheckerContext &C) const; 155 SVal VforkRetVal = Call.getReturnValue(); 192 void VforkChecker::checkBind(SVal L, SVal V, const Stmt *S,
|
CallAndMessageChecker.cpp | 73 bool PreVisitProcessArg(CheckerContext &C, SVal V, SourceRange ArgRange, 91 bool uninitRefOrPointer(CheckerContext &C, const SVal &V, 140 const SVal &V, 170 const SVal PSV = State->getSVal(SValMemRegion); 188 SVal V, 250 const SVal &V = StoreMgr.getBinding(store, loc::MemRegionVal(FR)); 311 SVal L = State->getSVal(Callee, LCtx); 338 SVal Arg = C.getSVal(DE->getArgument()); 367 SVal V = CC->getCXXThisVal(); 444 SVal recVal = msg.getReceiverSVal() [all...] |
ReturnPointerRangeChecker.cpp | 43 SVal V = state->getSVal(RetE, C.getLocationContext());
|
UnixAPIChecker.cpp | 131 const SVal V = state->getSVal(oflagsEx, C.getLocationContext()); 140 SVal maskedFlagsUC = C.getSValBuilder().evalBinOpNN(state, BO_And, 218 const SVal argVal, 268 SVal argVal = state->getSVal(arg, C.getLocationContext()); 296 SVal argVal = state->getSVal(arg, C.getLocationContext());
|
LocalizationChecker.cpp | 78 bool hasNonLocalizedState(SVal S, CheckerContext &C) const; 79 bool hasLocalizedState(SVal S, CheckerContext &C) const; 80 void setNonLocalizedState(SVal S, CheckerContext &C) const; 81 void setLocalizedState(SVal S, CheckerContext &C) const; 84 void reportLocalizationError(SVal S, const ObjCMethodCall &M, 575 /// Returns true if the given SVal is marked as Localized in the program state 576 bool NonLocalizedStringChecker::hasLocalizedState(SVal S, 587 /// Returns true if the given SVal is marked as NonLocalized in the program 589 bool NonLocalizedStringChecker::hasNonLocalizedState(SVal S, 600 /// Marks the given SVal as Localized in the program stat [all...] |
ExprInspectionChecker.cpp | 72 SVal AssertionVal = State->getSVal(Assertion, LC); 151 SVal Val = C.getSVal(CE->getArg(0));
|
DivZeroChecker.cpp | 60 SVal Denom = C.getState()->getSVal(B->getRHS(), C.getLocationContext());
|
ObjCAtSyncChecker.cpp | 42 SVal V = state->getSVal(Ex, C.getLocationContext());
|
UndefBranchChecker.cpp | 61 SVal X = Ctx.getState()->getSVal(Condition, Ctx.getLocationContext());
|
/external/clang/include/clang/StaticAnalyzer/Core/PathSensitive/ |
SubEngine.h | 116 SVal cond, bool assumption) = 0; 139 processPointerEscapedOnBind(ProgramStateRef State, SVal Loc, SVal Val) = 0;
|
/external/clang/include/clang/StaticAnalyzer/Core/ |
CheckerManager.h | 38 class SVal; 273 SVal location, 282 SVal location, SVal val, 365 SVal Cond, bool Assumption); 417 typedef CheckerFn<void (const SVal &location, bool isLoad, 422 typedef CheckerFn<void (const SVal &location, const SVal &val, 457 const SVal &cond, bool assumption)>
|