[发明专利]汽车电子器件中断安全隐患检测系统及其检测方法

权利要求书

1.一种汽车电子器件中断安全隐患检测系统，其特征在于，包括： 

代码预处理模块，其对机器码进行代码切片；

模型生成模块，其为切片后的所述代码建立抽象模型；

代码验证与分析模块，其检测所述抽象模型中是否存在中断安全隐患。

2.如权利要求1所述汽车电子器件中断安全隐患检测系统的检测方法，其特征在于，包括如下步骤：

步骤一：在代码预处理模块中对机器码进行代码切片；

步骤二：在模型生成模块中，为步骤一所得切片后的所述代码建立抽象模型；

步骤三：在代码验证与分析模块中，检测所述抽象模型中是否存在中断安全隐患；若存在中断安全隐患，输出缺陷报告；若不存在中断安全隐患，输出安全报告。

3.如权利要求2所述汽车电子器件中断安全隐患检测系统的检测方法，其特征在于，所述步骤一中对机器码进行代码切片是指保留机器码中的指令包括：读写指令、跳转指令、函数调用指令和中断开闭指令。

4.如权利要求2所述汽车电子器件中断安全隐患检测系统的检测方法，其特征在于，所述步骤三中的中断安全隐患是指代码中因中断发生导致执行错误的指令。

5.如权利要求2所述汽车电子器件中断安全隐患检测系统的检测方法，其特征在于，所述步骤三中所述中断安全隐患的检测是通过将中断代码插入机器码中的可中断点，覆盖所有函数可能执行路径，利用模型检测工具检测中断安全隐患。