[发明专利]基于静态程序分析的源代码编码序列表示方法

权利要求书

1.一种基于静态程序分析的源代码编码序列表示方法，其特征在于，包括：

获取源代码文本；

对所述源代码文本进行转换，以得到所述源代码文本对应的原始抽象语法树；

对所述原始抽象语法树进行精简；

对精简后的原始抽象语法树进行遍历编码，以得到所述源代码文本的编码序列表示，

在所述源代码文本包含头文件申明行时，对所述源代码文本进行转换，以得到所述源代码文本对应的原始抽象语法树包括：对所述源代码文本进行预处理以删除所述源代码文本的所述头文件申明行；采用源代码分析工具解析并导出所述源代码文本对应的原始抽象语法树，

在所述源代码文本不包含头文件申明行时，对所述源代码文本进行转换，以得到所述源代码文本对应的原始抽象语法树包括：对所述源代码文本采用源代码分析工具解析并导出所述源代码文本对应的原始抽象语法树，

对所述原始抽象语法树进行精简包括：结合所述原始抽象语法树节点类型对所述原始抽象语法树的冗余信息进行删除，

所述精简后的原始抽象语法树包括所述原始抽象语法树的树形结构和节点类型，对精简后的原始抽象语法树进行遍历编码，以得到所述源代码文本的编码序列表示包括：对所述精简后的原始抽象语法树的所有节点类型进行顺序编码，以得到所述所有节点类型的类型编码，该类型编码通过每个节点类型前的三个数字标识替换序列化表示中的类型字段；对所述精简后的原始抽象语法树的所有节点从根节点开始进行前序遍历，以得到所述所有节点的遍历顺序；根据所述遍历顺序对所述精简后的原始抽象语法树的所有节点结构进行编码，以得到所述所有节点结构的结构编码，其中，前节点所在层级与前一节点所在层级的差值构成当前节点的结构编码，其中，通过节点层级差替换序列化表示中的层级字段，通过“+”或“-”表示层级差的正负值，通过三位数字编码表示层级差的绝对值；对所述精简后的原始抽象语法树进行全文编码，并根据所述类型编码和所述结构编码对所述前序遍历的节点进行编码，以得到所述源代码文本的编码序列表示，所述编码序列同时包括所述类型编码和所述结构编码。

2.根据权利要求1所述的基于静态程序分析的源代码编码序列表示方法，其特征在于，所述头文件申明行包括“#include”字符串。

3.根据权利要求2所述的基于静态程序分析的源代码编码序列表示方法，其特征在于，所述源代码文本为C语言文本。