公共文化服务平台

共 1 条记录，以下是 1-1

全选清除导出

排序方式：

一个C语言安全子集的可信编译器被引量：3: 2013年; 以安全关键领域的安全标准为依托、安全相关软件的语言编码和编译要求为指导,进行了以下几方面的研究和探索:首先对形式化验证可信编译技术进行分析研究,特别着重当前广受关注的经过验证的CompCert编译器。然后以我国安全领域C语言安全子集标准《航天型号软件C语言安全子集》为依据构造测试用例、创新测试方法,并以此对CompCert编译器进行测试评估。之后依据测试结果,为CompCert编译器增加未支持的C语言标准特性,裁剪不符合C语言安全子集要求的特性,构建符合C语言安全子集标准的可信编译器。最后的实测结果表明,所实现的编译器符合C语言安全子集标准的要求,且没有降低C代码的执行效率。; 王蕾石刚董渊白晓颖王生原; 关键词：可信计算

全选清除导出

共1页<1>

“核心电子器件、高端通用芯片及基础软件产品”国家科技重大专项(2012ZX01039-004-08-02)