CodeSonar如何幫助無人機查找軟件缺陷？

Crazyflie是Bitcraze售賣的可編程無人機，它被設計成爲可被修改的併爲其操縱裝置和操作系統運行的開源軟件。特別是這架無人機使用了FreeRTOS作爲其實時的操作系統。 通過CodeSonar運行Crazyflie的代碼，發現Crazyflie中的一個故障由應用程序代碼中的一個未初始化變量引起，該變量隨後被傳遞到FreeRTOS API。幸運的是，由於應用程序和RTOS的代碼均爲可用，C

>>阅读原文<<