【摘 要】
：
编写健壮、可靠的C程序对程序员有着很高的要求。一个较好的办法是要有一个针对安全性的C语言编程规范。国外对C语言安全性研究比较先进的组织是MISRA标准,MISRA标准描述
【机 构】
：
电子科技大学电子科学技术研究院 成都611731
【出 处】
：
综合电子系统技术教育部重点实验室暨四川省高密度集成器件工程技术研究中心2012学术年会
论文部分内容阅读
编写健壮、可靠的C程序对程序员有着很高的要求。一个较好的办法是要有一个针对安全性的C语言编程规范。国外对C语言安全性研究比较先进的组织是MISRA标准,MISRA标准描述了软件开发过程中所有应该使用的方法集,这个方法集用来告诉程序员如何降低程序的安全隐患。目前,MISRAC标准已经被许多高安全领域所接纳,成为非常有影响力的安全代码标准。本文针对MISRA标准的特性进行研究,提出了一种基于MISRA安全子集的静态代码检测的方法。
其他文献
自改革开放以来,社会主义市场经济在不断完善和发展.国企体制改革也在不断推进,国有企业经济效益和资产规模得到了革新,国企思想政治工作也在不断实现变革与发展,为国有企业
随着移动智能终端的发展，原本只能在PC平台实现的流媒体应用也逐渐在移动平台得到了应用。由于移动平台的特殊性，必须对其进行针对性设计才能充分发挥其功能。本文就首先对
现阶段,国内早已步入数据信息时代,大数据已经不断融入国内各个领域及行业中.事业单位决定着中国将来发展与建设,基于大数据视域下,事业单位人力资源管理应该实施系统且科学
工商管理的综合性较强,不仅以人力资源学、管理学、组织行为学等作为理论基础,还要结合现代管理理念,因地制宜,通过实际的管理手段实现有效的企业管理.它的针对性较强,一个优
集成电路在设计或制造过程中会受到硬件木马的攻击，芯片与硬件的安全性也受到威胁。硬件木马技术逐渐受到重视，已成为当今一个新的研究热点。传统的检测方法存在各种各样的
供电可靠不仅是当前电力部门的重要任务之一,也是保障人们正常生产生活的基本条件.本文首先就当前配电网带电作业的概况进行简单阐述,随之分别从环境保障、技术措施和组织措
广义旁瓣消除器(Generalized Side lobe Canceller,GSC),是自适应波束形成中一种广泛使用的算法。在自适应噪声抵消器的基础上可以适当选择阻塞矩阵来估计辅助通道噪声提
本文提出了一种使用视频实时监控仪器仪表的方法。针对智能仪表监控中一个摄像机监控多个仪器仪表，导致获得的图像分辨率低，有严重光晕的情况，本文提出了一种新的图像增强方
3G时代，多媒体业务以动态为主，流媒体技术也就显得格外重要。由于Android自带的编解码库支持的格式比较少，将FFmpeg移植到Android系统中，能够增加Android系统支持更多的编解
本文针对如何降低制造业中物资采购成本展开充分探讨,简要阐述了制造业中降低物资采购成本对企业的作用,主要探讨了两个方面具体措施:准确掌握采购价格以及合理采购制造物资.