Analisando o fluxo de execução de uma aplicação em C com a ferramenta cflow do projeto GNU.