Reimplementación de Lock-MS usando angr/python3
| Director | SEGARRA FLOR, JUAN |
|---|
| Titulaciones | |
|---|---|
|
Grado en Ingeniería Informática |
| Duracion | 12 créditos |
|---|---|
| Lugar | L2.08 |
| Fecha Alta | 2019-06-18 |
| Fecha Baja | 2020-06-18 |
| 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, disponemos de una implementación del método Lock-MS sobre OTAWA. OTAWA es un marco en C++ para analizar binarios, pero tiene bugs y u |