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