Coding standards are especially important in the automotive industry, because bugs in automotive software can have fatal consequences. An important standard in this regard is Autosar, which proposes guidelines for coding in the C14 language. Strict adherence to this encryption standard improves the security, safety, and overall quality of software, and should be supported by tools that can automate compliance checks. In this article we present a tool AutoCheck that can check compliance with 190 rules defined by the Autosar standard for the C14 language. AutoCheck is implemented as an extension of the Clang compiler and can be easily adopted as it can be called via simple options added to Clang. AutoCheck also offers additional options to check the generated output in a user-friendly way. We discuss development decisions that include experimental evaluation of various static analysis interfaces offered by Clang. We present an experimental evaluation showing that AutoCheck performs highly efficient and accurate analyses.

Please take the opportunity to connect and share this video with your friends and family if you find it helpful.