Fluxo de controle e de dados

…ação (na análise da documentação), e a engenharia de um analisador de código estático sólido que seja sensível ao fluxo de dados, mantenha referências de parâmetros mais longas em todo o código da API, e que seja capaz de executar simbolicamente as diversas bibliotecas e frameworks utilizados pela API (na análise estática).