Una herramienta de software que acepta como entrada una representación de código o diseño de un programa y produce como salida un diagrama de flujo del programa.