风河与Coverity合作针对嵌入式软件开发提供安全性开发测试解决方案

来源 :电信技术 | 被引量 : 0次 | 上传用户:shanon0577
下载到本地 , 更方便阅读
声明 : 本文档内容版权归属内容提供方 , 如果您对本文有版权争议 , 可与客服联系进行内容授权或下架
论文部分内容阅读
全球嵌入式及移动应用软件领导厂商风河(Wind River)与开发测试解决方案的全球领导供应商Coverity,近日宣布双方已携手合作,Coverity针对软件安全性的开发测试平台将与风河的嵌入式软件相互整合。Coverity将提供其可用于评估分析的"Coverity Static Analysis"软件版本。
其他文献
为了减缓铝空气电池中铝阳极的自腐蚀及Cl^-的腐蚀,在电解液中添加CeCl3可有效控制铝阳极的腐蚀.采用电化学阻抗谱(EIS),结合铝阳极双层模型,研究了缓蚀剂CeCl3浓度、含有CeCl3电解
针对直接蒸汽加热器出口温度具有非线性、时变性、大滞后等特点,建立了直接蒸汽加热器温控系统的数学模型。提出了一种模糊PID温度控制方案,它将常规PID控制和模糊控制二者优点
早在旧石器时代,洞穴壁画的野兽图像遍布被利器刺伤之痕迹,被认为是行法术以增加狩猎命中率。再到尼安德特人、山顶洞人等的墓葬中,都发现尸骨上撒满红粉及砂石,可能是以血色
为了揭示高速切削过程中切屑形成以及刀具-切屑界面摩擦机理,对剪切区内剪切带及白层进行了微观观察和分析.利用光学显微镜,SEM,电子探针,TEM和X射线衍射等方法对高速切削淬
中国是一个多民族的大家庭,每个民族都有自身的特色。在中国众多的少数民族中,满族永远是一颗闪耀着夺目光辉的明珠。一直以来满族都得到人们的特殊关注,这不仅仅是因为它是
进口大型养路机械设备配件是指在大型养路机械引进后,在使用或周期性维修中需要更换的材料,是大型养路机械正常运转和恢复良好状态的必要保证,配件库存也是设备管理过程中的
在高中阶段语文教学开始逐步具备了一定的深度性,特别是在阅读教学过程中,其自身的特殊性十分明显,为 了有效提高最终教学效果,必须要注重生态课堂的建设以及相关教学方法的
曾经同为“顶流”,如今马保国和丁真的境遇可谓天壤之别。11月28日,哔哩哔哩(B站)发布公告称,发现有些商业机构想利用,自称“浑元形意太极门掌门人”的马保国现象的热度,炒作
期刊
操作系统是计算机系统平台的核心和基础,从操作系统安全策略和安全模型的角度,分析了中国墙模型和Bell-La-padula(BLP)模型之间的区别与联系。为使操作系统有效地支持多种安全