CodeSonar如何帮助无人机查找软件缺陷？

置顶 于 2020-02-24 18:42:12 发布
阅读量336 收藏
点赞数 1
版权声明：本文为博主原创文章，遵循 CC 4.0 BY-SA 版权协议，转载请附上原文出处链接和本声明。
本文链接：https://blog.csdn.net/weixin_44626372/article/details/104482765
版权

Crazyflie是Bitcraze售卖的可编程无人机，它被设计成为可被修改的并为其操纵装置和操作系统运行的开源软件。特别是这架无人机使用了FreeRTOS作为其实时的操作系统。

在这里插入图片描述通过CodeSonar运行Crazyflie的代码，发现Crazyflie中的一个故障由应用程序代码中的一个未初始化变量引起，该变量随后被传递到FreeRTOS API。幸运的是，由于应用程序和RTOS的代码均为可用，CodeSonar迅速诊断出该故障。

在可免费获取源代码的地方使用RTOS，其优势是可以分析到所有的应用程序，包括对RTOS API的调用。操作系统通常是一个发送参数的黑洞，而静态分析将无法理解会发生什么情况（二进制的CodeSonar也为此提供了解决方案）拥有底层操作系统的源代码具有检测、分析缺陷和漏洞的优势。

详细信息：http://www.softtest.cn/

