10、汽车软件的静态代码分析：MISRA和AUTOSAR编码指南介绍

汽车软件的静态代码分析：MISRA和AUTOSAR编码指南介绍

1. 引言

由于对安全、质量和安全性的严格要求，汽车软件开发通常需要遵循MISRA和AUTOSAR编码指南。下面将详细介绍这两种编码指南。

2. MISRA编码指南

2.1 MISRA的起源

MISRA始于20世纪90年代初，是英国政府“SafeIT”计划的一个项目，该计划专注于与安全相关的电子系统行业。MISRA项目负责为道路车辆电子系统中的嵌入式软件制定指南。1994年，发布了一份名为“基于车辆的软件开发指南”的文件。官方MISRA项目结束后，MISRA成员继续非正式合作，开发了MISRA C编码指南，它是C编程语言的一个子集。如今，MISRA C编码指南已成为大多数安全相关行业（如汽车、航空航天、医疗设备和铁路行业）嵌入式C编程的事实上的标准。

2.2 MISRA C编码指南的版本

• MISRA-C:1998 ：1998年发布，全称为“基于车辆的软件中C语言使用指南”。它定义了127条编码规则，其中93条是必需的，34条是建议性的。要声称符合MISRA C，软件必须遵守必需的规则，除非有偏差情况，建议性规则虽不强制，但应尽可能遵循。
• MISRA-C:2004 ：2004年发布，名为“关键系统中C语言使用指南”。该版本对规则进行了一些改进和补充，定义了142条规则，其中122条是必需的，20条是建议性的。
• MISRA-C:2012 ：2012年发布，同样称为“关键系统中C