面向国产处理器的编译检测技术研究

来源 :西华师范大学 | 被引量 : 0次 | 上传用户:zuozqzq7013
下载到本地 , 更方便阅读
声明 : 本文档内容版权归属内容提供方 , 如果您对本文有版权争议 , 可与客服联系进行内容授权或下架
论文部分内容阅读
随着我国国防、航空等领域的飞速发展,高性能自主可控的软、硬件已经成为我国自主化信息产业发展的必备技术。对一个国家而言,自主可控的信息系统是非常重要的。国防、航天航空领域信息自主化必须构筑于安全关键系统之上,而国产龙芯处理器在国产信息化的道路上发挥着重要作用,其性能的发挥需要系统核心软件的全力配合。作为系统核心软件之一的编译器的重要性已提升至信息产业前列,是确保安全关键系统能否正常运行的关键。以国防科工委公布的《航天型号软件C语言安全子集》作为安全检测技术的标准,构造符合规范的测试用例,对LonGcc编译器进行改造、升级。最后实测表明,所构造的编译器符合《航天型号软件C语言安全子集》标准,并且没有增加执行时的开销。本文主要进行了以下的工作:(1)通过对比三种编译器Gcc,CompCert,Clang对《航天型号软件C语言安全子集》的支持程度选取了Gcc4.9.3作为基准编译器,在此基础上构造安全编译器LonGcc。分析《航天型号软件C语言安全子集》规则并结合LonGcc实际需求实现了安全子集的等级划分策略。(2)对词法分析、语法分析涉及到的主要函数和流程进行分析,并分析了Gcc中重要数据结构,对Gcc中重要树节点进行分析说明。(3)采取移植Gcc前端的方法,添加安全检测开关fsafe_c,扩展Gcc前端中的词法分析、语法语义分析部分实现了基于《航天型号软件C语言安全子集》的安全编译器LonGcc。(4)对LonGcc编译器进行安全性测试,根据《航天型号软件C语言安全子集》的规则要求,为每条规则编写了大量的测试用例来验证其正确性,通过与商业测试软件工具Testbed的对比,证明LonGcc编译器具有可靠性和实用性。
其他文献
<正>洋河是一个古老而年轻的企业,说她古老,是因为她有着上千年的古老技艺,一代代老匠人薪火相传;说她年轻,是因为她有一颗与时俱进的匠心,在时代的发展变革中日新月异,这种
通过将Morlet母小波基函数作为神经网络隐含层神经元的激励函数,构建了Morlet小波神经网络,对网络结构进行了隐含层节点的优化,对股票收盘价的变化进行仿真和预测,实验结果表
印度是中国周边最重要的邻国之一,中印关系是中国经略周边必须重点考虑的一对双边关系。在两国双边关系的互动中,认知因素起到了重要的作用。认知是行为的起点。围绕对中国的
商鞅变法的深远影响是与其变法改革的前提条件密不可分的 ,对这一问题作进一步探讨和研究 ,势必有利于加深我们对秦国统一天下的了解 ,增强我们对封建社会本质的认识。商鞅变
婴幼儿早期的社会情绪能力可以有效预测其人际关系、问题解决能力,学习和情绪行为问题,甚至可以预测其今后的人格发展。笔者以天津123名12-36月龄婴幼儿为研究对象,采用幼儿
广西乐业县生态环境良好,旅游资源丰富,具有旅游发展优势,而且目前面临着许多难得的发展机遇。但乐业县在发展旅游业的过程中还存在着诸多问题,例如基础设施薄弱、缺乏专门的
数学教学应融数学于生活,引导学生利用数学概念或数学方法解决生活问题,引导学生在实践中解决问题,从而使数学与生活在某种程度上产生交集.
在贯彻科学发展观和建设环境友好型社会的今天,进行环境友好型经营是企业长期生存和发展的重要战略。对于不同产业来说,环境经营的要素和课题各不相同。
目的:研究杏叶防风挥发油的化学成分.方法:水蒸气蒸馏法提取挥发油,利用GC-MS-计算机联用仪定性分析,按峰面积归一化法,求出挥发油中化学成分的百分含量.结果:鉴定出36个化合