Vulnerabilities Summary

Last updated: Nov 13, 2021

We develop techniques to facilitate bug-finding for microcontroller-based systems. The bugs we found so far are maintained in this page.

Bugs that we found (and have been fixed) so far

Target	Bug Details	Affected Vendors or Products	Status
Mbed OS MQTT	1 (details)	ARM Mbed OS	Fixed
Mbed OS CoAP	2 (details)	ARM Mbed OS	Fixed
Mbed OS Client Cli	3 (details)	ARM Mbed OS	Fixed
AWS FreeRTOS MQTT	1 (details)	Amazon FreeRTOS	Fixed
AWS FreeRTOS MQTTv2	1 (details)	Amazon FreeRTOS	Fixed
FreeRTOS FATFS	1 (details)	FreeRTOS	Fixed
LiteOS MQTT	2 (details)	Huawei LiteOS	Fixed
LiteOS LWM2M Client	2 (details)	Huawei LiteOS	Fixed
LwIP	3 (details)	NXP, STMicroelectronics	Fixed
STM PLC	9 (details)	STMicroelectronics	Fixed
uTasker Modbus	5 (details)	uTasker	Fixed
NXP SDK USB Driver	3 (details)	NXP SDK	Fixed
STM SDK USB Driver	10 (details)	STMicroelectronics SDK	Fixed