Análisis de CFGs usando angr/python3
Director | SEGARRA FLOR, JUAN |
---|
Titulaciones | |
---|---|
Grado en Ingeniería Informática |
Duracion | 12 créditos |
---|---|
Lugar | L2.08 |
Fecha Alta | 2020-02-03 |
Fecha Baja | 2021-02-03 |
Resumen | En los sistemas de tiempo real, uno de los requisitos es conocer el tiempo máximo de ejecución de un programa. Para ello existen métodos ya implementados sobre ciertos entornos. En esencia, estos métodos analizan el CFG (control flow graph) de un ejecutab |
Detalles/Contacto | Trabajo integrado en la línea de investigación de tiempo real del grupo de Arquitectura de Computadores de la UZ (gaZ). Contacto: Juan Segarra, Víctor Viñals, Rubén Gran. {jsegarra,victor,rgran}@unizar.es |