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í.
¿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í.
Dirección URL del vídeo
iframe HTML
¿Quiere hacer algún comentario? Comunique un problema aquí.