Curso

CS 6340 Software Analysis

• 3 créditos
• Curso fundacional
• Se ofrece en verano

Cubre el análisis estático y dinámico de programas, las pruebas aleatorias, la ejecución simbólica y el análisis de flujo de datos.

Nombre en español

Análisis de software

Qué se estudia

• Introducción al análisis de programas.
• Análisis de flujo de datos y de punteros.
• Pruebas aleatorias y ejecución simbólica.
• Análisis declarativo con Datalog.

Cómo se evalúa

Ocho laboratorios con calificador automático y cuestionarios.

Qué conviene saber antes

C o C++ a nivel básico.

Consejos de estudiantes

• Es una electiva libre bien estructurada y de carga moderada.

Cuándo tomarlo

Como electiva libre.

Lenguajes y herramientas

• C++
• LLVM
• Datalog

Cifras aproximadas de reseñas

Son promedios aproximados de reseñas de estudiantes publicadas en OMSCentral y en OMSHub, de manera que cambian de un semestre a otro.