Episodio

Análisis de código con inferencia#

¿Quiere detectar errores de confiabilidad y seguridad antes de enviarlos? Matthew Jin y Xiaoyu Liu muestran Infer#, una herramienta de análisis estático que puede usar para validar la corrección del código fuente sin necesidad de ejecutarlo. 

Obtenga más información sobre Infer# aquí