Clean code is not as likely to include faults and is also much easier to examination, understand, and modify. Most of these factors lead to much less bugs and better trustworthiness. Green Hills optimizing compilers permit enforcement of clean coding conventions outlined by industry criteria such as the MISRA 2012 https://pukkabookmarks.com/story18662058/the-smart-trick-of-road-name-competition-that-no-one-is-discussing