Files
codeql/cpp/change-notes/2021-08-31-range-analysis-upper-bound.md
Anders Fugmann d962fc4ce1 C++: Improve predicate upperBound in SimpleRangeAnalysis
If an expression has an immediate guardPhi node, this is used as a strict upper bound
2021-09-02 21:46:18 +02:00

179 B

lgtm,codescanning

  • The SimpleRangeAnalysis library includes information from the immediate guard for determining the upper bound of a stack variable for improved accuracy.