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.
Relatori:	Alessandro Savino, Stefano Di Carlo, Franco Oberti
Anno accademico:	2024/25
Tipo di pubblicazione:	Elettronica
Numero di pagine:	43
Soggetti:
Corso di laurea:	Corso di laurea magistrale in Ingegneria Informatica (Computer Engineering)
Classe di laurea:	Nuovo ordinamento > Laurea magistrale > LM-32 - INGEGNERIA INFORMATICA
Aziende collaboratrici:	The University of Tokyo
URI:	http://webthesis.biblio.polito.it/id/eprint/34058

Modifica (riservato agli operatori)