Verifying MISRA C compliance in binary code - Discussion and practical examples
Matteo Fantozzi
Verifying MISRA C compliance in binary code - Discussion and practical examples.
Rel. Alessandro Savino, Stefano Di Carlo, Franco Oberti. Politecnico di Torino, Corso di laurea magistrale in Ingegneria Informatica (Computer Engineering), 2024
|
Preview |
PDF (Tesi_di_laurea)
- Tesi
Licenza: Creative Commons Attribution Non-commercial No Derivatives. Download (1MB) | Preview |
Abstract
The thesis discusses the possibility of verifying MISRA C guidelines in the absence of source code; prototype applications developed to that end are presented as well.
Tipo di pubblicazione
URI
 |
Modifica (riservato agli operatori) |
