1.购买商城源码前需要考虑哪些方面？
2.MISRA C 2012 标准浅析
3.autosar E2E 源码解析
4.物联网安全｜固件安全测试中基于二进制的车检车检静态代码扫描工具介绍
购买商城源码前需要考虑哪些方面？
购买商城源码之前需要考虑以下几个方面：
稳定性：确定源码的稳定性，避免出现安全漏洞；
功能性：查看是源码意思否有完整的功能模块；
灵活性：查看是否支持自定义、可扩展性强；
性价比：考虑价格是车检车检否符合您的预算；
可操作性：检查源码是否易于安装、操作简单；
界面美观：考虑是源码意思否具备合适的外观及风格；
MISRA C 标准浅析
MISRA(The Motor Industry Software Reliability Association)是汽车工业软件可靠性联会，成立于年英国，车检车检旨在帮助汽车厂商开发安全可靠的源码意思贴溯源码软件。其成员包括AB汽车电子、车检车检罗孚汽车、源码意思宾利汽车、车检车检福特汽车、源码意思捷豹汽车、车检车检路虎公司、源码意思Lotus公司、车检车检MIRA公司、源码意思Ricardo公司、车检车检TRW汽车电子、利兹大学和福特VISTEON汽车系统公司。
MISRA支持C语言标准的发展历程，MISRA C 目前已经修订多次，最新版本为AMD2，共享餐厅源码支持C标准。MISRA主要关注功能安全，而CERT C/C++则更多地关注安全威胁。MISRA C :AMD2共有条规则，其中条为规则，条为指令。指令通常无法被SAST工具检测分析。条规则中，条为强制性，条为必要规则，条为建议规则。
MISRA标准中的每一条规则都有详细的描述信息，包括类别、可判断性、支持语言标准、分析范围、规则编号和规则描述等。
标准分类：规则（Rule）和指令（Directive）的区别在于，指令是oval源码分析一种描述性的指导规范，无法提供执行符合性检查所需的完整描述。为了进行检查，需要提供额外的信息，如设计文件或需求说明。指令部分主要分为实现、编译与构建、要求追踪、代码设计四个部分，共条规范。规则则可以对相关要求提供完整的描述，评测人员或静态分析工具可以在不需要额外信息的情况下检查源代码是否符合对应规则。
指令：仅依靠源代码分析，无法对指令进行合规性判定，通常需要开发人员提供更多信息，如设计文档和要求说明。静态代码分析工具可以判断代码符合指令，但对于代码不符合指令的情况，代码分析工具给出的结果可能不一致。
规则：仅依靠源代码分析，halo源码打包就可以对规则进行判断，不需要开发人员提供更多信息，所有的静态代码检测工具都应具有对规则进行合规性判定的能力。
Category类别：Mandatory guidelines强制性的，版增加的，声明符合Misra的C代码应遵守所有强制性准则，不允许偏差。Required guidelines必须的，公司或项目可以选择将任何必须的准则视为强制性准则，不符合需要正式的偏差许可。Advisory guidelines建议的，建议性的，不符合应被记录，但是无需正式的偏差许可。
Decidability可判断性和Undecidable不可判定性：Decidable可判断的，总是能够在任何程序中使用工具确定代码是否合规，否则就是不可判定的。例如，规则.3取决于源指针和目标指针的广东软件源码类型是可判定的，而规则.2取决于移位运算符右侧操作数的值是不可判定的。
Analysis Scope分析范围：Single translation unit rule单一编译单元，通过隔离分析每个编译单元中的源代码，可以可靠地进行验证的代码。System rules系统级，只能通过分析整个系统中的源代码了完全检查验证。
MISRA合规对于企业的价值：MISRA是汽车行业公认的C/C++语言编码规范，符合编码规范是ISO :-6软件功能安全开发标准的内在要求之一，开发ASIL功能安全项目必须满足，客户软件过程能力审核要求，在研发生命周期早期发现软件中的缺陷，预防成本投入会大幅度降低投产后的售后维护成本。
对于C、C++语言开发，我们关注里面包括的运行时缺陷，例如缓冲区溢出、整数溢出、数组越界、内存泄露、空指针解引用等缺陷。但是对于出海的企业，例如车企其开发软件遵守MISRA标准是必要的。这些规则虽然大多数不会导致程序崩溃，但是会给这些软件运行带来潜在的出错风险，对于可能造成重大生命财产随时的软件还是应该去遵守的。下面我们列举几个例子、说明代码不安全性主要来源。
开发者编码引入的错误；开发者对C/C++语言的误解；编译器不执行开发人员所期望的操作；编译器包含错误；运行时错误。
目前，业界对于MISRA C :ADM2支持最好的SAST工具是Coverity，支持的规则最多，检测效果最好。其次是北大Cobot，检测效果还可以。
（结束）
autosar E2E 源码解析
在多年的实践应用中，我们曾利用E2E技术来确保车速和转速信息的准确性，通过在报文里加入Check和RollingCounter信号，监测信号的完整性和一致性。虽然起初可能觉得这种额外的使用是资源浪费，但其实是对总线负载的有效管理。E2E的核心其实并不复杂，本质上是CRC校验和滚动计数器的结合，不同厂商可能在位序和配置上有所差异，但原理相通。
具体到源码操作，发送E2E报文的过程如下：首先从SWC获取E2E信号值，然后通过vector库进行处理，校验AppData的指针，配置报文，组织msg，更新E2E buffer，并进行CRC和滚动计数器的更新。最后，通过RTE接口发送信号。
接收E2E报文则与发送过程相反，包括准备接收缓冲区，调用库函数读取数据，验证数据和计数器，将接收到的数据结构赋值，检查接收和本地滚动计数器的匹配，以及校验CRC结果。整个过程旨在确保数据的完整性和正确性。
物联网安全｜固件安全测试中基于二进制的静态代码扫描工具介绍
物联网安全与固件安全测试中基于二进制的静态代码扫描工具的介绍，固件作为嵌入式系统的灵魂，是硬件与上层软件沟通的桥梁，承载着系统初始化、资源管理与安全防护的重要职责。然而，固件中可能藏有敏感信息与安全功能，是系统整体安全的基石，固件安全测试是确保安全的关键。
固件安全测试包括静态代码审计与模糊测试，静态代码审计利用IDA对程序反汇编，识别可能的漏洞，追踪数据处理过程，评估安全性；模糊测试则使用fuzzing工具生成复杂输入，监视异常，发现潜在安全漏洞。测试难点在于定制化生成输入向量与复现高难度，以及硬件行为模拟的困难性。
获取固件源代码的挑战使测试人员难以直接理解程序逻辑，同时，固件与硬件紧密相关，真实环境模拟复杂。由于固件代码包含多层复杂结构，不同设备版本增加测试难度，且固件实施了多种安全缓解措施，要求测试人员具备跨学科知识。
二进制静态分析是不运行程序，直接分析二进制文件的安全检测方法，适用于物联网固件。它无需源代码，快速发现漏洞，降低误报率，但市场上专门针对C/C++应用的分析工具较少，挑战在于处理不同平台的二进制制品形态。
基于二进制的静态代码分析工具集成了自动化解包、组件成分分析、漏洞库比对、未知漏洞分析、漏洞缓解机制检查与敏感信息扫描等功能，通过深度分析二进制代码，确保固件安全。这些工具在医疗器械、智能汽车、智慧交通、智能家居与电力物联网等领域广泛应用，提供了全面的固件安全检测解决方案。
