[PATCH] D77066: [analyzer] ApiModeling: Add buffer size arg constraint

[Gabor Marton via Phabricator via cfe-commits]

martong added inline comments.


================
Comment at: clang/lib/StaticAnalyzer/Checkers/StdLibraryFunctionsChecker.cpp:237
+      SVal BufDynSize =
+          getDynamicSizeWithOffset(State, BufV, C.getSValBuilder());
+
----------------
Szelethus wrote:
> You can retrieve `SValBuilder` from `ProgramState`: `State->getStateManager().getSValBuilder()`.
Thanks!


Repository:
  rG LLVM Github Monorepo

CHANGES SINCE LAST ACTION
  https://reviews.llvm.org/D77066/new/

https://reviews.llvm.org/D77066