Buenas,
Adjunto va el práctico sobre KLEE.
Basicamente tienen un programa que lee una base de datos, hace ciertas
validaciones sobre los datos que hay en la misma e imprime una lista
de usuarios y contraseñas que está almacenado adentro.
Hay dos consignas y pueden elegir hacer la que les parezca más simple,
más entretenida o ambas (que sería el equivalente a llevarle una
manzana al profe):
1) Modificar el archivo de forma que genere un Segmentation Fault (hay
un bug introducido aproposito pero si encuentran algun otro tambien
sirve). Deberán entregar el codigo fuente modificado para que KLEE
encuentre este bug automaticamente, el testXXXXX.ktest del caso y la
userlist.db modificada que demuestra el bug.
2) Modificar alguno de los usuarios existentes en la DB para que tenga
un nombre de usuario nuevo (NO es valido simplemente intercambiar las
posiciones de dos usuarios de la DB, debe ser un nombre de usuario
NUEVO). El programa debe ser funcional luego de modificar la DB, es
decir, no debe fallar ninguno de los chequeos de seguridad que hace el
sistema. Nuevamente deberán presentar el codigo fuente modificado para
que KLEE genere este caso automaticamente, el testXXXXXX.ktest del
caso y la userlist.db modificada para mostrar este nuevo usuario.
Para realizar este práctico cuentan hasta el Lunes de la otra semana
(Lunes 22 de Octubre).
Como siempre, cualquier duda por favor lo envian a la lista o a mi
personalmente.
Saludos!
pablo.
