二进制程序安全缺陷静态分析的方法  

A Method for Static Analysis of Security Defects in Binary Programs

作　　者：彭凌赟 PENG Lingyun(College of Cyberspace Security,Guangzhou University,Gangzhou Guangdong 510006)

机构地区：[1]广州大学网络空间安全学院,广东广州510006

出　　处：《软件》2024年第5期145-148,共4页Software

摘　　要：为确保操作系统的整体安全性与稳定性,提升对二进制程序内部潜在安全威胁的识别与防范能力,本文深入探讨了二进制程序的静态分析方法,概述了二进制安全性的重要性。详细研究了两种主要的二进制程序安全缺陷静态分析方法,一种是基于程序结构的分析,另一种则是侧重于程序语义的解读。本研究为提升操作系统的安全性奠定了坚实基础,也为软件安全领域相关研究提供了新的方法与思路。To ensure the overall security and stability of the operating system and enhance the ability to identify and prevent potential security threats within binary programs,this article delves into the static analysis methods of binary programs and outlines the importance of binary security.Two main static analysis methods for binary program security vulnerabilities were studied in detail,one based on program structure analysis,and the other focused on interpreting program semantics.This study lays a solid foundation for improving the security of operating systems and provides new methods and ideas for related research in the field of software security.

关 键 词：二进制程序 安全缺陷 静态分析 

分 类 号：TP315[自动化与计算机技术—计算机软件与理论]