Uma ferramenta de software que aceita como entrada uma representação de design ou código de um programa e produz como saída um fluxograma do programa.