| /external/clang/lib/StaticAnalyzer/Checkers/ |
| OSAtomicChecker.cpp | 42 SVal L = State->getSVal(Callee, LCtx);
110 SVal location = state->getSVal(theValueExpr, LCtx);
141 SVal theValueVal_untested = stateLoad->getSVal(theValueExpr, LCtx, true);
143 SVal oldValueVal_untested = stateLoad->getSVal(oldValueExpr, LCtx);
167 SVal val = stateEqual->getSVal(newValueExpr, LCtx);
191 SVal Res = UnknownVal();
203 SVal Res = UnknownVal();
|
| FixedAddressChecker.cpp | 48 SVal RV = state->getSVal(B->getRHS(), C.getLocationContext());
|
| 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());
|
| 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;
|
| 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 Size, SVal Init
[all...] |
| 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,
|
| AttrNonNullChecker.cpp | 40 SVal X = state->getSVal(CE->getCallee(), LCtx);
59 SVal V = state->getSVal(*I, LCtx);
|
| AdjustedReturnValueChecker.cpp | 43 SVal V = state->getSVal(CE, LCtx);
|
| 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
|
| ObjCAtSyncChecker.cpp | 43 SVal V = state->getSVal(Ex, C.getLocationContext());
|
| ReturnPointerRangeChecker.cpp | 42 SVal V = state->getSVal(RetE, C.getLocationContext());
|
| 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));
|
| 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/lib/StaticAnalyzer/Core/ |
| 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 of Ex to CastE
[all...] |
| 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. If the SVal has only one possibl
[all...] |
| 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(loc::MemRegionVal(R)) : UnknownVal()
[all...] |
| 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 location
[all...] |
| CheckerContext.cpp | 25 SVal L = State->getSVal(Callee, Pred->getLocationContext());
|
| 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));
|
| 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 val = svalBuilder.makeZeroVal(ty)
[all...] |
| /external/clang/include/clang/StaticAnalyzer/Core/PathSensitive/ |
| 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 {
|
| 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;
|
| SubEngine.h | 95 SVal cond, bool assumption) = 0;
|
| /external/valgrind/main/helgrind/ |
| libhb_core.c | 104 SVal. */
113 // data decls: SVal //
118 typedef ULong SVal;
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 );
1209 typedef struct { UChar count; SVal sval; } CountedSVal; member in struct:__anon14141
[all...] |
| /external/clang/include/clang/StaticAnalyzer/Core/ |
| 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)>
|
