Quando a documentação de um programa ou sistema não está
disponível, é suficiente realizar uma engenharia reversa
automática a partir do código-fonte para descobrir quais são as
suas principais funcionalidades e a semântica de suas estruturas
de dados internas mais importantes. Entretanto, os detalhes de
implementação internos a cada funcionalidade não podem ser
revelados ou evidenciados com esse tipo de técnica.