Hacker News Reader

No. There has been some effort in that direction, somebody proposed a Clang "type sanitizer" patch, but it wasn't merged.

I'm fully in the camp of C plus powerful analysis tools, plus a high-level language (Python or Scheme).

Since powerful analysis tools aren't defined by ISO what they are supposed to be, there are plenty of C compilers that will never get them.

only if your tests exercise that code path

You can't do compile time bounds checking, if that's what you're implying.

Most, but not all. They are excellent tools but not perfect by any means.