verificação estática

Uma verificação automática durante a compilação que pode detectar um bug com base na semântica do código.