Commit 269b710

authored

Merge pull request #4273 from lcartey/cpp/custom-range-analysis-override

C++: Support overriding existing simple range analysis bounds

2 parents 5cbf498 + e86bc0c commit 269b710Copy full SHA for 269b710

4 files changed

+382

-358

lines changed

cpp/ql
- src/semmle/code/cpp/rangeanalysis
  - SimpleRangeAnalysis.qll
- test/experimental/library-tests/rangeanalysis/extensibility

+382

-358

lines changed

Comments

(0)