When people talk about static analysis for automotive application the term MISRA-C (Motor Industry Software Reliability Association) immediately pops up. This is a software development standard that originated in the automotive industry.
However, MISRA is only one part of static analysis, especially when the automotive supply chain is involved. Tier 1 suppliers integrate technologies from other parties, this technology often involves software, often in the form of binaries.
This impacts static analysis. Doing advanced static analysis for automotive means that you can perform static analysis when libraries from your suppliers are present.
This webinar looks at how GrammaTech CodeSonar can help automotive suppliers perform advanced, whole program static analysis in the presence of libraries from lower tiers.