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.
I am a current member of the ISO C and MISRA C committees.
All opinions expressed here are my own and are not those of my company or any other organization.
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, 5 months
0 profile views
Last seen May 4 at 14:52
- Stack Overflow 9.9k 9.9k 77 gold badges3939 silver badges7373 bronze badges
- Worldbuilding 2k 2k 1313 silver badges1919 bronze badges
- Code Golf 1.5k 1.5k 11 gold badge88 silver badges1111 bronze badges
- Software Engineering 624 624 77 silver badges1515 bronze badges
- Politics 157 157 66 bronze badges
- View network profile →
Top network posts
- 217 How to achieve function overloading in C?
- 95 How would a dragon be used in a modern military?
- 73 Why are there so few C compilers?
- 30 What is the origin of the C Preprocessor?
- 30 A King can't go to war
- 22 Can a gas giant have its own habitable zone?
- 22 Are there any compiler / preprocesser tricks to debug print an enum's name?
- View more network posts →