Henrique Dos Santos, G. T.; Fondazzi Martimiano, L. A. Uso De Ferramentas De Análise Estática Para Identificar Vulnerabilidades Em Sistemas Operacionais Em C/C++ Para Dispositivos IoT. REIC 2023, 21.