支持安全编译算法的高可靠嵌入式C语言编辑器的设计

The Design of Highly Reliable Embedded C Language Editor Supporting Security Compilation Algorithm

使用高可靠的编辑器进行软件设计将从设计源头为嵌入式系统的开发提供更多的安全保障.以支持控制流检测算法的编辑器为例,设计了3个高可靠特色功能模块,实现了编辑器对安全编译扩展语法的识别、对安全编译器控制流检测层编译信息的显示、对语法安全子集的支持;使用动态配置文件的方法实现了对多种高可靠安全编译算法的语法加亮功能.

The software designed by high reliability editors will provide more safety guarantee to the system from its beginning.Based on the example of the editor which supports the control flow detection algorithm,this article designed three high reliable modules with special functions,realized the identification to security compiler expansion grammar,showed compiling information of the control flow testing level of the security compiler and supported grammar security subset,achieved the grammar highlights of a variety of highly reliable security algorithm by using the dynamic profile approach as well.