五星体育频道高清在线直播

五星体育频道高清在线直播

Synopsys发布Coverity 85 静态分析工具

文章来源:五星体育频道高清在线直播时间:2024-03-27 17:49:19 点击:1

  美国加利福尼亚州山景城,2016年7月11日

  为Ruby和node.js网络应用及Android移动应用引入Coverity静态分析功能

  增加对用于汽车、医疗设施和其他安全关键性行业的MISRA C 2012编码指南的全面支持

  强化开发生命周期集成和报告,包括整合软件完整性平台上多个工具的报告功能

  新思科技(Synopsys, Inc.,纳斯达克股票市场代码:SNPS)日前宣布发布Coverity 8.5,它是Synopsys公司行业领先的静态分析工具,也是其软件完整性平台的核心组件。Coverity是一款自动化软件测试工具,能够分析源代码,以便在软件开发生命周期的早期阶段检测关键的安全漏洞和缺陷。

  Coverity和Synopsys 软件完整性平台上用于促进“软件验收”的工具。“软件验收”是一种旨在确保软件质量和安全性的集成开发和测试方法,它由Synopsys率先研发,用于集成电路(IC)设计。“软件验收”涉及整个软件开发生命周期和软件供应链关键进程点上的一系列自动化测试。

  Coverity 8.5版包括多项重要的更新,能够强化其安全分析和报告功能,并将其可用性扩展到更广泛的受众,包括开发网络和移动应用、汽车软件系统和其他安全关键性系统的团队。

  Coverity 8.5通过增加对Ruby和node.js(用于开发网络应用的两种日益普及的编程语言)的分析功能,强化了Synopsys的企业市场产品。该版本还引入了Android移动应用的功能安全分析,以应对对企业移动安全日渐增长的关注。此外,该版本还强化了对几种支持的编程语言的安全分析,以检测更大范围的漏洞,包括OWASP Top 10、CWE/SANS Top 25等。

  通过增加对MISRA C 2012(一套广泛采用的软件开发指南,用于提升代码的安全性和可靠性)的全面覆盖,Coverity 8.5还强化了Synopsys的汽车产品及其他安全关键性行业产品。这遵循了Synopsys 5月的Coverity ISO 26262认证声明,进一步推进了公司在确保车联网和无人驾驶等新兴行业趋势中的汽车安全性和可靠性方面的工作。

  Synopsys软件完整性部门高级副总裁兼总经理Andreas Kuehlmann表示:“软件漏洞对包括私人银行网络应用开发和汽车嵌入式系统开发在内的各行各业的业务都造成了严重威胁。解决缺陷在开发周期的早期与Coverity等自动化工具是至关重要的。Coverity8.5版提高了工具分析功能的深度和广度,能够更好地满足企业应用安全市场和汽车这种正在面临持续的安全挑战的安全关键性行业的需要。”

  最新版本还为Coverity用户所带来了增强版集成和报告特性,包括对于最新集成开发环境(IDE)版本的更新和支持,以及对于新的“软件完整性报告”的引入。“软件完整性报告”是仪表板量级的报告,它集合了Coverity以及软件完整性平台上包括Defensics®模糊测试工具和Protecode Supply Chain软件合成分析工具在内的其他工具检测到的软件问题。

  为了支持逐步扩大的客户群并拓展亚太地区的软件完整性业务,Synopsys现提供Coverity 8.5的简体中文本地化版本,包括本地化用户界面、报告、IDE插件和文档。

  编辑:王凯 引用地址:Synopsys发布Coverity 8.5 静态分析工具

  根据商业信息提供商IHS Markit最新的无人驾驶汽车销售预测,到2040年,全球将有超过3300万辆无人驾驶汽车销售,这一数字将大大高于2021年预计的51,000辆。   来自IHS Markit的最新分析说明了影响增长的关键市场动态。无人驾驶和 移动服务 (如打车服务)的快速融合是早期部署和增长的主要推动力。最早于2019年,美国将率先在全球范围内初步部署和早日采用生产型无人驾驶汽车,欧洲和中国预计从2021年开始增加相当数量的汽车。“移动即服务”首先将这项技术带到大众面前,然后自主车辆的个人所有权就进入了这个领域。   “第一批 无人驾驶车辆 ——除了改进测试车外——将在 2019 年通过无人出行服务抵达。” IHS M

  一个由工业界和科研界的知名机构组成的德国研究联盟已研发出可实现智能高分辨率LED前照灯的基础解决方案,这将显著改善自适应前照灯系统。该项目的演示模型由项目总负责人 欧司朗 公司与项目合作伙伴戴姆勒公司、弗劳恩霍夫应用研究促进协会、Hella公司和 英飞凌 公司共同研发。演示模型的两只前照灯分别包含三个LED光源,每个LED光源各有1024个可单独控制的光点(像素点)。这在某种程度上预示着前照灯可以针对相应的交通状况,十分精确地进行自适应调节,确保时刻提供最优照明条件,且不会造成其他驾驶员炫目。同时,它能根据每个转弯路段的真实的情况自适应调节灯光,从而消除周边黑暗区域。在车载传感器的辅助下,此款前照灯还可以分析周围环境,照亮来车,这样一来,不仅驾驶

  2017年全球事务的报道中“闪光点”很多,但是专家们认为,在2018年全球事务会出现更多的安全风险隐患,而且每一件都会威胁到民众的安全。   据悉,2017年,由于民用 无人机 质量逐步的提升,价格不断下降,使得ISIS也拥有了空中力量。麻省理工学院的教授丽莎帕克斯在接受新闻采访时表示:“民用无人机便宜、精确、易于操作,可以在隐蔽的地方使用。如果有一天,将无人机发射到一个人口稠密的地区,那么他们轻而易举地就能造成巨大的破坏。无人机平民化将是一个噩梦。”       2017年5月, 谷歌 的 人工智能 程序AlphaGo击败了地球上最优秀的棋手柯洁,中国在2017年7月宣布大举进军AI领域,并称计划在20

  2012年11月16日,德国纽必堡和法国巴黎讯——英飞凌科技股份公司(FSE代码:IFX / OTCQX代码:IFNNY)近日在顶级智能技术展会“2012年智能卡暨身份识别技术工业展”(Cartes 2012)上证实,其面向支付应用的新一代安全产品大获成功。基于凌捷掩膜?技术的安全控制器已在全世界内被大范围的使用在众多关键项目。德国Sparkasse Verlag的银行卡、瑞士的Maestro借记卡和法国的Carte Bancaire卡都将配备英飞凌的全新凌捷掩膜安全控制器。随着产量的提高,这些安全控制器还将被用于其他欧洲国家、美洲以及非洲和亚洲(日本、中国、韩国、印度尼西亚)的项目中。 英飞凌凌捷掩膜安全控制器是基于最

  控制器在全球众多关键项目中得到采用 /

  Flash技术固有的低功耗优势实现业界首款符合AEC-Q100 Grade 1规范的 FPGA Actel公司宣布其低功耗ProASIC3现场可编程门阵列 (FPGA) 系列已获得AEC-Q100 Grade 2 和 Grade 1标准认证,即通过了一系列专为确保汽车应用中半导体器件的质量、可靠性和耐久性的临界压力测试,成功地为汽车制造商提供了可替代昂贵、复杂的ASIC技术的灵活、可靠的解决方案。Actel的 AEC-Q100 Grade 1 ProASIC3器件是业界首款达到这一质量级别的FPGA产品。Actel还宣布支持生产件批准程序 (PPAP),PPAP是汽车行业使用的控制程序,确保用于汽车供应链中的所有部件均拥有详

  华为宣布进军汽车产业已经有一段时间,进展也引人关注。目前华为发布的level 4级别的无人驾驶再一次展现了其技术团队的硬实力。 事件主体: 华为技术有限公司是一家生产销售通信设施的民营通信科技公司,于1987年正式注册成立,总部在中国广东省深圳市龙岗区坂田华为基地。华为是全球领先的信息与通信技术(ICT)解决方案供应商,专注于ICT领域,坚持稳健经营、持续创新、开放合作,在电信运营商、企业、终端和云计算等领域构筑了端到端的解决方案优势,为运营商客户、企业客户和消费的人提供有竞争力的ICT解决方案、产品和服务,并致力于实现未来信息社会、构建更美好的全联接世界。 在华为全联接大会上,华为向外界展示了一系列与汽车相关的技术解决方

  随着道路安全意识的慢慢地增加,人类对于车辆安全技术的要求亦随之提高。在车辆照明领域,如何在夜间使用最合理,最安全的灯光,得到了慢慢的变多的关注。欧司朗中国研发技术团队进一步对SMARTRIX矩阵照明模块进行拓展,在此基础上创新开发了先进的Compact ADB (Adaptive Driving Beam)—— 紧凑型自适应远光系统,有助于充分提升驾乘安全。Compact ADB系统针对中国市场需求来做研发,在满足安全照明功能的同时,其紧凑的结构更为车灯设计带来更多可能。 传统的汽车头灯,包括一些氙气大灯光线耀眼,在夜间会车时极易造成对向车道驾驶者的眩目,为行车安全埋下隐患。相比之下,ADB技术通过视频摄像头信号的输入,判断前方来

  集结号 /

  内存与存储专家美光科技(Micron Technology)正与高通(Qualcomm)合作,开发一种先进的汽车连接解决方案,利用5G网络实现无人驾驶,并实现蜂窝车辆到一切(C-V2X)通信。 高通的Snapdragon汽车5G平台将采用定制的Micron149微米球计数多芯片封装,将使网速比当前的LTE-Advanced调制解调器快20倍。更快的现代速度拓宽了车辆与其他车辆之间,路边基础设施和其他车辆之间连接的可能性。 Snapdragon汽车5G平台集成了C-V2X直接通信技术,旨在提供下一代联网汽车和无人驾驶所需的低延迟、高数据速度和更可靠的蜂窝连接覆盖。美光创建了一个超小的8x9.5mm、149个球计数多芯片

  平台 /

  设计与优化_(美国)

  【瓜分2500元红包】 票选DigiKey\智造万物,快乐不停\创意大赛人气作品TOP3!

  器件内置旋钮开关,IP67密封,介电强度高达5000 VAC,额定功率1 W美国 宾夕法尼亚 MALVERN、中国 上海 — 2024年3月20日 — 日前 ...

  所有关于高分辨率音乐传输和无损音频或空间音频格式的讨论都为时过早。很少有人能分辨出其中的区别除非他们通过高分辨率、固态扬声器聆 ...

  纳芯微推出NSI22C1x系列隔离式比较器,打造更可靠的工业电机驱动系统

  支持更高功率密度的系统模块设计,同时简化外围电路,相比传统分立方案,可将系统保护电路尺寸缩小60%2024年2月21日,上海 纳芯微宣布推 ...

  典型应用包括工业、服务器和电信基础设施电源,和汽车信号调理和电源转换电路2024 年2 月 6 日,中国意法半导体高精度TSZ151运算 ...

  『新品发布』共模重磅推出可替代ADI的AD8655,ADAD8656等系列新产品5V精密CMOS运算放大器

  『共模半导体』重磅推出5V精密CMOS运放GM4500系列新产品,GM4500系列产品是工业应用中噪声最低的精确CMOS 放大器,实现了高直流精度和功耗的 ...

  Ceva 与 THX Ltd. 合作为可听设备、消费产品和移动产品 带来优质空间音频体验

  罗彻斯特电子携手Intelligent Memory提供传统存储解决方案

  【分享成长,10月有奖】EEWORLD优秀主题/回复第15期活动开始啦!!!

  站点相关:数模混合数据转换放大器音响接口电路无线模拟其他技术电子百科综合资讯EMC/EMI模拟资源下载模拟电子习题与教程仙童传奇