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 10 years, 6 months
-
39 profile views
-
Last seen Feb 11 at 12:47
Communities (13)
- Stack Overflow 11.5k 11.5k 99 gold badges4343 silver badges8282 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 →
Top tags (7)
Badges (27)
Gold
Rarest
-
Nov 5 '16
Silver
Rarest
-
Oct 20 '15
-
Oct 15 '16
-
Nov 6 '14
Bronze
Rarest
-
Sep 15 '14
-
Jan 3 '15
-
Sep 15 '14