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

Commits on Mar 10, 2026

Commits on Mar 11, 2026

Michaelrfairhurst/rule 4 1 3 detect data races (#1077)
MichaelRFairhurst
authored

Commits on Mar 16, 2026

Share OOP55-CPP with UB from ptr-to-member use
MichaelRFairhurst
committed

Commits on Mar 17, 2026

Commits on Mar 19, 2026

Commits on Mar 24, 2026

Potential fix for pull request finding

mbaluda
and
Copilot
authored

Commits on Mar 26, 2026

Re-add queries in json deleted during merge
MichaelRFairhurst
committed

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

Commits on Apr 30, 2026