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

Crazyflie是Bitcraze售卖的可编程无人机，它被设计成为可被修改的并为其操纵装置和操作系统运行的开源软件。特别是这架无人机使用了FreeRTOS作为其实时的操作系统。 通过CodeSonar运行Crazyflie的代码，发现Crazyflie中的一个故障由应用程序代码中的一个未初始化变量引起，该变量随后被传递到FreeRTOS API。幸运的是，由于应用程序和RTOS的代码均为可用，C

>>阅读原文<<