| /external/clang/lib/StaticAnalyzer/Checkers/ |
| DynamicTypePropagation.cpp | 179 const MemRegion *ToR = C.getSVal(CastE).getAsRegion();
201 const MemRegion *MR = C.getSVal(NewE).getAsRegion();
249 const MemRegion *ToR = C.getSVal(CastE).getAsRegion();
|
| CStringChecker.cpp | 356 SVal BufVal = state->getSVal(FirstBuf, LCtx);
368 SVal LengthVal = state->getSVal(Size, LCtx);
394 BufVal = state->getSVal(SecondBuf, LCtx);
433 SVal firstVal = state->getSVal(First, LCtx);
434 SVal secondVal = state->getSVal(Second, LCtx);
483 SVal LengthVal = state->getSVal(Size, LCtx);
[all...] |
| CastSizeChecker.cpp | 107 const MemRegion *R = state->getSVal(E, C.getLocationContext()).getAsRegion();
|
| ExprInspectionChecker.cpp | 65 SVal AssertionVal = State->getSVal(Assertion, LC);
|
| ReturnUndefChecker.cpp | 44 SVal RetVal = C.getSVal(RetE);
|
| BasicObjCFoundationChecks.cpp | 141 if (State->isNull(C.getSVal(E)).isConstrainedTrue()) {
446 SVal TheTypeVal = state->getSVal(CE->getArg(1), LCtx);
466 SVal TheValueExpr = state->getSVal(CE->getArg(2), LCtx);
574 SVal ArgVal = state->getSVal(Arg, C.getLocationContext());
891 SVal CollectionVal = C.getSVal(FCS->getCollection());
930 ElementLoc = State->getSVal(Element, LCtx).getAs<Loc>();
937 SVal Val = State->getSVal(*ElementLoc);
[all...] |
| NSErrorChecker.cpp | 230 setFlag<NSErrorOut>(state, state->getSVal(loc.castAs<Loc>()), C);
235 setFlag<CFErrorOut>(state, state->getSVal(loc.castAs<Loc>()), C);
|
| ChrootChecker.cpp | 108 SVal ArgVal = state->getSVal(ArgExpr, C.getLocationContext());
|
| VLASizeChecker.cpp | 95 SVal sizeV = state->getSVal(SE, C.getLocationContext());
|
| CallAndMessageChecker.cpp | 163 const SVal PSV = State->getSVal(SValMemRegion);
304 SVal L = State->getSVal(Callee, LCtx);
331 SVal Arg = C.getSVal(DE->getArgument());
|
| GenericTaintChecker.cpp | 429 SVal AddrVal = State->getSVal(Arg->IgnoreParens(), C.getLocationContext());
439 SVal Val = State->getSVal(*AddrLoc,
575 SVal Val = State->getSVal(E, C.getLocationContext());
|
| MacOSKeychainAPIChecker.cpp | 219 SVal ArgV = State->getSVal(Expr, C.getLocationContext());
330 SVal ArgSVal = State->getSVal(ArgExpr, C.getLocationContext());
478 State->getSVal(CE, C.getLocationContext()).getAsSymbol();
|
| MallocChecker.cpp | 252 State->getSVal(SizeEx, C.getLocationContext()),
634 const SVal V = State->getSVal(FlagsEx, C.getLocationContext());
762 if (SymbolRef Sym = C.getSVal(*I).getAsSymbol())
782 if (SymbolRef Sym = C.getSVal(DE->getArgument()).getAsSymbol())
[all...] |
| RetainCountChecker.cpp | [all...] |
| /external/clang/lib/StaticAnalyzer/Core/ |
| ExprEngine.cpp | 120 SVal V = state->getSVal(loc::MemRegionVal(R));
143 SVal V = state->getSVal(loc::MemRegionVal(R));
160 SVal V = state->getSVal(L);
177 SVal V = State->getSVal(Ex, LC);
460 SVal thisVal = State->getSVal(svalBuilder.getCXXThis(decl, stackFrame));
488 SVal LValue = State->getSVal(Init, stackFrame);
490 InitVal = State->getSVal(*LValueLoc);
500 InitVal = State->getSVal(BMI->getInit(), stackFrame);
587 Region = state->getSVal(Region).getAsRegion();
601 SVal ArgVal = State->getSVal(Arg, LCtx)
[all...] |
| CallEvent.cpp | 199 return getSVal(ArgE);
213 return getSVal(E);
389 return getSVal(getOriginExpr()->getCallee()).getAsFunctionDecl();
402 return getSVal(CE->getCallee()).getAsFunctionDecl();
415 SVal ThisVal = getSVal(Base);
540 const MemRegion *DataReg = getSVal(Callee).getAsRegion();
624 return getState()->getSVal(getState()->getRegion(SelfDecl, LCtx));
633 return getSVal(RecE);
651 SVal RecVal = getSVal(getOriginExpr()->getInstanceReceiver());
[all...] |
| ExprEngineCXX.cpp | 66 V = Pred->getState()->getSVal(*L);
149 SVal ThisVal = State->getSVal(ThisPtr);
218 SVal ThisVal = State->getSVal(ThisPtr);
452 SVal PlacementLoc = State->getSVal(CNE->getPlacementArg(0), LCtx);
469 evalBind(Dst, CNE, NewN, Result, State->getSVal(Init, LCtx),
513 SVal V = state->getSVal(loc::MemRegionVal(R));
|
| Environment.cpp | 69 SVal Environment::getSVal(const EnvironmentEntry &Entry,
99 return getSVal(EnvironmentEntry(RE, LCtx), svalBuilder);
|
| ExprEngineObjC.cpp | 27 SVal baseVal = state->getSVal(Ex->getBase(), LCtx);
84 elementV = state->getSVal(elem, Pred->getLocationContext());
|
| BugReporterVisitors.cpp | 207 SVal RetVal = State->getSVal(S, Node->getLocationContext());
212 RetVal = State->getSVal(*LValue);
253 SVal V = State->getSVal(Ret, StackFrame);
486 if (Succ->getState()->getSVal(R) != V)
489 if (Pred->getState()->getSVal(R) == V) {
566 SVal V = State->getSVal(S, PS->getLocationContext());
571 State->getSVal(OriginalR).getAs<KnownSVal>())
[all...] |
| ProgramState.cpp | 245 return getSVal(R);
251 SVal ProgramState::getSVal(Loc location, QualType T) const {
657 SymbolRef Sym = getSVal(S, LCtx).getAsSymbol();
661 const MemRegion *R = getSVal(S, LCtx).getAsRegion();
692 SVal val = getSVal(S, LCtx);
|
| ExprEngineCallAndReturn.cpp | 247 SVal V = state->getSVal(RS, LCtx);
268 SVal ThisV = state->getSVal(This);
272 ThisV = state->getSVal(ThisV.castAs<Loc>());
559 ThisV = State->getSVal(ThisV.castAs<Loc>());
[all...] |
| PathDiagnostic.cpp | [all...] |
| /external/clang/include/clang/StaticAnalyzer/Core/PathSensitive/ |
| ProgramState.h | 275 SVal getSVal(const Stmt *S, const LocationContext *LCtx) const;
281 SVal getSVal(Loc LV, QualType T = QualType()) const;
288 SVal getSVal(const MemRegion* R) const;
692 inline SVal ProgramState::getSVal(const Stmt *Ex,
694 return Env.getSVal(EnvironmentEntry(Ex, LCtx),
705 return getSVal(S, LCtx);
715 inline SVal ProgramState::getSVal(const MemRegion* R) const {
|
| CallEvent.h | 158 SVal getSVal(const Stmt *S) const {
159 return getState()->getSVal(S, getLocationContext());
[all...] |
