[发明专利]一种51汇编语言软件安全性编码规则自动检查方法

摘要

一种51汇编语言软件安全性编码规则自动检查方法，首先确定针对51汇编语言的安全编码规则。然后将源代码按照统一格式重新排版，进行分离代码和注释、提取独立的单词助记符。随后在重新排版的源代码上增加子程序开始和结束标识，然后从得到的单词助记符中提取伪指令、指令、操作数、行号、标号并与51汇编语言语法规则进行匹配，识别出变量、相关指令、操作数、中断向量区、子程序、中断服务程序，由此提取各个子程序、中断服务程序的名称及起始行号和结束行号。最后根据提取结果以及结构分析结果，将制定的安全性编码规则作为标准，判断程序代码中是否存在错误并将判断结果输出。本方法具有分析准确率高、直接对应源程序、规则可扩展等特点。

主权项

一种51汇编语言软件安全性编码规则自动检查方法，其特征在于步骤如下：(1)确定针对51汇编语言的安全编码规则，包括：堆栈处理安全性规则、中断处理安全性规则、指令匹配性检查规则、未用中断向量处理安全性规则、避免存在不可达代码安全性规则；所述的堆栈处理安全性规则用于检查程序中堆栈是否存在堆栈不平衡或者堆栈溢出；所述的中断处理安全性规则用于检查程序的中断处理是否存在安全性；所述的指令匹配性检查规则用于检查特定指令与所在子程序是否匹配以及指令与所用操作数之间是否匹配；所述的未用中断向量处理安全性规则用于检查所有未用中断的中断向量处理是否符合安全性要求；所述的避免存在不可达代码安全性规则用于检查程序中是否存在未被调用的子程序或者不可达代码；(2)将源代码按照统一格式重新排版，进行分离代码和注释、提取独立的单词助记符；(3)在重新排版的源代码上增加子程序开始和结束标识，然后从得到的单词助记符中提取伪指令、指令、操作数、行号、标号并与51汇编语言语法规则进行匹配，识别出变量、相关指令、操作数、中断向量区、子程序、中断服务程序，由此提取各个子程序、中断服务程序的名称及起始行号和结束行号，并记录与步骤(1)中制定的安全性编码规则匹配相关的指令所在的行号，以及子程序调用指令和无条件跳转指令的操作数信息；同时对软件代码进行结构分析，得到所有的被调用子程序集合和被跳转标号集合；(4)根据步骤(3)的提取结果以及结构分析结果，依据步骤(1)中制定的安全性编码规则，判断程序代码中是否存在错误并将判断结果输出。