Repository navigation

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

Merged

MichaelRFairhurst merged 47 commits into

mainfrom

michaelrfairhurst/package-undefined-behavior

May 4, 2026

Commits on Mar 9, 2026
- Draft PR for Rule 4-1-3, no undefined/unspecified behavior
  MichaelRFairhurst
  committed
  d7215f5
- add base ql files
  MichaelRFairhurst
  committed
  6457dc6
Commits on Mar 10, 2026
- Temporarily run workflows on branch PR
  MichaelRFairhurst
  committed
  b2a6480
- Commit compilable stub queries
  MichaelRFairhurst
  committed
  46d7355
- Build fixes: empty tests, disable pack gen CI/CD
  MichaelRFairhurst
  committed
  3cfaa72
Commits on Mar 11, 2026
- Michaelrfairhurst/rule 4 1 3 detect data races (#1077)
  MichaelRFairhurst
  authored
  d7d4769
Commits on Mar 14, 2026
Commits on Mar 16, 2026
- Share OOP55-CPP with UB from ptr-to-member use
  MichaelRFairhurst
  committed
  61b7454
Commits on Mar 17, 2026
- Import A5-6-1 division/mod by zero
  MichaelRFairhurst
  committed
  f5f59c7
- Import INT50-CPP into 4-1-3
  MichaelRFairhurst
  committed
  38cf430
- Format test.cpp
  MichaelRFairhurst
  committed
  c8494ab
Commits on Mar 19, 2026
Commits on Mar 24, 2026
- Potential fix for pull request finding
  
  mbaluda
  and
  Copilot
  authored
  b51f403
Commits on Mar 25, 2026
- Merge branch 'main' into michaelrfairhurst/package-undefined-behavior-mismatched-list-delete
  mbaluda
  authored
  c148d75
- Update .github/workflows/validate-query-formatting.yml
  
  mbaluda
  and
  Copilot
  authored
  8e8feef
- Address copilot review
  mbaluda
  committed
  9d539a3
- Fix expected file
  mbaluda
  committed
  8ba9aff
Commits on Mar 26, 2026
- Re-add queries in json deleted during merge
  MichaelRFairhurst
  committed
  e29bd68
Commits on Mar 27, 2026
Commits on Mar 30, 2026
Commits on Mar 31, 2026
- Revert "Address copilot review"
  MichaelRFairhurst
  committed
  5bf2f56
- Undo two more changes that were done for the right reason but on the wrong branch.
  MichaelRFairhurst
  committed
  2906de8
Commits on Apr 16, 2026
- Update cpp/common/src/codingstandards/cpp/rules/donotdeleteanarraythroughapointeroftheincorrecttypeshared/DoNotDeleteAnArrayThroughAPointerOfTheIncorrectTypeShared.qll
  
  MichaelRFairhurst
  and
  mbaluda
  authored
  44dbd13
- Update tests and change note for new alert text
  MichaelRFairhurst
  committed
  e121960
Commits on Apr 18, 2026
- Merge pull request #1098 from github/michaelrfairhurst/package-undefined-behavior-mismatched-list-delete
  MichaelRFairhurst
  authored
  9508033
Commits on Apr 30, 2026
- Remove workflow changes that are no longer needed.
  MichaelRFairhurst
  committed
  a618463
- Merge remote-tracking branch 'origin/main' into michaelrfairhurst/package-undefined-behavior
  MichaelRFairhurst
  committed
  e4c81fc

Commits

Commits on Mar 9, 2026

Commits on Mar 10, 2026

Commits on Mar 11, 2026

Commits on Mar 14, 2026

Commits on Mar 16, 2026

Commits on Mar 17, 2026

Commits on Mar 19, 2026

Commits on Mar 24, 2026

Commits on Mar 25, 2026

Commits on Mar 26, 2026

Commits on Mar 27, 2026

Commits on Mar 30, 2026

Commits on Mar 31, 2026

Commits on Apr 16, 2026

Commits on Apr 18, 2026

Commits on Apr 30, 2026