There are some things that none of these tools you mention will fix. As long as we're committed to C design flaws introduced decades ago there are some types of

There are some things that none of these tools you mention will fix. As long as we're committed to C design flaws introduced decades ago there are some types of checks we simply won't be able to add. If we're going to all the effort of learning a gigantic tool chain, why not learn a simpler language that gives us more checking than the tool chain does anyway?