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

References

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

  901   SVal BufVal = state->getSVal(FirstBuf, LCtx);
  903   SVal LengthVal = state->getSVal(Size, LCtx);
  910   SVal Offset = svalBuilder.evalBinOpNN(state, BO_Sub, *Length, One, sizeTy);
  922       svalBuilder.evalBinOpLN(state, BO_Add, *BufLoc, LastOffset, PtrTy);
  947   ProgramStateRef StInBound = state->assumeInBound(Idx, ExtentSize, true);