| Channel | Publish Date | Thumbnail & View Count | Download Video |
|---|---|---|---|
 | Publish Date not found |  0 Views |
—
Extending Clang for Checking Auto-Coding Standards Compliance – Milena Vujosevic Janicic
Slides: https://llvm.org/devmtg/2020-09/slides/Janicic-Extending_Clang_Compliance_Automotive_Standards.pdf
—
Autosar guidelines for the use of the C++14 language in critical and safety-related systems propose rules tailored to improving the security, safety and quality of software. In this talk, we will discuss the key challenges in extending Clang with source code analyzes necessary to check software conformance to the Autosar automotive standard. In this conversation:
– We will present Clang's current support for checking compliance with various standards and its strengths and weaknesses in this area.
– We will explain our choices on different interfaces offered by Clang: we will compare the efficiency and possibilities based on implementing analytics through AST Visitors and AST Matchers and present some experimental results.
– We discuss similarities and differences between our approach and the solution offered by the Clang-Tidy project.
– We will present our improvements to Clang's diagnostics, which is governed by scalability and usability issues in static code analysis.
– We will present some impressions and results on the use of our extension of Clang (to support compliance checking with more than 190 Autosar rules) in the automotive industry, including running it on parts of Automotive Grade Linux open source -code.
—
Please take the opportunity to connect and share this video with your friends and family if you find it helpful.
