|
reference, declaration → definition
definition → references, declarations, derived classes, virtual overrides
reference to multiple definitions → definitions
unreferenced
|
Declarations
tools/clang/include/clang/StaticAnalyzer/Core/PathSensitive/ProgramState.h 327 SVal getSVal(const Stmt *S, const LocationContext *LCtx) const;
References
tools/clang/include/clang/StaticAnalyzer/Core/PathSensitive/CallEvent.h 183 return getState()->getSVal(S, getLocationContext());
tools/clang/include/clang/StaticAnalyzer/Core/PathSensitive/ExplodedGraph.h 178 return getState()->getSVal(S, getLocationContext());
tools/clang/include/clang/StaticAnalyzer/Core/PathSensitive/ProgramState.h 770 return getSVal(S, LCtx);
tools/clang/lib/StaticAnalyzer/Checkers/BasicObjCFoundationChecks.cpp 900 ElementLoc = State->getSVal(Element, LCtx).getAs<Loc>();
tools/clang/lib/StaticAnalyzer/Checkers/CStringChecker.cpp 430 BufVal = state->getSVal(SecondBuf, LCtx);
469 SVal firstVal = state->getSVal(First, LCtx);
470 SVal secondVal = state->getSVal(Second, LCtx);
519 SVal LengthVal = state->getSVal(Size, LCtx);
901 SVal BufVal = state->getSVal(FirstBuf, LCtx);
903 SVal LengthVal = state->getSVal(Size, LCtx);
1148 SVal sizeVal = state->getSVal(Size, LCtx);
1156 SVal destVal = state->getSVal(Dest, LCtx);
1177 SVal srcVal = state->getSVal(Source, LCtx);
1286 SVal sizeVal = state->getSVal(Size, LCtx);
1309 state->getSVal(Left, LCtx).castAs<DefinedOrUnknownSVal>();
1311 state->getSVal(Right, LCtx).castAs<DefinedOrUnknownSVal>();
1366 SVal maxlenVal = state->getSVal(maxlenExpr, LCtx);
1390 SVal ArgVal = state->getSVal(Arg, LCtx);
1414 SVal maxlenVal = state->getSVal(maxlenExpr, LCtx);
1548 SVal DstVal = state->getSVal(Dst, LCtx);
1556 SVal srcVal = state->getSVal(srcExpr, LCtx);
1588 SVal lenVal = state->getSVal(lenExpr, LCtx);
1912 SVal s1Val = state->getSVal(s1, LCtx);
1919 SVal s2Val = state->getSVal(s2, LCtx);
1978 SVal lenVal = state->getSVal(lenExpr, LCtx);
2046 SVal SearchStrVal = State->getSVal(SearchStrPtr, LCtx);
2053 SVal DelimStrVal = State->getSVal(DelimStr, LCtx);
2115 SVal DstVal = State->getSVal(Dst, LCtx);
2137 SVal SizeVal = State->getSVal(Size, LCtx);
2145 SVal MemVal = State->getSVal(Mem, LCtx);
tools/clang/lib/StaticAnalyzer/Checkers/CallAndMessageChecker.cpp 320 SVal L = State->getSVal(Callee, LCtx);
tools/clang/lib/StaticAnalyzer/Checkers/ExprInspectionChecker.cpp 113 SVal AssertionVal = State->getSVal(Assertion, LC);
tools/clang/lib/StaticAnalyzer/Checkers/RetainCountChecker/RetainCountChecker.cpp 250 state->getSVal(Ex, pred->getLocationContext()).getAsSymbol()) {
926 SVal RetVal = state->getSVal(BindReturnTo, LCtx);
tools/clang/lib/StaticAnalyzer/Checkers/RetainCountChecker/RetainCountDiagnostics.cpp 682 SVal RecV = St->getSVal(RecExpr, NContext);
tools/clang/lib/StaticAnalyzer/Checkers/ReturnValueChecker.cpp 137 SVal ReturnV = State->getSVal(RS->getRetValue(), C.getLocationContext());
tools/clang/lib/StaticAnalyzer/Checkers/StreamChecker.cpp 264 SVal Whence = state->getSVal(CE->getArg(2), C.getLocationContext());
tools/clang/lib/StaticAnalyzer/Checkers/Taint.cpp 47 return addTaint(State, State->getSVal(S, LCtx), Kind);
122 SVal val = State->getSVal(S, LCtx);
tools/clang/lib/StaticAnalyzer/Checkers/UndefBranchChecker.cpp 49 return St->getSVal(Ex, LCtx).isUndef();
tools/clang/lib/StaticAnalyzer/Core/BugReporterVisitors.cpp 201 if (auto FieldL = State->getSVal(ME, LCtx).getAs<Loc>())
1021 SVal V = State->getSVal(Ret, CalleeSFC);
2262 CurrentState->getSVal(Cond, LCtx).isUnknownOrUndef();
tools/clang/lib/StaticAnalyzer/Core/ExprEngine.cpp 318 SVal InitValWithAdjustments = State->getSVal(InitWithAdjustments, LC);
422 SVal InitVal = State->getSVal(Init, LC);
865 SVal LValue = State->getSVal(Init, stackFrame);
878 InitVal = State->getSVal(BMI->getInit(), stackFrame);
992 SVal ArgVal = State->getSVal(Arg, LCtx);
1483 SVal Val = State->getSVal(Child, LCtx);
1542 state->getSVal(B->getRHS(),
1805 state->getSVal(LastExpr,
1830 SVal V = state->getSVal(Result, Pred->getLocationContext());
2024 return state->getSVal(Ex, LCtx);
2128 SVal X = PrevState->getSVal(Condition, PredI->getLocationContext());
2213 SVal V = state->getSVal(builder.getTarget(), builder.getLocationContext());
2341 SVal CondV_untested = state->getSVal(CondE, builder.getLocationContext());
2544 state->getSVal(Idx, LCtx),
2545 state->getSVal(Base, LCtx));
2602 MR ? loc::MemRegionVal(MR) : state->getSVal(BaseExpr, LCtx);
2659 SVal SubExprVal = State->getSVal(SubExpr, LCtx);
2938 SVal V = state->getSVal(Ex, Pred->getLocationContext());
2977 SVal X = state->getSVal(O, Pred->getLocationContext());
tools/clang/lib/StaticAnalyzer/Core/ExprEngineC.cpp 58 SVal LeftV = state->getSVal(LHS, LCtx);
59 SVal RightV = state->getSVal(RHS, LCtx);
141 SVal V = state->getSVal(LHS, LCtx);
240 originalV = State->getSVal(copyExpr, LCtx);
271 SVal OrigV = state->getSVal(Ex, LCtx);
313 evalLoad(Dst, CastE, CastE, subExprNode, state, state->getSVal(Ex, LCtx));
359 SVal V = state->getSVal(Ex, LCtx);
366 SVal V = state->getSVal(Ex, LCtx);
388 SVal V = state->getSVal(Ex, LCtx);
431 SVal V = state->getSVal(Ex, LCtx);
440 SVal val = state->getSVal(Ex, LCtx);
448 SVal val = state->getSVal(Ex, LCtx);
489 SVal val = state->getSVal(Ex, LCtx);
525 SVal V = state->getSVal(Ex, LCtx);
558 SVal V = State->getSVal(CL->getInitializer(), LCtx);
602 SVal InitVal = state->getSVal(InitEx, LC);
715 SVal RHSVal = N->getState()->getSVal(RHS, Pred->getLocationContext());
757 SVal V = state->getSVal(cast<Expr>(*it), LCtx);
776 V = state->getSVal(IE->getInit(0), LCtx);
831 V = SrcState->getSVal(ValEx, LCtx);
921 state->getSVal(Ex, LCtx)));
957 state->getSVal(Ex, LCtx)));
1012 SVal V = state->getSVal(Ex, LCtx);
1069 SVal loc = state->getSVal(Ex, LCtx);
1081 SVal V2_untested = state->getSVal(Ex, LCtx);
tools/clang/lib/StaticAnalyzer/Core/ExprEngineCXX.cpp 707 SVal RetVal = State->getSVal(CNE, LCtx);
824 SVal PlacementLoc = State->getSVal(CNE->getPlacementArg(0), LCtx);
841 evalBind(Dst, CNE, NewN, Result, State->getSVal(Init, LCtx),
913 InitVal = State->getSVal(InitExpr, LocCtxt);
919 InitVal = State->getSVal(SizeExpr, LocCtxt);
tools/clang/lib/StaticAnalyzer/Core/ExprEngineCallAndReturn.cpp 230 SVal V = state->getSVal(RS, LCtx);
262 SVal AllocV = state->getSVal(CNE, callerCtx);
tools/clang/lib/StaticAnalyzer/Core/ExprEngineObjC.cpp 26 SVal baseVal = state->getSVal(Ex->getBase(), LCtx);
117 SVal collectionV = state->getSVal(collection, Pred->getLocationContext());
125 elementV = state->getSVal(elem, Pred->getLocationContext());