旋极智能
关注
博客
如何满足医疗设备对安全性和保密性的双重需求？
01-25 349
< CodeSonar 发布最新利用静态分析满足医疗设备对安全性和保密性的白皮书 >与其他行业一样，医疗行业正在迅速走向数字化和自动化。在交换数据或连接传感器的过程中，无线连接变得越来越重要，但这同时也增加了一定的安全风险，比如软件或硬件的故障容易引发潜在的攻击漏洞，形成无法评估的安全隐患，最终威胁患者的生命安全。随着医疗领域研发技术的不断进步，对于医疗设备的合规性相关法规提出了更...
博客
OneSpin 360 DV新版发布，刷新FPGA形式化验证功能体验
01-25 716
360 DV是针对FPGA设计进行功能验证的解决方案。它结合了功能齐全的高性能形式化分析和独特的断言覆盖率评估，消除质量断言生成过程中的猜测，有效提高现有设计和验证流程的生产率。本次更新将为设计团队带来哪些全新体验？一、DV inspect 功能更新● 读写竞争检查说明：如下图所示，仿真结果和上板结果不一致，这是在不同进程中读出和写入信号导致的综合和仿真不匹配问题，现在，OneSpin新增了...
博客
Helix QAC 2020.2新版静态测试工具，最大限度扩展了标准合规性的覆盖范围
11-12 526
最新版本的Helix QAC对静态分析工具的性能和功能进行了许多重大改进，从而确保开发者的软件更加安全，合规和可靠。以下是对Helix QAC最显著新增功能的概述。扩展了C ++，CERT，C Secure，MISRA和AUTOSAR的覆盖范围• 完全支持MISRA C：2012修订版2。• AUTOSAR的覆盖率已提高到91％。• CERT C规则覆盖率已提高到100％。◇ 完全支持CERT C POSIX规则。• CERT C ++覆盖率增加到95％。• ISO / IEC T.
博客
最新版本的CodeSonar改进了功能安全性，支持MISRA，C ++解析和可视化
07-17 937
最新版本的GrammaTech CodeSonar（版本5.3）继续致力于成为静态应用程序安全测试（SAST）的首选提供商,以及成为提高软件内外部安全和软件质量所选择的静态分析工具。该版本具备一些新功能以及兼容性的更新和其他改进。此版本的CodeSonar包括对Android，NetBSD 8，Visual Studio 19，CWE 4.0映射的支持和许多可用性方面的改进。MISRA C / C ++和AUTOSAR C ++ 14CodeSonar 5.3扩展了对MISRA-C，MISRA-C +
博客
ISO 26262 - 基于需求测试以外的考虑因素
06-28 411
随着自动驾驶技术的发展，我们的出行和交通也变得更加便捷，但与此同时汽车电子系统的安全性和可靠性也面临着前所未有的挑战。车辆功能安全标准ISO 26262就在这样的环境和需求下应运而生，而依据ISO 262626标准进行软件开发的需求也在随之增加。在准备和设计阶段，我们除需了解动态测试应满足ISO 26262基于需求的测试以外，我们还需要了解其他哪些内容呢？本课程将主要介绍除基于需求的测试之外，ISO 26262要求在单元和集成测试的目标和测试过程。课程内容包含如何将控制流与数据流验证、等效划分、边界值和.
博客
QAC/QAC++静态软件代码测试分析-试用工具
06-09 2650
原PRQA静态测试软件产品线（包括QAC、 QAC++、QA-Verify等），统一更名为“Helix QAC”,PRQA的代码静态分析工具能够帮助企业开发团队提高代码的质量和安全，缩短软件开发所需的时间，HelixQAC是作为其主打产品目前已广泛应用于汽车、航空航天、电子商务、医疗器械、生产和通信等领域。HelixQAC:HelixQAC是静态代码分析工具，依据C和C++编码规则自动扫描代码对规则的违背。开发团队在开发过程的早期就可以用它来检测缺陷，因为此时修改代码是最方便也最经济的。Helix QA
博客
静态测试工具
05-26 2526
1、HelixQAC — C C++Helix QAC是静态代码分析工具，依据C和C++编码规则自动扫描代码对规则的违背。开发团队在开发过程的早期就可以用它来检测缺陷，因为此时修改代码是最方便也最经济的。Helix QAC因此自动化强制实施代码编程标准，比如MISRA，保证代码的合规性。http://www.softtest.cn/show/41.html2、Klocwork — C C++ C# JavaKlocwork是针对C、C++、C#和Java编程语言的最准确的代码分析器之一。它是现代化
博客
AADL Inspector 故障树安全分析模块
05-15 744
故障树是一种在系统安全性和可靠性研究中应用广泛的工程技术。这种方法，也称为故障树或错误树，是指以图形表示可能发生的使预先定义的不受欢迎的事件发生的组合。所以故障树是由连续的层次构成的，并通过逻辑门联系在一起的事件。通过采用这个表达式和演绎逻辑(从效果到原因)和阅读的布尔式逻辑一是干净的，可以从不受欢迎的事件的起因追溯到基本的、独立的和可预见的事件。为适应AADL建模领域对复杂系统运行安全性的研究应用，Ellidiss发布了AADL Inspector的新功能：故障树安全分析模块。该模块是Ellidss与A
博客
MISRA C:2012规则1.3和C与C++的弱点
04-23 975
MISRA C是安全使用C编程语言的一套准则，主要使用在安全关键的嵌入式系统中。它的许多规则和指令旨在帮助软件开发人员编写更易于理解和维护的代码。软件开发工作需要团队合作，这些编程风格类的规则是重要的，有益于理解源代码。其他规则禁止进行有风险的设计或已知的不良编程行为。编程风格类规则的一个很好的例子是规则5.3“在内部作用域中声明的标识符不应掩盖在外部作用域中声明的标识符”。这显然是一种关...
博客
CodeSonar网络研讨会
04-16 294
想知道如何最大程度地提高软件开发团队的效率吗？加入旋极信息与合作伙伴GrammaTech，一起参加CodeSonar网络研讨会！参会链接：http://256.so/2jf会议信息：结合SAST，Shift Left，Lean和DevSecOps。会议时间：中国时间：2020年4月30日（星期四）晚 23:00开始美国时间：2020年4月30日（星期四）上午11:00开始...
博客
Klocwork 代码静态分析工具
03-25 2340
“借助Klocwork，我们能够比传统的手动分析和测试更快发现可能遗漏的问题。这使我们能够交付出引以为傲的高质量软件，并满足客户的期望。”— SCM系统工程经理Klocwork 简介Klocwork是针对C，C ++，C＃和Java编程语言的最准确的代码分析器之一。它是一款现代化的敏捷静态代码分析工具，可扩展到任何规模的项目，并在DevOps周期内有效运行。此外，它还通过了TÜV-SÜD的功...
博客
OneSpin | 解决IC设计中的硬件木马和安全信任问题
03-09 987
跨越5G，人工智能，物联网和汽车领域的40多个组织表示信任和安全困境至关重要。电子系统越来越多的成为了产品和服务的核心。从发电厂到汽车，医疗设备到飞机，智能手机到家用电器，复杂的电子系统实现了前所未有的自动化，性能，安全和保障水平。集成电路（IC）是电子系统的基础，而最为重要的是，需要确保他们完全按照规范和认证进行操作，在这方面它是值得信赖的。但IC的设计，生产和分配容易受到恶意代理的攻击，这些...
博客
QAC静态代码测试工具试用介绍_c/c++
02-26 4919
原PRQA静态测试软件产品线（包括QA-C、 QA-C++、QA-Verify等），统一更名为“Helix QAC”,PRQA的代码静态分析工具能够帮助企业开发团队提高代码的质量和安全，缩短软件开发所需的时间，HelixQAC是作为其主打产品目前已广泛应用于汽车、航空航天、电子商务、医疗器械、生产和通信等领域。\\HelixQAC:HelixQAC是静态代码分析工具，依据C和C++编码规则自动...
博客
如何满足医疗设备对安全性和保密性的双重需求？
02-25 408
< CodeSonar 发布最新利用静态分析满足医疗设备对安全性和保密性的白皮书 >与其他行业一样，医疗行业正在迅速走向数字化和自动化。在交换数据或连接传感器的过程中，无线连接变得越来越重要，但这同时也增加了一定的安全风险，比如软件或硬件的故障容易引发潜在的攻击漏洞，形成无法评估的安全隐患，最终威胁患者的生命安全。随着医疗领域研发技术的不断进步，对于医疗设备的合规性相关法规提出了更...
博客
智能软件分析平台Embold
01-20 1396
在软件开发过程中，我们经常遇如下实际问题。代码审查非常耗时并且每次审查的提交对整个系统会产生怎样的影响是难以理解的。不完整的信息或过于复杂的代码危及项目进度，重要信息可能会被忽略，从而误导开发工作，造成项目的延迟。在后期的开发中如果修复热点问题，为满足项目最初的预想周期，则有可能导致代码质量的下降。新入职的员工影响团队生产力，高级开发人员需要花费一定时间引领他们快速适应并需为其解释项目范围，因此产...
博客
软件缺陷静态分析 CodeSonar 5.2 新版发布
12-11 1538
对于使用C和C++构建安全关键软件的开发团队而言，CodeSonar一直是首选的静态分析解决方案。在近期发行的版本中，CodeSonar通过使用开放标准来扩展其语言覆盖范围，并增加了对Java、C＃、Objective C和C++、Python以及JavaScript的支持。经过了扩展的CodeSonar可以帮助软件团队执行静态应用程序安全测试（SAST），因此无论是嵌入式还是企业级应用，软件团...
博客
Cantata9.0 | 全 新 功 能
11-11 1171
Cantata 9.0，从2019年10月开始正式发布，它是一个重要的具有全新功能的新版本。此版本引入了对测试驱动开发（TDD）的支持，并增强了Cantata的AutoTest功能，为C ++代码提供了自动测试生成技术。Cantata 9.0还包含许多其他较小的功能增强和修复。发行说明中记录了完整的变更集，包含从4.1版本以来Cantata中的所有变更。最重要的变更突出显示在以下内容。支持测试...
博客
嵌入式系统真正安全了吗？[ OneSpin如何为开发团队全面解决IC完整性问题 ]
11-11 481
吉姆·霍根（Jim Hogan）于2019年9月4日下午12:00提交的IC完整性论文 类别：EDA，Onespin，RISC-V功能验证是减少潜伏在半导体产品中的设计漏洞及其相关风险的一个过程。从历史上看，最终产品的市场细分决定了在功能验证中可投入的资金。但是几年前这个长期存在的方程式灾难性地失败了。失败的原因是在于找不到这些漏洞，其中很大的原因是由于嵌入式软件的使用日益增加。与此同时，功能...
博客
CodeSonar通过创新型静态分析增强软件可靠性
09-30 597
“为了帮助软件开发人员解决当今和未来最具挑战性的软件问题，例如故障和网络攻击，我们专注于静态应用程序安全性测试和静态代码分析。”为进一步提高软件的可靠性，GrammaTech公司正在与美国国土安全部（DHS）合作，并在“静态分析现代化程序（STAMP）”的指导下进行尖端研发。GrammaTech首席执行官Teitelbaum说：“DHS要求我们提供能够为静态分析领域增加具有价值的创新性想法。”三...
博客
嵌入式仿真测试平台的应用
08-01 1700
随着目前大型复杂武器系统的研制和国家重点预研项目任务越来越多，开发与测试工作越来越重。作为智能化装备的核心，嵌入式软件的比重明显加大，开展自动化的嵌入式软件测试工作，已成为提升装备系统研发质量与研发效率的重要工作。目前，装备嵌入式软件的自动化测试，更多的还是依赖代码级别的白盒测试工具；黑盒动态测试还主要是根据不同的装备需求，研发配套的工装系统，测试效率和测试深度都有很大缺陷。主要表现在以下几点：...
评论
添加红包

请填写红包祝福语或标题

个

红包个数最小为10个

元

红包金额最低5元

当前余额3.43元 前往充值 >
需支付：10.00元
成就一亿技术人!
领取后你会自动成为博主和红包主的粉丝 规则
hope_wisdom
发出的红包
实付元
使用余额支付
点击重新获取
扫码支付
钱包余额 0

抵扣说明：

1.余额是钱包充值的虚拟货币，按照1:1的比例进行支付金额的抵扣。
2.余额无法直接购买下载，可以购买VIP、付费专栏及课程。

余额充值