Code

Implement IntegerOverflow package#263

Code

Merged

lcartey merged 37 commits intomaingithub/codeql-coding-standards:mainfrom

lcartey/integer-overflowgithub/codeql-coding-standards:lcartey/integer-overflowCopy head branch name to clipboard

Mar 27, 2023

Commits

Commits on Mar 21, 2023

• IntegerOverflow: Create an overflow library

  Show description for 23065e4
  lcartey

  committed
  23065e4

  Copy full SHA for 23065e4

• IntegerOverflow: Add package files.

  lcartey

  committed
  0ffa4b1

  Copy full SHA for 0ffa4b1

• IntegerOverflow: Add query for INT30-C

  Show description for 03cb601
  lcartey

  committed
  03cb601

  Copy full SHA for 03cb601

• IntegerOverflow: Implement INT33-C

  Show description for c4ff2de
  lcartey

  committed
  c4ff2de

  Copy full SHA for c4ff2de

• IntegerOverflow: Implement Rule 12.4.

  Show description for 195cc3f
  lcartey

  committed
  195cc3f

  Copy full SHA for 195cc3f

• Fix typo.

  lcartey

  committed
  9580891

  Copy full SHA for 9580891

• IntegerOverflow: Do not exclude casted expressions

  Show description for e9c0c18
  lcartey

  committed
  e9c0c18

  Copy full SHA for e9c0c18

• Macro: Add classes for library vs user macro.

  lcartey

  committed
  d64b125

  Copy full SHA for d64b125

• IntegerOverflow: Exclude macro results

  Show description for a845f38
  lcartey

  committed
  a845f38

  Copy full SHA for a845f38

• IntegerOverflow: clarify valid post-check

  Show description for 3f2db7a
  lcartey

  committed
  3f2db7a

  Copy full SHA for 3f2db7a

• IntegerOverflow: Implement INT32-C

  Show description for 37df9a6
  lcartey

  committed
  37df9a6

  Copy full SHA for 37df9a6

• IntegerOverflow: Support MulExpr

  Show description for 6dd30df
  lcartey

  committed
  6dd30df

  Copy full SHA for 6dd30df

• INT32-C: Report issues in guards

  Show description for 5b9e572
  lcartey

  committed
  5b9e572

  Copy full SHA for 5b9e572

• IntegerOverflow: Implement INT31-C

  Show description for b51dc68
  lcartey

  committed
  b51dc68

  Copy full SHA for b51dc68

• INT31-C: Exclude stdbool.h

  Show description for 9dfc200
  lcartey

  committed
  9dfc200

  Copy full SHA for 9dfc200

• INT31-C: Add better message for typedefs

  lcartey

  committed
  7f672bf

  Copy full SHA for 7f672bf

• INT31-C: Improve error message to include range

  lcartey

  committed
  9afa81e

  Copy full SHA for 9afa81e

• IntegerOverflow: Implement INT35-C

  Show description for 417514c
  lcartey

  committed
  417514c

  Copy full SHA for 417514c

• IntegerOverflow: Improve descriptions.

  lcartey

  committed
  f7951fb

  Copy full SHA for f7951fb

• IntegerOverflow: Update help

  lcartey

  committed
  6d471f2

  Copy full SHA for 6d471f2

Commits on Mar 23, 2023

• Regenerate help files to resolve format issue

  

  Nikita Kraiouchkine

  committed
  f5bfa52

  Copy full SHA for f5bfa52

• Revert "Regenerate help files to resolve format issue"

  Show description for 3cede45
  

  Nikita Kraiouchkine

  committed
  3cede45

  Copy full SHA for 3cede45

• Fix rule help format issue

  

  Nikita Kraiouchkine

  committed
  1bdbdcd

  Copy full SHA for 1bdbdcd

• Merge branch 'main' into lcartey/integer-overflow

  

  Nikita Kraiouchkine

  authored
  57cf6ec

  Copy full SHA for 57cf6ec

Commits on Mar 24, 2023

• IntegerOverflow: Expand supported operations

  Show description for 697e2e2
  lcartey

  committed
  697e2e2

  Copy full SHA for 697e2e2

• IntegerOverflow: Support divide and remainder

  lcartey

  committed
  bf37105

  Copy full SHA for bf37105

• IntegerOverflow: Further restrictions

  Show description for d3dc330
  lcartey

  committed
  d3dc330

  Copy full SHA for d3dc330

• INT32-C: Add tests for ++,--

  lcartey

  committed
  6490705

  Copy full SHA for 6490705

• IntegerOverflow: INT30-C to medium

  lcartey

  committed
  8a67704

  Copy full SHA for 8a67704

• Merge branch 'main' into lcartey/integer-overflow

  lcartey

  committed
  cb38c60

  Copy full SHA for cb38c60

• INT33-C: Include assign div/mod

  lcartey

  committed
  e4b6417

  Copy full SHA for e4b6417

• Fix typo.

  lcartey

  committed
  d5b7fe5

  Copy full SHA for d5b7fe5

Commits on Mar 27, 2023

• Merge branch 'main' into lcartey/integer-overflow

  lcartey

  committed
  b455965

  Copy full SHA for b455965

• IntegerOverflow: recognise safe crements

  Show description for 3a33a22
  lcartey

  committed
  3a33a22

  Copy full SHA for 3a33a22

• IntgerOverflow: Expose getting a valid post check.

  lcartey

  committed
  ba3bf2b

  Copy full SHA for ba3bf2b

• IntegerOverflow: Support for more guards

  Show description for 68117b7
  lcartey

  committed
  68117b7

  Copy full SHA for 68117b7

• Add change note

  lcartey

  committed
  a2c8fe3

  Copy full SHA for a2c8fe3