Director: Dr Diego Garbervetsky Jurados: - Nazareno Aguirre. Universidad Nacional de Rio Cuarto - Pedro D'Argenio. Universidad Nacional de Cordoba - Matthew Gertz. Microsoft, Resumen: En esta tesis presentamos el diseño e implementación de una amplia gama de análisis estáticos para la plataforma .NET, con foco en la escalabilidad. [...]