论文部分内容阅读
从安全性角度提出80x86汇编语言程序的编码规则。通过分析航天型号典型案例，依据型号软件的应用特点，从代码结构、指令使用、中断控制、算法设计等角度对安全性编码规则进行分类，提出具体要求。设计了对应规则的检查方法和检查工具，采用静态分析方法，从软件源代码中提取安全性规则的相关元素，判断代码与规则的符合性，实现规则自动检查。