Mathias Vorreiter Pedersen 7fbc62358e C++: Accept test changes after making the exprMightOverFlow predicates more sound.

2021-04-15 13:57:44 +02:00

..

ComparisonWithWiderType

C++: Correct UnsignedBitwiseAndExpr.

2020-04-17 17:10:59 +01:00

extreme

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

2021-04-15 13:57:44 +02:00

system_header

CPP: Add the Semmle security tests.

2018-11-26 17:52:34 +00:00

tainted

C++: Use range analysis in Overflow.qll

2021-04-13 16:39:28 +02:00

TaintedAllocationSize

C++: Accept test changes after merge from main (which changed the path explanations).

2021-03-11 21:16:57 +01:00

uncontrolled

Revert "Merge pull request #4784 from MathiasVP/mathiasvp/reverse-read-take-3"

2021-02-03 08:49:37 +01:00