Sulla costruzione automatica di flow-charts

In questa nota si descrivono alcune esperienze fatte a proposito del seguente problema. Supponiamo di avere un programma che funziona su di un certo elaboratore e di non disporre di alcuna documentazione; è possibile partendo dalla rappresentazione binaria interna del programma fornire una qualche forma, una qualche documentazione? E' possibile salire a cosa il programma fa, ricostruire cioè una descrizione dell'algoritmo che esso rappresenta? Il problema può avere soluzione e può adirittura diventare insolubile in quanto dipende da un certo numero di parametri che non sempre è facile ricavare.