编译前端分析自动构件化代码可靠性加强方法

来源：计算机科学与探索杂志2018年第7期北京时间：

作者：葛红美，徐超，何炎祥

单位：1. 南京审计大学 工学院，南京 2118152. 武汉大学 计算机学院，武汉 430072

摘要：随着嵌入式系统的广泛应用，嵌入式系统可靠性成为关注的焦点。针对嵌入式系统源程序的可靠性进行研究，提出了基于编译前端分析自动构件化代码加强方法。该方法结合构件化开发技术，设计了一种多层次迭代分析的编译器前端分析方法，对源代码与可靠构件的相似度进行计算，自动提取出相似度高的函数到可靠构件的映射关系。然后通过人机交互选择最佳的可靠构件进行映射，以最大程度加强代码的可靠性。实验结果表明，该方法能够找出90%以上与漏洞代码相匹配的可靠构件代码，且平均正确率高达94.5%，对加强代码本身的可靠性具有明显效果。

关键词：可靠性,编译前端分析,构件化,人机交互,嵌入式系统