[发明专利]一种基于嵌入式软件的静态检测方法及其系统

摘要

本发明提供一种基于嵌入式软件静态检测的方法，该方法解决了现有静态检测技术的不足，结合控制流、数据流信息及路径别名信息进行静态检测。该方法包括检测执行端模块和客户端模块，客户端提供图形化规则文件编辑支持，测试人员完成源文件编辑工作后，可对源文件执行静态检测，客户端发送命令通知检测执行端开始静态检测。检测执行端接收客户端发送的开始检测命令，对源文件结构进行分析，调用规则解析模块对规则文件进行解析，处理后产生匹配结果，并通过匹配结果封装模块进行封装，将封装产生的检测结果发送给客户端供后者分析显示。客户端对检测结果进行分析、映射，根据检测结果更新客户端，让开发人员能够直观地查看静态检测结果，直观查看规则违反情况。

主权项

一种基于嵌入式软件的静态检测方法，其特征在于，包括以下步骤：对源文件结构进行分析，生成GIMPLE图、控制流、数据流信息的步骤；对预设的规则文件进行解析的步骤；根据解析产生的规则约束字符串构造正则表达式的步骤；根据正则表达式、控制流、数据流信息执行规则匹配的步骤；如果发现匹配条目，则对违反检测规则的语句及控制流路径进行记录，进行封装，将封装产生的检测结果，然后进行分析显示。