C++: Use range analysis in Overflow.qll#5667

Merged

geoffw0 merged 5 commits intogithub:mainfrom

MathiasVP:use-range-analysis-in-overflow

Apr 16, 2021

Commits on Apr 13, 2021

Commits on Apr 14, 2021

Update cpp/ql/src/semmle/code/cpp/security/Overflow.qll

MathiasVP
and
geoffw0
authored
C++: Make sure missingGuardAgainstOverflow (and underflow) holds when range analysis fails to deduce a bound.
MathiasVP
committed

Commits on Apr 15, 2021

C++: Accept test changes after making the exprMightOverFlow predicates more sound.
MathiasVP
committed