SML-analyzer es una aplicacion que permite el analisis de tipos de variables y datos tanto en el ambiente estatico como en el ambiente dinamico; orientado a programas escritos en SML