Applying Static Code Analysis for C++ in the Realm of Safety-Critical Autonomous Driving

Esplorando il concetto di Static Code Analysis, questa tesi mostra le ragioni alla base della sua diffusa adozione nel controllo automatico del codice rispetto agli standard utilizzati nell'industria automobilistica. In particolare viene presentato un confronto tra i risultati prodotti dai "checker" automatici progettati dal candidato e alcuni strumenti commerciali disponibili. Questi "checkers" prodotti dal candidato si basano su Clang, in particolare Clang-Tidy, e hanno come principale obiettivo la riduzione dei falsi positivi. I risultati mostrano come i "checker" prodotti siano, come previsto, meno soggetti a falsi positivi e molto più flessibili, grazie a un ciclo di feedback più breve caratteristico di una soluzione interna rispetto ad una outsourced.