/external/clang/lib/StaticAnalyzer/Core/ |
H A D | ExprEngineC.cpp | 39 SVal LeftV = state->getSVal(LHS, LCtx); 40 SVal RightV = state->getSVal(RHS, LCtx); 53 SVal ExprVal = B->isLValue() ? LeftV : RightV; 63 SVal Result = evalBinOp(state, Op, LeftV, RightV, B->getType()); 94 SVal location = LeftV; 102 SVal V = state->getSVal(LHS, LCtx); 119 SVal Result = svalBuilder.evalCast(evalBinOp(state, Op, V, RightV, CTy), 125 SVal LHSVal; 165 SVal V = svalBuilder.getBlockPointer(BE->getBlockDecl(), T, 230 // Copy the SVal o [all...] |
H A D | SimpleSValBuilder.cpp | 23 virtual SVal dispatchCast(SVal val, QualType castTy); 24 virtual SVal evalCastFromNonLoc(NonLoc val, QualType castTy); 25 virtual SVal evalCastFromLoc(Loc val, QualType castTy); 33 virtual SVal evalMinus(NonLoc val); 34 virtual SVal evalComplement(NonLoc val); 35 virtual SVal evalBinOpNN(ProgramStateRef state, BinaryOperator::Opcode op, 37 virtual SVal evalBinOpLL(ProgramStateRef state, BinaryOperator::Opcode op, 39 virtual SVal evalBinOpLN(ProgramStateRef state, BinaryOperator::Opcode op, 42 /// getKnownValue - evaluates a given SVal [all...] |
H A D | SValBuilder.cpp | 26 // Basic SVal creation. 76 SVal SValBuilder::convertToArrayIndex(SVal val) { 198 SVal SValBuilder::makeGenericVal(ProgramStateRef State, 225 SVal SValBuilder::evalBinOp(ProgramStateRef state, BinaryOperator::Opcode op, 226 SVal lhs, SVal rhs, QualType type) { 285 SVal SValBuilder::evalCast(SVal val, QualType castTy, QualType originalTy) { 307 return R ? SVal(lo [all...] |
H A D | ProgramState.cpp | 116 SVal V) const { 122 ProgramStateRef ProgramState::bindDecl(const VarRegion* VR, SVal IVal) const { 134 ProgramStateRef ProgramState::bindLoc(Loc LV, SVal V) const { 145 ProgramStateRef ProgramState::bindDefault(SVal loc, SVal V) const { 213 SVal ProgramState::getSValAsScalarOrLoc(const MemRegion *R) const { 229 SVal ProgramState::getSVal(Loc location, QualType T) const { 230 SVal V = getRawSVal(cast<Loc>(location), T); 268 SVal V, bool Invalidate) const{ 282 SVal locatio [all...] |
H A D | CheckerContext.cpp | 25 SVal L = State->getSVal(Callee, Pred->getLocationContext());
|
H A D | ExprEngineCXX.cpp | 47 SVal V = state->getSVal(tempExpr, Pred->getLocationContext()); 223 SVal val = state->getSVal(*ai, (*I)->getLocationContext()); 244 SVal V = state->getSVal(*CNE->constructor_arg_begin(), 277 SVal V = svalBuilder.getConjuredSymbolVal(CS, LCtx, VD->getType(), 298 SVal V = state->getSVal(loc::MemRegionVal(R));
|
H A D | ExprEngine.cpp | 127 SVal V = state->getSVal(loc::MemRegionVal(R)); 128 SVal Constraint_untested = evalBinOp(state, BO_GT, V, 150 SVal V = state->getSVal(loc::MemRegionVal(R)); 167 SVal V = state->getSVal(L); 186 SVal cond, bool assumption) { 372 SVal thisVal = Pred->getState()->getSVal(thisReg); 382 SVal FieldLoc = state->getLValue(FD, thisVal); 383 SVal InitVal = state->getSVal(BMI->getInit(), Pred->getLocationContext()); 398 SVal baseVal = 573 SVal va [all...] |
H A D | ExprEngineCallAndReturn.cpp | 82 SVal V = state->getSVal(RS, LCtx); 91 SVal ThisV = state->getSVal(ThisR); 308 SVal CalleeVal = Call.getFunctionCallee(); 323 SVal V = Call.getArgSVal(idx); 429 SVal L = state->getSVal(Callee, Pred->getLocationContext()); 445 SVal RetVal = SVB.getConjuredSymbolVal(0, CE, LCtx, ResultTy, Count);
|
/external/clang/lib/StaticAnalyzer/Checkers/ |
H A D | FixedAddressChecker.cpp | 48 SVal RV = state->getSVal(B->getRHS(), C.getLocationContext());
|
H A D | ObjCContainersChecker.cpp | 42 SVal ArrayRef = C.getState()->getSVal(E, C.getLocationContext()); 73 SVal SizeV = State->getSVal(Size, C.getLocationContext()); 79 SVal ArrayRef = State->getSVal(Array, C.getLocationContext()); 134 SVal IdxVal = State->getSVal(IdxExpr, C.getLocationContext());
|
H A D | NSErrorChecker.cpp | 160 void checkLocation(SVal loc, bool isLoad, const Stmt *S, 185 static bool hasFlag(SVal val, ProgramStateRef state) { 193 static void setFlag(ProgramStateRef state, SVal val, CheckerContext &C) { 194 // We tag the symbol that the SVal wraps. 199 static QualType parameterTypeFromSVal(SVal val, CheckerContext &C) { 214 void NSOrCFErrorDerefChecker::checkLocation(SVal loc, bool isLoad, 226 // SVal so that we can later check it when handling the 255 SVal loc = event.Location;
|
H A D | MallocChecker.cpp | 124 ProgramStateRef evalAssume(ProgramStateRef state, SVal Cond, 126 void checkLocation(SVal l, bool isLoad, const Stmt *S, 128 void checkBind(SVal location, SVal val, const Stmt*S, 151 const Expr *SizeEx, SVal Init, 159 SVal SizeEx, SVal Init, 186 static bool SummarizeValue(raw_ostream &os, SVal V); 188 void ReportBadFree(CheckerContext &C, SVal ArgVal, SourceRange range) const; 423 SVal Siz [all...] |
H A D | VLASizeChecker.cpp | 94 SVal sizeV = state->getSVal(SE, C.getLocationContext()); 138 SVal EleSizeVal = svalBuilder.makeIntVal(EleSize.getQuantity(), SizeTy); 141 SVal ArraySizeVal = svalBuilder.evalBinOpNN(state, BO_Mul, ArrayLength,
|
H A D | AttrNonNullChecker.cpp | 40 SVal X = state->getSVal(CE->getCallee(), LCtx); 59 SVal V = state->getSVal(*I, LCtx);
|
H A D | AdjustedReturnValueChecker.cpp | 43 SVal V = state->getSVal(CE, LCtx);
|
H A D | BuiltinFunctionChecker.cpp | 49 SVal X = state->getSVal(*(CE->arg_begin()), LCtx); 61 // SVal of the argument directly. If we save the extent in bits, we
|
H A D | ObjCAtSyncChecker.cpp | 43 SVal V = state->getSVal(Ex, C.getLocationContext());
|
H A D | ReturnPointerRangeChecker.cpp | 42 SVal V = state->getSVal(RetE, C.getLocationContext());
|
H A D | CallAndMessageChecker.cpp | 46 static bool PreVisitProcessArg(CheckerContext &C, SVal V,SourceRange argRange, 101 SVal V, SourceRange argRange, 155 const SVal &V = StoreMgr.getBinding(store, loc::MemRegionVal(FR)); 216 SVal L = C.getState()->getSVal(Callee, LCtx); 246 SVal recVal = state->getSVal(receiver, LCtx); 338 SVal V = C.getSValBuilder().makeZeroVal(msg.getType(Ctx)); 375 SVal V = C.getSValBuilder().makeZeroVal(msg.getType(Ctx));
|
H A D | UnixAPIChecker.cpp | 103 const SVal V = state->getSVal(oflagsEx, C.getLocationContext()); 113 SVal maskedFlagsUC = C.getSValBuilder().evalBinOpNN(state, BO_And, 198 const SVal argVal, 249 SVal argVal = state->getSVal(arg, C.getLocationContext()); 277 SVal argVal = state->getSVal(arg, C.getLocationContext());
|
/external/clang/include/clang/StaticAnalyzer/Core/PathSensitive/ |
H A D | ObjCMessage.h | 82 SVal getInstanceReceiverSVal(ProgramStateRef State, 124 SVal getArgSVal(unsigned i, 216 SVal getFunctionCallee() const; 217 SVal getCXXCallee() const; 218 SVal getInstanceMessageReceiver(const LocationContext *LC) const; 232 SVal getArgSVal(unsigned i) const {
|
H A D | ConstraintManager.h | 65 /// all SVal values. This method returns true if the ConstraintManager can 66 /// reasonably handle a given SVal value. This is typically queried by 69 virtual bool canReasonAbout(SVal X) const = 0;
|
/external/valgrind/main/helgrind/ |
H A D | libhb_core.c | 104 SVal. */ 113 // data decls: SVal // 118 typedef ULong SVal; typedef 363 static inline Bool SVal__isC ( SVal s ); 364 static inline VtsID SVal__unC_Rmin ( SVal s ); 365 static inline VtsID SVal__unC_Wmin ( SVal s ); 366 static inline SVal SVal__mkC ( VtsID rmini, VtsID wmini ); 400 static void zsm_init ( void(*rcinc)(SVal), void(*rcdec)(SVal) ); 402 static void zsm_sset_range ( Addr, SizeT, SVal ); [all...] |
/external/clang/include/clang/StaticAnalyzer/Core/ |
H A D | CheckerManager.h | 37 class SVal; 232 SVal location, 241 SVal location, SVal val, 300 SVal Cond, bool Assumption); 348 typedef CheckerFn<void (const SVal &location, bool isLoad, 353 typedef CheckerFn<void (const SVal &location, const SVal &val, 381 const SVal &cond, bool assumption)>
|
/external/clang/include/clang/StaticAnalyzer/Core/BugReporter/ |
H A D | BugReporterVisitor.h | 101 SVal V; 116 FindLastStoreBRVisitor(SVal v, const MemRegion *r)
|