Repository navigation

Implement "Statements" package - #938

Merged

jeongsoolee09 merged 55 commits into

mainfrom

jeongsoolee09/MISRA-C++-2023-Statements

Nov 6, 2025

Commits on Jul 30, 2025
- Generate query files for "Statements" package
  jeongsoolee09
  committed
  c8f559c
- Add agent-generated first draft
  jeongsoolee09
  committed
  ffcb432
- Add some test cases
  jeongsoolee09
  committed
  221b9b2
Commits on Jul 31, 2025
- Finish first draft
  jeongsoolee09
  committed
  fabb7e5
Commits on Aug 1, 2025
- Add test case for Rule 9.5.2
  jeongsoolee09
  committed
  6909528
- Minor
  jeongsoolee09
  committed
  0b5250f
- Update test case for Rule 9.5.2
  jeongsoolee09
  committed
  b239862
- Add first draft of `ForRangeInitializerAtMostOneFunctionCall`
  jeongsoolee09
  committed
  a013388
Commits on Aug 8, 2025
- Add test cases
  jeongsoolee09
  committed
  1c623f4
- Merge branch 'main' into jeongsoolee09/MISRA-C++-2023-Statements
  jeongsoolee09
  committed
  b792897
- Merge branch 'main' into jeongsoolee09/MISRA-C++-2023-Statements
  jeongsoolee09
  committed
  0d38cd7
Commits on Aug 18, 2025
- Update unit test
  jeongsoolee09
  committed
  c2cbed3
Commits on Aug 27, 2025
- Add more cases and more vocabularies to reason about them
  jeongsoolee09
  committed
  b7ae38e
Commits on Sep 8, 2025
- Fix labeling of two cases
  jeongsoolee09
  committed
  86aaa0e
- Add cases of addresses taken as part of non-const declaration or expressions
  jeongsoolee09
  committed
  49bdc07
Commits on Sep 9, 2025
- Finish first draft
  jeongsoolee09
  committed
  01e3276
- Merge branch 'main' into jeongsoolee09/MISRA-C++-2023-Statements
  jeongsoolee09
  committed
  9cab1f5
Commits on Sep 10, 2025
- Finish first draft
  jeongsoolee09
  committed
  2f6fc3d
Commits on Sep 17, 2025
- Tidy up, refine a bit more, add a series of test cases
  jeongsoolee09
  committed
  999e870
- Add two more cases
  jeongsoolee09
  committed
  562c7be
- Add QLDocs to two helper predicates
  jeongsoolee09
  committed
  6855e6a
Commits on Sep 22, 2025
- Introduce `from` variables and fix logical operator association
  jeongsoolee09
  committed
  5e24d1b
- Introduce newtype
  jeongsoolee09
  committed
  18daff7
- Split cases `5-1` and `5-2`
  jeongsoolee09
  committed
  55b8476
- Debug 5-1-2 and 5-2-2 not being reported
  jeongsoolee09
  committed
  662f51f
Commits on Sep 23, 2025
- Add LegacyForLoopUpdateExpression and test cases
  jeongsoolee09
  committed
  a653b66
Commits on Sep 24, 2025
Commits on Sep 29, 2025
- Update expected result of `RULE-9-5-1`
  jeongsoolee09
  committed
  23aa711
- Update expected results of `RULE-9-5-2`
  jeongsoolee09
  committed
  f0b53e2
Commits on Oct 7, 2025
- Count in typedefs and cv-qualifiers
  jeongsoolee09
  committed
  7d5f08b
- Fix cross-join issue in `TLoopCounterUpdatedNotByCrementOrAddSubAssignmentExpr`
  jeongsoolee09
  committed
  e135fe6
- Slightly change wording in the message
  jeongsoolee09
  committed
  b13ffd2
- Make the loop counter detection more relaxed
  jeongsoolee09
  committed
  82f9adc
Commits on Oct 8, 2025
Commits on Oct 9, 2025
- Apply suggestion from @Copilot
  
  jeongsoolee09
  and
  Copilot
  authored
  3ad5ef2
- Apply suggestion from @Copilot
  
  jeongsoolee09
  and
  Copilot
  authored
  fb20065
- Reformat test cases of 9-4-2 and 9-5-2
  jeongsoolee09
  committed
  bce38a0
- Merge branch 'jeongsoolee09/MISRA-C++-2023-Statements' of github.com:github/codeql-coding-standards into jeongsoolee09/MISRA-C++-2023-Statements
  jeongsoolee09
  committed
  32c36fe
- Merge branch 'main' into jeongsoolee09/MISRA-C++-2023-Statements
  jeongsoolee09
  committed
  c0a8253
- Update expected results coming from change in message
  jeongsoolee09
  committed
  59a4096
- Use different range predicate and update tests
  jeongsoolee09
  committed
  d37bc70
Commits on Oct 10, 2025
- Refine `TLoopCounterMutatedInLoopBody`
  jeongsoolee09
  committed
  25e29e4
Commits on Oct 13, 2025
- Add more candidate exprs and remove duplicate reportings on compound mutating exprs
  jeongsoolee09
  committed
  01216fa
- Add more test cases
  jeongsoolee09
  committed
  0f998ea
- Fix loop counter -> loop bound
  jeongsoolee09
  committed
  87a5158
- Add const-but-mutable pointer examples
  jeongsoolee09
  committed
  2aed0f1
Commits on Oct 14, 2025
- Debug loopVariableAssignedToNonConstPointOrReferenceType
  jeongsoolee09
  committed
  33222ae
- Update expected results of 9-5-1
  jeongsoolee09
  committed
  3dca053
Commits on Nov 5, 2025

Commits

Commits on Jul 30, 2025

Commits on Jul 31, 2025

Commits on Aug 1, 2025

Commits on Aug 8, 2025

Commits on Aug 18, 2025

Commits on Aug 27, 2025

Commits on Sep 8, 2025

Commits on Sep 9, 2025

Commits on Sep 10, 2025

Commits on Sep 17, 2025

Commits on Sep 22, 2025

Commits on Sep 23, 2025

Commits on Sep 24, 2025

Commits on Sep 29, 2025

Commits on Oct 7, 2025

Commits on Oct 8, 2025

Commits on Oct 9, 2025

Commits on Oct 10, 2025

Commits on Oct 13, 2025

Commits on Oct 14, 2025

Commits on Nov 5, 2025