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 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

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

Commits on Apr 16, 2026

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