机动车电子器件中断安全隐患检测系统及其检测方法

摘要

本发明提供一种机动车电子器件中断安全隐患检测系统，包括：代码预处理模块，其对汽车电子器件机器码进行代码切片；模型生成模块，其为切片后的代码建立抽象模型；代码验证与分析模块，其检测所述抽象模型是否存在中断安全隐患。本发明还提供机动车电子器件中断安全隐患检测系统的检测方法，从机器码层面上进行错误检测，避免使用编译器编译高级语言可能带来的错误，对机器码切片，截取机器码局部有用的代码，很好地避免模型检查时的状态爆炸问题，并在原有正确性的基础上对汽车操作系统提出更高层次的要求。

主权项

一种机动车电子器件中断安全隐患检测系统，其特征在于，包括：代码预处理模块，其对机器码进行代码切片；模型生成模块，其为切片后的所述代码建立抽象模型；代码验证与分析模块，其检测所述抽象模型中是否存在中断安全隐患。