Geoffrey White 0e7eeb3051 Merge pull request #5678 from MathiasVP/sound-expr-might-overflow-predicate ...

C++: Make exprMightOverflowPositively sound for unanalyzable expressions

2021-04-26 17:38:23 +01:00

..

2020-09-29-range-analysis-rollup.md

C++: Change note for several range-analysis PRs

2020-09-30 13:52:23 +02:00

2020-10-21-erroneous-types.md

C++: Change note.

2020-10-21 14:52:43 +01:00

2020-10-21-size-check-queries.md

C++: Change note.

2020-10-21 11:21:53 +01:00

2020-11-02-unused-local-variable.md

Update cpp/change-notes/2020-11-02-unused-local-variable.md

2020-11-06 14:42:48 +00:00

2020-11-05-formatting-function.md

C++: Update change note.

2020-12-01 18:34:01 +00:00

2020-11-05-private-models.md

C++: Change note.

2020-11-06 15:55:31 +00:00

2020-11-12-unsafe-use-of-this.md

Update cpp/change-notes/2020-11-12-unsafe-use-of-this.md

2020-11-16 12:28:57 +01:00

2020-11-27-downgrade-to-recommendation.md

C++: Downgrade two queries to recommendation

2020-11-27 10:45:03 +01:00

2021-02-04-unsigned-difference-expression-compared-zero.md

C++: Turns out we're in 2021 and not 2020.

2021-02-24 17:15:51 +01:00

2021-02-24-memset-may-be-deleted.md

Update cpp/change-notes/2021-02-24-memset-may-be-deleted.md

2021-02-26 19:17:13 +01:00

2021-03-01-fluent-interface-data-flow.md

Add change notes

2021-03-01 16:59:20 +00:00

2021-03-11-failed-extractions.md

C++: Add a changenote for cpp/diagnostics/failed-extractions.

2021-03-11 14:33:04 +00:00

2021-03-17-av-rule-79.md

C++: Add change-note.

2021-03-17 16:26:15 +01:00

2021-04-06-assign-where-compare-meant.md

C++: Add change-note.

2021-04-06 11:47:57 +02:00

2021-04-13-arithmetic-queries.md

C++: Add change-note.

2021-04-13 17:17:05 +02:00

2021-04-21-return-stack-allocated-object.md

C++: deprecate cpp/return-stack-allocated-object

2021-04-21 15:17:31 -07:00

2021-26-04-more-sound-expr-might-overflow.md

C++: Add change note.

2021-04-26 09:55:32 +02:00