| /external/clang/lib/StaticAnalyzer/Checkers/ |
| DivZeroChecker.cpp | 60 SVal Denom = C.getState()->getSVal(B->getRHS(), C.getLocationContext());
|
| ObjCAtSyncChecker.cpp | 42 SVal V = state->getSVal(Ex, C.getLocationContext());
|
| ReturnPointerRangeChecker.cpp | 43 SVal V = state->getSVal(RetE, C.getLocationContext());
|
| UndefinedArraySubscriptChecker.cpp | 39 if (!C.getSVal(Index).isUndef())
|
| UndefinedAssignmentChecker.cpp | 66 if (state->getSVal(B->getLHS(), C.getLocationContext()).isUndef()) {
|
| UnixAPIChecker.cpp | 131 const SVal V = state->getSVal(oflagsEx, C.getLocationContext());
181 state->getSVal(CE->getArg(0), C.getLocationContext()).getAsRegion();
268 SVal argVal = state->getSVal(arg, C.getLocationContext());
296 SVal argVal = state->getSVal(arg, C.getLocationContext());
|
| BasicObjCFoundationChecks.cpp | 141 if (State->isNull(C.getSVal(E)).isConstrainedTrue()) {
444 SVal TheTypeVal = state->getSVal(CE->getArg(1), LCtx);
464 SVal TheValueExpr = state->getSVal(CE->getArg(2), LCtx);
573 SVal ArgVal = state->getSVal(Arg, C.getLocationContext());
889 SVal CollectionVal = C.getSVal(FCS->getCollection());
928 ElementLoc = State->getSVal(Element, LCtx).getAs<Loc>();
935 SVal Val = State->getSVal(*ElementLoc);
[all...] |
| /external/clang/lib/StaticAnalyzer/Core/ |
| CheckerContext.cpp | 25 SVal L = State->getSVal(Callee, Pred->getLocationContext());
|
| Environment.cpp | 69 SVal Environment::getSVal(const EnvironmentEntry &Entry,
100 return getSVal(EnvironmentEntry(RE, LCtx), svalBuilder);
|
| BugReporterVisitors.cpp | 203 SVal RetVal = State->getSVal(S, Node->getLocationContext());
208 RetVal = State->getSVal(*LValue);
250 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...] |
| /prebuilts/clang/host/darwin-x86/clang-4053586/prebuilt_include/clang/include/clang/StaticAnalyzer/Core/PathSensitive/ |
| Environment.h | 78 SVal getSVal(const EnvironmentEntry &E, SValBuilder &svalBuilder) const;
|
| /prebuilts/clang/host/darwin-x86/clang-4393122/include/clang/StaticAnalyzer/Core/PathSensitive/ |
| Environment.h | 78 SVal getSVal(const EnvironmentEntry &E, SValBuilder &svalBuilder) const;
|
| /prebuilts/clang/host/darwin-x86/clang-4479392/include/clang/StaticAnalyzer/Core/PathSensitive/ |
| Environment.h | 78 SVal getSVal(const EnvironmentEntry &E, SValBuilder &svalBuilder) const;
|
| /prebuilts/clang/host/darwin-x86/clang-4579689/include/clang/StaticAnalyzer/Core/PathSensitive/ |
| Environment.h | 78 SVal getSVal(const EnvironmentEntry &E, SValBuilder &svalBuilder) const;
|
| /prebuilts/clang/host/darwin-x86/clang-4630689/include/clang/StaticAnalyzer/Core/PathSensitive/ |
| Environment.h | 78 SVal getSVal(const EnvironmentEntry &E, SValBuilder &svalBuilder) const;
|
| /prebuilts/clang/host/darwin-x86/clang-4639204/include/clang/StaticAnalyzer/Core/PathSensitive/ |
| Environment.h | 78 SVal getSVal(const EnvironmentEntry &E, SValBuilder &svalBuilder) const;
|
| /prebuilts/clang/host/darwin-x86/clang-4691093/include/clang/StaticAnalyzer/Core/PathSensitive/ |
| Environment.h | 78 SVal getSVal(const EnvironmentEntry &E, SValBuilder &svalBuilder) const;
|
| /prebuilts/clang/host/linux-x86/clang-4053586/prebuilt_include/clang/include/clang/StaticAnalyzer/Core/PathSensitive/ |
| Environment.h | 78 SVal getSVal(const EnvironmentEntry &E, SValBuilder &svalBuilder) const;
|
| /prebuilts/clang/host/linux-x86/clang-4393122/include/clang/StaticAnalyzer/Core/PathSensitive/ |
| Environment.h | 78 SVal getSVal(const EnvironmentEntry &E, SValBuilder &svalBuilder) const;
|
| /prebuilts/clang/host/linux-x86/clang-4479392/include/clang/StaticAnalyzer/Core/PathSensitive/ |
| Environment.h | 78 SVal getSVal(const EnvironmentEntry &E, SValBuilder &svalBuilder) const;
|
| /prebuilts/clang/host/linux-x86/clang-4579689/include/clang/StaticAnalyzer/Core/PathSensitive/ |
| Environment.h | 78 SVal getSVal(const EnvironmentEntry &E, SValBuilder &svalBuilder) const;
|
| /prebuilts/clang/host/linux-x86/clang-4630689/include/clang/StaticAnalyzer/Core/PathSensitive/ |
| Environment.h | 78 SVal getSVal(const EnvironmentEntry &E, SValBuilder &svalBuilder) const;
|
| /prebuilts/clang/host/linux-x86/clang-4639204/include/clang/StaticAnalyzer/Core/PathSensitive/ |
| Environment.h | 78 SVal getSVal(const EnvironmentEntry &E, SValBuilder &svalBuilder) const;
|
| /prebuilts/clang/host/linux-x86/clang-4691093/include/clang/StaticAnalyzer/Core/PathSensitive/ |
| Environment.h | 78 SVal getSVal(const EnvironmentEntry &E, SValBuilder &svalBuilder) const;
|
| /external/clang/include/clang/StaticAnalyzer/Core/PathSensitive/ |
| ProgramState.h | 298 SVal getSVal(const Stmt *S, const LocationContext *LCtx) const;
304 SVal getSVal(Loc LV, QualType T = QualType()) const;
311 SVal getSVal(const MemRegion* R) const;
728 inline SVal ProgramState::getSVal(const Stmt *Ex,
730 return Env.getSVal(EnvironmentEntry(Ex, LCtx),
741 return getSVal(S, LCtx);
751 inline SVal ProgramState::getSVal(const MemRegion* R) const {
|
