Writing safer C is a matter of skill.
Writing safe C is a matter of either radically different (much, much slower) process or better tooling or both. Skill is not sufficient.