área de pesquisa Técnicas para identificação de funções de bibliotecas em binários vinculados estaticamente William Akihiro Alves Aisawa