一种基于DSP的机载软件编译过程的自动追溯方法

本发明涉及软件安全性验证技术领域，具体为一种基于DSP的机载软件编译过程的自动追溯方法，包括以下步骤：建立C源代码行与汇编码基本块之间的行级对应关系；对预处理的C源代码进行词法分析，通过EBNF解析和识别语法规则中预定义的各个组成部分。本发明通过内嵌行号插桩技术，在源代码中逐行插入汇编行号桩，再经编译和反汇编处理，建立了源代码行与汇编码基本块之间的精确行级对应关系，实现了自动化的追溯基础，将源代码中的不同语法结构预编译成中间码，并与反汇编得到的汇编操作码进行匹配对照，提取获得最长公共子序列，从而得到追溯结果，不仅避免了人工对比的烦琐和高成本，而且显著提高了追溯的准确性和效率。