A Points-to-Sensitive Model Checker for C Programs in IoT Firmware

Autor:	Yinbo Yu, Jiajia Liu, Dejun Mu
Rok vydání:	2022
Předmět:	Computer Networks and Communications Hardware and Architecture Signal Processing Computer Science Applications Information Systems
Zdroj:	IEEE Internet of Things Journal. 9:18998-19011
ISSN:	2372-2541
DOI:	10.1109/jiot.2022.3163383
Databáze:	OpenAIRE
Externí odkaz:	https://explore.openaire.eu/search/publication?articleId=doi_________::0f81cb29eeaf170a6f00669e390fef09 https://doi.org/10.1109/jiot.2022.3163383 Zobrazit plný text záznamu