4 ms·

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

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.

Jtsummers 11y 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. >> 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.
ktRolster 11y ago
You just have to use the right libraries: https://github.com/Adaptv/ribs2 https://github.com/Adaptv/ribs2