C++: add overflow detection to new range analysis#12599

Merged

MathiasVP merged 16 commits intogithub:mainfrom

rdmarsh2:rdmarsh2/range-analysis-overflow

Apr 17, 2023

Commits on Mar 21, 2023

C++: Add overflow detection to new range analysis
Robert Marsh
committed
C++: Move overflow detection to SimpleRangeAnalysis.qll
Robert Marsh
committed

Commits on Mar 23, 2023

C++: SimpleRangeAnalysis wrapper uses constant stage
Robert Marsh
committed

Commits on Mar 30, 2023

Merge branch 'main' into rdmarsh2/range-analysis-overflow
Robert Marsh
committed
C++: fix SimpleRangeAnalysis for equivclass SemExpr
Robert Marsh
committed
C++: sign analysis in potentiallyOverflowingExpr
Robert Marsh
committed

Commits on Apr 4, 2023

C++: More fixes to overflow detection
Robert Marsh
committed

Commits on Apr 5, 2023

Merge branch 'main' into rdmarsh2/range-analysis-overflow
Robert Marsh
committed

Commits on Apr 11, 2023

C++: remove commented-out code

rdmarsh2
and
MathiasVP
authored

Commits on Apr 13, 2023

C++: respond to overflow PR comments
Robert Marsh
committed
C++: autoformat
Robert Marsh
committed

Commits on Apr 17, 2023

C++: Fix join orders.
MathiasVP
committed
C++: Autoformat.
MathiasVP
committed
C++: fix test after module rename
Robert Marsh
committed
C++: autoformat
Robert Marsh
committed
C++: another 'fix test after module rename'.
MathiasVP
committed