Henrique Dos Santos GT, Fondazzi Martimiano LA. Uso de ferramentas de análise estática para identificar vulnerabilidades em sistemas operacionais em C/C++ para dispositivos IoT. REIC [Internet]. 29º de maio de 2023 [citado 15º de dezembro de 2025];21(1):74-83. Disponível em: https://journals-sol.sbc.org.br/index.php/reic/article/view/2853