Leushenko
I am one of the developers of the Helix QAC static analyzer, a general-purpose C code analyzer supporting both standard C (C89-C18) and a wide variety 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.
-
United Kingdom
-
Member for 5 years, 10 months
-
0 profile views
-
Last seen Jun 6 '20 at 19:54
Communities (13)
- Stack Overflow 11.5k 11.5k 99 gold badges4343 silver badges8383 bronze badges
- Worldbuilding 2.1k 2.1k 1414 silver badges1919 bronze badges
- Code Golf 1.5k 1.5k 11 gold badge99 silver badges1111 bronze badges
- Software Engineering 831 831 88 silver badges1515 bronze badges
- Politics 237 237 11 silver badge66 bronze badges
- View network profile
Top network posts
- 265 How to achieve function overloading in C?
- 96 How would a dragon be used in a modern military?
- 73 Why are there so few C compilers?
- 31 What is the origin of the C Preprocessor?
- 30 A King can't go to war
- 24 Understanding DEFER and OBSTRUCT macros
- 23 Can a gas giant have its own habitable zone?
- View more network posts →
Keeping a low profile.
This user hasn't posted yet.