Comments by "Vitaly L" (@vitalyl1327) on "C Skill Issues - White House Is Wrong And Here's Why" video.

Not to mention that a full set of MISRA C rules, powered by static analysis, is still by far the most safe development methodology possible, outclassing even SPARK, and leaving Rust and alike far behind.
2