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.
Member for 4 years, 10 months
28 profile views
Last seen Aug 20 at 18:00