Can you share any good examples of C codebases that have enforced these rules and successfully avoided having memory safety problems?
Can you share any details on what rules a team could use to reliably avoid having memory safety problems when writing C?
You can ensure memory-safety in C by enforcing strict rules since the first commit.