Comment by TickleSteve
11 years ago
You would have to argue with the overwhelming majority of safety-critical software that is and has been for decades, written in C...
Of course, static analysis is always used in combination with proper coding style... but that is just the normal (professional) C development environment.
> You would have to argue with the overwhelming majority of safety-critical software that is and has been for decades, written in C...
> Of course, static analysis is always used in combination with proper coding style... but that is just the normal (professional) C development environment.
>> Straight-up C is not at all suitable for safety-critical software. C plus various bolt-on tools for static analysis and the like can be usable, but is always going to be less effective (IMO) than a unified language where every tool is working according to the same rules.
Pretty sure you've just restated GP's point in your second paragraph.
You just have to use the right libraries:
https://github.com/Adaptv/ribs2