Descrição
Fluxos de inspeção de código Ada podem usar a ferramenta gnatinspect da GNATCOLL para análise e compreensão do projeto. É útil para desenvolvedores que mantêm bases Ada e precisam de informações estruturadas sobre relações entre fontes.
Use como auxílio de desenvolvimento e confirme achados com builds e testes. Inspeção estática ajuda na navegação, mas não prova o comportamento em execução.