IFA, Iterative Flow Analysis é uma análise combinada de fluxo de dados e controlo de fluxo. É capaz de resolver os tipos de betão (em oposição ao nominal ou tipos declarados) e o gráfico de chamada interprocedural para programas de tipo estático ou dinâmico.
história da versão
- Versão N/A postado em 2006-05-24
Várias correções e atualizações - Versão N/A postado em 2006-05-24
Detalhes do programa
- Categoria: Desenvolvimento > Outros
- Editor: ifa.sf.net
- Licença: Grátis
- Preço: N/A
- Versão: Array
- Plataforma: linux