Implementada a análise semântica das bibliotecas e das chamadas de função