[发明专利]一种验证编译器安全性的方法

权利要求书

1.一种验证编译器安全性的方法，其特征在于：包括以下步骤：

步骤1：根据编译器的应用环境，设置编译器的编译选项；所述编译选项包括优化等级、硬件平台和链接库；

步骤2：确定编码标准，根据编码标准建立验证代码库，所述验证代码库包含应用中所有可能出现的代码结构和这些代码结构的组合；所述代码结构包括数据结构、控制结构、数组长度、参数个数；

步骤3：将验证代码库中的所有代码输入编译器，得到目标汇编码；对源代码和目标汇编码的语法进行走查，确定源代码和目标汇编码是否一致；如果一致，则认为编译器安全，如果不一致，则修改编译器或编码标准。