Ένα εργαλείο λογισμικού που δέχεται ως είσοδο ένα design ή code αναπαράσταση ενός προγράμματος και να παράγει ως έξοδος ένα διάγραμμα ροής του προγράμματος.