Code

Add C Contracts package#512

Code

Open

lcartey wants to merge 18 commits intomaingithub/codeql-coding-standards:mainfrom lcartey/contractsgithub/codeql-coding-standards:lcartey/contractsCopy head branch name to clipboard

+605-59

Commits

Commits on Jan 30, 2024

• Contracts: add metadata.

  lcartey

  committed
  84f007e

  Copy full SHA for 84f007e

• MSC40-C: Add query for finding inline linkage constraints.

  Show description for 52bdbd7
  lcartey

  committed
  52bdbd7

  Copy full SHA for 52bdbd7

• DIR-4-11: Add query for checking math.h functions

  Show description for dcb32c1
  lcartey

  committed
  dcb32c1

  Copy full SHA for dcb32c1

• DIR-4-7: Create shared query for unchecked return values

  Show description for 3771240
  lcartey

  committed
  3771240

  Copy full SHA for 3771240

• FunctionErroneousReturnValueNotTested rewritten for clarity

  lcartey

  committed
  8120089

  Copy full SHA for 8120089

• Add name of function to message.

  lcartey

  committed
  7e5ef5f

  Copy full SHA for 7e5ef5f

• Add implementation scope properties

  Show description for a19855b
  lcartey

  committed
  a19855b

  Copy full SHA for a19855b

• Add change note.

  lcartey

  committed
  9b7102e

  Copy full SHA for 9b7102e

• Merge branch 'main' into lcartey/contracts

  lcartey

  authored
  2794921

  Copy full SHA for 2794921

• Add missing file.

  lcartey

  committed
  78d5e79

  Copy full SHA for 78d5e79

• Update expected result files.

  lcartey

  committed
  9776de1

  Copy full SHA for 9776de1

• Update rules.csv to exclude unimplemented contracts rules.

  lcartey

  committed
  af92262

  Copy full SHA for af92262

• Update documentation.

  lcartey

  committed
  3d2cd94

  Copy full SHA for 3d2cd94

• Fix formatting

  lcartey

  committed
  bccdb93

  Copy full SHA for bccdb93

• Fix test formatting

  lcartey

  committed
  337604e

  Copy full SHA for 337604e

Commits on Jul 24, 2024

• Merge branch 'main' into lcartey/contracts

  lcartey

  authored
  ff7f991

  Copy full SHA for ff7f991

Commits on Jan 5, 2025

• Update rules.csv

  Show description for 6b8ba85
  lcartey

  authored
  6b8ba85

  Copy full SHA for 6b8ba85

• Merge branch 'main' into lcartey/contracts

  lcartey

  committed
  f1e6f50

  Copy full SHA for f1e6f50