[发明专利]机载软件中目标代码到源代码的验证分析系统及设备

说明书

本申请提供了一种机载软件中目标代码到源代码的验证分析系统，具体的，第一代码模块根据第一目标代码通过反汇编得到第一汇编代码，根据第一汇编代码进行反编译得到第一C代码；关系映射模块将第一C代码与源代码进行对比，得到源代码变量名之间的对应关系；根据对应关系，结合第一汇编代码，得到源代码变量名与汇编代码的指令中逻辑地址的关系映射表；第二代码模块根据第二目标代码通过反汇编得到第二汇编代码；根据关系映射表对汇编代码进行反编译，得到第二C代码；第一验证分析模块将第二C代码与源代码进行对比，得到第一验证结果。本申请解决了IDA Pro不能对COFF格式文件进行反编译的缺陷，提供了新的可执行目标代码到源代码可追溯性验证思路。

技术领域

本申请属于机载软件适航认证技术领域，具体地，涉及一种机载软件中目标代码到源代码的验证分析系统及设备。

背景技术

随着机载控制系统技术的飞速发展，保证机载软件的可靠性、鲁棒性和自适应性已成为当务之急。机载软件的失效会导致财产和生命安全的灾难性损失。对于机载系统来说，最重要的是保证其安全性。这就要求机载软件必须经过严格的安全认证，意味着在机载软件开发过程中每一阶段产生的软件制品都需要满足安全认证目标。RTCA在1992年发布了DO-178C适航认证标准，用以说明软件生命周期，并指导机载软件的开发和验证流程。随着软件规模的不断增大，机载软件的复杂程度也在持续性的增长，软件中所涉及的构件、模块、接口等的数量也越来越多，使得软件故障的可能性逐渐增长，也为机载软件的安全性分析与验证带来重重阻碍。近年来，机载软件的代码行数也呈指数级增长。比如，美军F-35战斗机的机载的嵌入式软件代码高达1000万行，波音787的飞行控制系统的代码量，也超过1000万行。

目前，可执行目标代码EOC(Executable Object Code)的验证主要通过测试来执行，并且可以通过DO-178C标准中的评审和分析来协助。形式化分析可以取代EOC的部分测试工作，但还是需要在目标硬件中执行测试，以确保目标计算机中的软件满足DO-178C标准要求。

发明内容

本发明提出了一种机载软件中目标代码到源代码的验证分析系统及设备，旨在解决了IDA Pro不能对COFF格式文件进行反编译的缺陷，提供了新的可执行目标代码到源代码可追溯性验证思路。

根据本申请实施例的第一个方面，提供了一种机载软件中目标代码到源代码的验证分析系统，具体包括：

第一代码模块：用于根据第一目标代码通过反汇编得到第一汇编代码，根据第一汇编代码进行反编译得到第一C代码；

关系映射模块：用于将第一C代码与源代码进行对比，得到源代码变量名之间的对应关系；根据对应关系，结合第一汇编代码，得到源代码变量名与汇编代码的指令中逻辑地址的关系映射表；

第二代码模块：用于根据第二目标代码通过反汇编得到第二汇编代码；根据关系映射表对第二汇编代码进行反编译，得到第二C代码；

第一验证分析模块：用于将第二C代码与源代码进行对比，得到第一验证结果。

在本申请一些实施方式中，第一目标代码为ELF格式或者PE格式的目标代码。

在本申请一些实施方式中，第一代码模块具体用于：

根据源代码编译得到第一目标代码，第一目标代码为ELF格式目标代码；

根据ELF格式目标代码通过IDA Pro进行反汇编，得到第一汇编代码；

根据第一汇编代码通过Hex-Rays Decompiler插件进行反编译，得到第一C代码。

在本申请一些实施方式中，第二目标代码为COFF格式的目标代码。

在本申请一些实施方式中，第二代码模块具体用于：

根据第二目标代码通过IDA反汇编得到第二汇编代码；