I am one of the developers of the Helix QAC static analyzer, a general-purpose C code analyzer supporting both standard C (C89-C11) and a wide range of common language extensions. QAC performs interprocedural/interthread dataflow analysis in addition to basic high-level syntax checking, and can therefore detect a large number of runtime errors (segfaults, buffer overflows etc.) at compile time.

All opinions expressed here are my own and are not that of my company.

Any content I post is offered under the CC0 Public Domain licence:

In the unlikely event I actually wrote something helpful, it is yours to use. You don't need to ask my permission or provide any attribution.