| /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)>
|
