Validate Query Help Files

Workflow runs for Validate Query Help Files

• Validate Query Help Files

  completed successfully:
  Validate Query Help Files#2065:Merge group checks requested
  Mar 17, 202611s
  More actions for workflow run 2065

• Implement Rule 0.2.4, unused functions with limited visibility.

  completed successfully:
  Validate Query Help Files#2064:Pull request#1044synchronizebyMichaelRFairhurst
  michaelrfairhurst/implement-deadcode-10-rule-0-2-4

  Mar 17, 202614s
  More actions for workflow run 2064

• Validate Query Help Files

  completed successfully:
  Validate Query Help Files#2063:Merge group checks requested
  Mar 17, 202615s
  More actions for workflow run 2063

• First implementation of Rule 22-3-1

  completed successfully:
  Validate Query Help Files#2062:Pull request#986synchronizebyMichaelRFairhurst
  michaelrfairhurst/preconditions-rule-22-3-1-no-asserts-on-constants

  Mar 17, 20269s
  More actions for workflow run 2062

• Import INT50-CPP into 4-1-3

  completed successfully:
  Validate Query Help Files#2061:Pull request#1088openedbyMichaelRFairhurst
  michaelrfairhurst/package-undefined-behavior-cast-enum-out-of-range

  Mar 17, 202611s
  More actions for workflow run 2061

• Import A5-6-1 division/mod by zero

  completed successfully:
  Validate Query Help Files#2060:Pull request#1087openedbyMichaelRFairhurst
  michaelrfairhurst/package-undefined-behavior-divide-or-modulo-by-zero

  Mar 17, 20269s
  More actions for workflow run 2060

• Michaelrfairhurst/package undefined behavior ptr to member

  completed successfully:
  Validate Query Help Files#2059:Pull request#1086openedbyMichaelRFairhurst
  michaelrfairhurst/package-undefined-behavior-ptr-to-member

  Mar 16, 202610s
  More actions for workflow run 2059

• Bump actions/create-github-app-token from 2 to 3

  completed successfully:
  Validate Query Help Files#2058:Pull request#1085openedbydependabot[bot]Bot
  dependabot/github_actions/actions/create-github-app-token-3

  Mar 16, 202610s
  More actions for workflow run 2058

• Michaelrfairhurst/package undefined behavior mismatched list delete

  completed successfully:
  Validate Query Help Files#2057:Pull request#1084openedbyMichaelRFairhurst
  michaelrfairhurst/package-undefined-behavior-mismatched-list-delete

  Mar 14, 20269s
  More actions for workflow run 2057

• Import MEM51-CPP, mismatched new/delete[]/malloc/free is UB

  completed successfully:
  Validate Query Help Files#2056:Pull request#1083openedbyMichaelRFairhurst
  michaelrfairhurst/undefined-behavior-new-delete-malloc-mismatch

  Mar 14, 20269s
  More actions for workflow run 2056

• Add critical unspecified behavior for signed integer overflow

  completed successfully:
  Validate Query Help Files#2055:Pull request#1082openedbyMichaelRFairhurst
  michaelrfairhurst/package-undefined-signed-integer-overflow

  Mar 14, 202614s
  More actions for workflow run 2055

• Reuse A2-13-4 as an audit query for undefined behavior.

  completed successfully:
  Validate Query Help Files#2054:Pull request#1081openedbyMichaelRFairhurst
  michaelrfairhurst/undefined-behavior-modifying-string-literal

  Mar 14, 20269s
  More actions for workflow run 2054

• Implement Memory1 (RULE-8-7-1)

  completed successfully:
  Validate Query Help Files#2053:Pull request#967synchronizebyjeongsoolee09
  jeongsoolee09/MISRA-C++-2023-Memory

  Mar 13, 20269s
  More actions for workflow run 2053

• Implement Memory1 (RULE-8-7-1)

  completed successfully:
  Validate Query Help Files#2052:Pull request#967synchronizebyjeongsoolee09
  jeongsoolee09/MISRA-C++-2023-Memory

  Mar 13, 20268s
  More actions for workflow run 2052

• Add Banned2, Banned3, and Banned4

  completed successfully:
  Validate Query Help Files#2051:Pull request#1080openedbyjeongsoolee09
  jeongsoolee09/MISRA-C++-2023-Banned234

  Mar 13, 20268s
  More actions for workflow run 2051

• Add lifetime package

  completed successfully:
  Validate Query Help Files#2050:Pull request#1024synchronizebyknewbury01
  knewbury01:knewbury01/Lifetime

  Mar 11, 202615s
  More actions for workflow run 2050

• PR for Rule 4-1-3, no undefined/unspecified behavior

  completed successfully:
  Validate Query Help Files#2049:Pull request#1076synchronizebymbaluda
  michaelrfairhurst/package-undefined-behavior

  Mar 11, 20269s
  More actions for workflow run 2049

• Add lifetime package

  completed successfully:
  Validate Query Help Files#2048:Pull request#1024synchronizebyknewbury01
  knewbury01:knewbury01/Lifetime

  Mar 10, 202615s
  More actions for workflow run 2048

• Implement Memory1 (RULE-8-7-1)

  completed successfully:
  Validate Query Help Files#2047:Pull request#967synchronizebyjeongsoolee09
  jeongsoolee09/MISRA-C++-2023-Memory

  Mar 10, 202615s
  More actions for workflow run 2047

• Add lifetime package

  completed successfully:
  Validate Query Help Files#2046:Pull request#1024synchronizebyknewbury01
  knewbury01:knewbury01/Lifetime

  Mar 10, 202611s
  More actions for workflow run 2046

• Add lifetime package

  completed successfully:
  Validate Query Help Files#2045:Pull request#1024synchronizebyknewbury01
  knewbury01:knewbury01/Lifetime

  Mar 10, 20269s
  More actions for workflow run 2045

• Add lifetime package

  completed successfully:
  Validate Query Help Files#2044:Pull request#1024synchronizebyknewbury01
  knewbury01:knewbury01/Lifetime

  Mar 10, 20267m 16s
  More actions for workflow run 2044

• Add lifetime package

  completed successfully:
  Validate Query Help Files#2043:Pull request#1024synchronizebyknewbury01
  knewbury01:knewbury01/Lifetime

  Mar 10, 202611s
  More actions for workflow run 2043

• Michaelrfairhurst/rule 4 1 3 detect data races

  completed successfully:
  Validate Query Help Files#2042:Pull request#1077synchronizebyMichaelRFairhurst
  michaelrfairhurst/rule-4-1-3-detect-data-races

  Mar 10, 20269s
  More actions for workflow run 2042

• PR for Rule 4-1-3, no undefined/unspecified behavior

  completed successfully:
  Validate Query Help Files#2041:Pull request#1076synchronizebyMichaelRFairhurst
  michaelrfairhurst/package-undefined-behavior

  Mar 10, 20269s
  More actions for workflow run 2041