reference, declaration → definition
definition → references, declarations, derived classes, virtual overrides
reference to multiple definitions → definitions
unreferenced

References

tools/clang/include/clang/StaticAnalyzer/Core/PathSensitive/CheckerContext.h

  115     return getSValBuilder().getSymbolManager();

tools/clang/lib/StaticAnalyzer/Checkers/ArrayBoundCheckerV2.cpp

  130   SValBuilder &svalBuilder = checkerContext.getSValBuilder();

tools/clang/lib/StaticAnalyzer/Checkers/BasicObjCFoundationChecks.cpp

  927   SValBuilder &SvalBuilder = C.getSValBuilder();

tools/clang/lib/StaticAnalyzer/Checkers/BoolAssignmentChecker.cpp

   81   SValBuilder &svalBuilder = C.getSValBuilder();

tools/clang/lib/StaticAnalyzer/Checkers/BuiltinFunctionChecker.cpp

   92     SValBuilder& svalBuilder = C.getSValBuilder();
  108     SValBuilder &SVB = C.getSValBuilder();

tools/clang/lib/StaticAnalyzer/Checkers/CStringChecker.cpp

  274   SValBuilder &svalBuilder = C.getSValBuilder();
  332   SValBuilder &svalBuilder = C.getSValBuilder();
  382   SValBuilder &svalBuilder = C.getSValBuilder();
  481   SValBuilder &svalBuilder = C.getSValBuilder();
  670   SValBuilder &svalBuilder = C.getSValBuilder();
  766   SValBuilder &svalBuilder = C.getSValBuilder();
  826     SValBuilder &svalBuilder = C.getSValBuilder();
  895   SValBuilder &svalBuilder = C.getSValBuilder();
 1066   SValBuilder &svalBuilder = C.getSValBuilder();
 1200       SValBuilder &SvalBuilder = C.getSValBuilder();
 1205       SVal lastElement = C.getSValBuilder().evalBinOp(
 1210         lastElement = C.getSValBuilder().conjureSymbolVal(nullptr, CE, LCtx,
 1282   SValBuilder &svalBuilder = C.getSValBuilder();
 1375       SVal zero = C.getSValBuilder().makeZeroVal(CE->getType());
 1409     QualType cmpTy = C.getSValBuilder().getConditionType();
 1424           C.getSValBuilder()
 1442       result = C.getSValBuilder().conjureSymbolVal(nullptr, CE, LCtx,
 1447         state = state->assume(C.getSValBuilder().evalBinOpNN(
 1453         state = state->assume(C.getSValBuilder().evalBinOpNN(
 1466       result = C.getSValBuilder().conjureSymbolVal(nullptr, CE, LCtx,
 1568   SValBuilder &svalBuilder = C.getSValBuilder();
 1941   SValBuilder &svalBuilder = C.getSValBuilder();
 2058   SValBuilder &SVB = C.getSValBuilder();
 2119   SValBuilder &SVB = C.getSValBuilder();
 2180   SVal Zero = C.getSValBuilder().makeZeroVal(C.getASTContext().IntTy);

tools/clang/lib/StaticAnalyzer/Checkers/CXXSelfAssignmentChecker.cpp

   48   auto &SVB = C.getSValBuilder();

tools/clang/lib/StaticAnalyzer/Checkers/CallAndMessageChecker.cpp

  271                              C.getSValBuilder().getRegionManager(),
  558     SVal V = C.getSValBuilder().makeZeroVal(RetTy);
  596     SVal V = C.getSValBuilder().makeZeroVal(RetTy);

tools/clang/lib/StaticAnalyzer/Checkers/CastSizeChecker.cpp

  111   SValBuilder &svalBuilder = C.getSValBuilder();

tools/clang/lib/StaticAnalyzer/Checkers/CastValueChecker.cpp

  209   SVal V = CastSucceeds ? C.getSValBuilder().evalCast(DV, CastToTy, CastFromTy)
  210                         : C.getSValBuilder().makeNull();
  253                       C.getSValBuilder().makeTruthVal(CastSucceeds)),
  283                                     C.getSValBuilder().makeNull(), false),

tools/clang/lib/StaticAnalyzer/Checkers/EnumCastOutOfRangeChecker.cpp

   42       : CompareValue(CompareValue), PS(C.getState()), SVB(C.getSValBuilder()) {}

tools/clang/lib/StaticAnalyzer/Checkers/ExprInspectionChecker.cpp

  238                           MR->getExtent(C.getSValBuilder()));

tools/clang/lib/StaticAnalyzer/Checkers/GTestChecker.cpp

  278       C.getSValBuilder().evalEQ(State, Val1.castAs<DefinedOrUnknownSVal>(),

tools/clang/lib/StaticAnalyzer/Checkers/IteratorChecker.cpp

 1011   auto &BVF = C.getSValBuilder().getBasicValueFactory();
 1018   auto &BVF = C.getSValBuilder().getBasicValueFactory();
 1229           auto &SVB = C.getSValBuilder();
 1326     auto &SVB = C.getSValBuilder();
 1352     auto &SVB = C.getSValBuilder();
 1395       auto &SVB = C.getSValBuilder();
 1430     auto &SVB = C.getSValBuilder();
 1537   auto &SVB = C.getSValBuilder();
 1567   auto &SVB = C.getSValBuilder();

tools/clang/lib/StaticAnalyzer/Checkers/MIGChecker.cpp

  232   SValBuilder &SVB = C.getSValBuilder();

tools/clang/lib/StaticAnalyzer/Checkers/MPI-Checker/MPIChecker.cpp

  169       const NonLoc Idx = Ctx.getSValBuilder().makeArrayIndex(i);

tools/clang/lib/StaticAnalyzer/Checkers/MallocChecker.cpp

 1021   NonLoc ZeroFlag = C.getSValBuilder()
 1024   SVal MaskedFlagsUC = C.getSValBuilder().evalBinOpNN(State, BO_And,
 1037     SVal ZeroVal = C.getSValBuilder().makeZeroVal(Ctx.CharTy);
 1046   SValBuilder &SB = C.getSValBuilder();
 1173       SValBuilder &svalBuilder = C.getSValBuilder();
 1191         SValBuilder &SB = C.getSValBuilder();
 1262   SValBuilder &SvalBuilder = C.getSValBuilder();
 1382   SValBuilder &svalBuilder = C.getSValBuilder();
 1526   SValBuilder &svalBuilder = C.getSValBuilder();
 1542     SValBuilder &svalBuilder = C.getSValBuilder();
 2411   SValBuilder &svalBuilder = C.getSValBuilder();
 2505   SValBuilder &svalBuilder = C.getSValBuilder();
 2786   MemRegionManager &MemMgr = C.getSValBuilder().getRegionManager();

tools/clang/lib/StaticAnalyzer/Checkers/RetainCountChecker/RetainCountChecker.cpp

  168   MemRegionManager &MemMgr = C.getSValBuilder().getRegionManager();
  934       SValBuilder &SVB = C.getSValBuilder();
  948           CE, LCtx, C.getSValBuilder().makeNull(), /*Invalidate=*/false);

tools/clang/lib/StaticAnalyzer/Checkers/SmartPtrModeling.cpp

   62                       C.getSValBuilder().makeZeroVal(Call.getResultType())));

tools/clang/lib/StaticAnalyzer/Checkers/StdLibraryFunctionsChecker.cpp

  389     SVal V = C.getSValBuilder().conjureSymbolVal(
  442   SValBuilder &SVB = C.getSValBuilder();

tools/clang/lib/StaticAnalyzer/Checkers/StreamChecker.cpp

  216   SValBuilder &svalBuilder = C.getSValBuilder();

tools/clang/lib/StaticAnalyzer/Checkers/UndefResultChecker.cpp

   67   SValBuilder &SB = C.getSValBuilder();
  136         SValBuilder &SB = C.getSValBuilder();
  156         SValBuilder &SB = C.getSValBuilder();

tools/clang/lib/StaticAnalyzer/Checkers/UninitializedObject/UninitializedObjectChecker.cpp

  462       Context.getSValBuilder().getCXXThis(CtorDecl, Context.getStackFrame());

tools/clang/lib/StaticAnalyzer/Checkers/UnixAPIChecker.cpp

  238   NonLoc ocreateFlag = C.getSValBuilder()
  240   SVal maskedFlagsUC = C.getSValBuilder().evalBinOpNN(state, BO_And,

tools/clang/lib/StaticAnalyzer/Checkers/VLASizeChecker.cpp

  136   SValBuilder &svalBuilder = C.getSValBuilder();

tools/clang/lib/StaticAnalyzer/Checkers/VirtualCallChecker.cpp

  172   auto &SVB = C.getSValBuilder();

tools/clang/lib/StaticAnalyzer/Core/CheckerContext.cpp

  124   DefinedSVal V = getSValBuilder().makeIntVal(Val, getASTContext().LongLongTy);
  129   DefinedSVal V = getSValBuilder().makeIntVal(0, false);