大规模可变C代码增量式分析方法  

Incremental Parsing Method for Large-scale Variable C Source Code

作　　者：石剑君 刘法旺 计卫星[1] 杨玚[3] SHI Jianjun;LIU Fawang;JI Weixing;YANG Yang(School of Computer Science,Beijing Institute of Technology,Beijing 100081;Ministry of Industry and Information Technology Equipment Industry Development Center,Beijing 100846;China Software Testing Center,Beijing 100086)

机构地区：[1]北京理工大学计算机学院,北京100081 [2]工业和信息化部装备工业发展中心,北京100846 [3]中国软件评测中心,北京100086

出　　处：《软件》2021年第3期79-85,共7页Software

基　　金：2019年工业互联网创新发展工程项目“车联网安全综合服务平台”支持。

摘　　要：提出一种基于头文件复用的大规模可变C代码增量式分析方法。以Linux内核代码为例,首先统计和分析了大规模C代码中的头文件包含情况。然后根据头文件包含顺序,构建C代码分析的头文件加载树。最后,按照头文件加载树增量地分析C代码。实验结果表明,与原有的代码分析方法相比,本方法可以极大地提升大规模可变C代码分析的效率。An incremental code parsing technique for large-scale variable C source code is proposed.Taking the Linux kernel source code as an example,fi rstly,we summarize and analyze the included header fi les in large-scale C source code.Then,header fi le loading trees are built according to the inclusion order of header fi les.Finally,the C source code is parsed incrementally based on the header fi le loading trees.The experimental results show that compared with the traditioanl code parsing methods,our method can greatly improve the effi ciency of large-scale variable C source code parsing.

关 键 词：大规模C代码 可变代码 代码分析 

分 类 号：V211[航空宇航科学与技术—航空宇航推进理论与工程]