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

Draft

MichaelRFairhurst wants to merge 18 commits intomainfrom

michaelrfairhurst/package-undefined-behavior

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 14, 2026

Reuse A2-13-4 as an audit query for undefined behavior.
MichaelRFairhurst
committed
Import MEM51-CPP, mismatched new/delete[]/malloc/free is UB
MichaelRFairhurst
committed

Commits on Mar 16, 2026

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

Commits on Mar 17, 2026

Import A5-6-1 division/mod by zero
MichaelRFairhurst
committed

Commits on Mar 19, 2026