IFA, Iterative Flow Analysis es un análisis combinado de flujo de datos y flujo de control. Es capaz de resolver los tipos de hormigón (a diferencia de la o tipos declarados) y el gráfico de llamadas interprocediales para programas con tipo estático o dinámico.
historial de versiones
- Versión N/A publicado en 2006-05-24
Varias correcciones y actualizaciones - Versión N/A publicado en 2006-05-24
Detalles del programa
- Categoría: Desarrollo > Otro
- Editor: ifa.sf.net
- Licencia: Gratis
- Precio: N/A
- Versión: Array
- Plataforma: linux