Autocheck To Check If Your C++ Code Is Safe For Automobiles & Safety Critical Systems

https://www.phoronix.com/news/Autocheck-LLVM-Safety-Critical