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, Master of science program in Computer Engineering, 2024

Preview

PDF (Tesi_di_laurea) - Thesis
Licence: 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.

Relators

Alessandro Savino, Stefano Di Carlo, Franco Oberti

Academic year

2024/25

Publication type

Electronic

Number of Pages

Course of studies

Master of science program in Computer Engineering

Classe di laurea

New organization > Master science > LM-32 - COMPUTER SYSTEMS ENGINEERING

Aziende collaboratrici

The University of Tokyo

URI

https://webthesis.biblio.polito.it/id/eprint/34058

Modify record (reserved for operators)