{"id":6958,"date":"2011-05-27T10:56:01","date_gmt":"2011-05-27T08:56:01","guid":{"rendered":"http:\/\/www.devapp.it\/wordpress\/?p=6958"},"modified":"2011-05-27T10:56:29","modified_gmt":"2011-05-27T08:56:29","slug":"xcode-4-scopriamo-come-possiamo-usare-lanalizzatore-statico-per-trovare-alcuni-bug-nel-nostro-codice","status":"publish","type":"post","link":"https:\/\/www.devapp.it\/wordpress\/xcode-4-scopriamo-come-possiamo-usare-lanalizzatore-statico-per-trovare-alcuni-bug-nel-nostro-codice\/","title":{"rendered":"Xcode 4: scopriamo come possiamo usare l’analizzatore statico per trovare alcuni bug nel nostro codice"},"content":{"rendered":"

\"Xcode-4-devAPP-icona\"<\/a> Alcuni anni fa, durante la tesi universitaria, mi ero occupato di analisi statica, un argomento che mi \u00e8 sempre stato a cuore. Ma di che cosa si tratta?<\/p>\n

L’analisi statica<\/strong>, in generale, \u00e8 una tecnica automatica che deduce dei risultati \u201cinteressanti\u201d dallo studio del codice del programma, sia esso il codice sorgente, il bytecode, il codice oggetto, o qualunque altra rappresentazione intermedia generata dal compilatore. L\u2019analisi statica normalmente \u00e8 eseguita appena prima della fase di compilazione, per questo si dice che \u00e8 eseguita a compile time. Essa si contrappone alle analisi dinamiche compiute a run time, cio\u00e8 durante l\u2019esecuzione del programma.<\/p>\n

Senza dilunguarci troppo, la cosa fondamentale da comprendere \u00e8 che l’analisi statica permette di raccogliere informazioni riguardo al comportamento di un programma in fase di esecuzione senza che questo venga realmente eseguito. Essa \u00e8 adoperata per moltissimi scopi: dai compilatori per generare codice pi\u00f9 performante e compatto, ai sistemi (come quello che vediamo in questo articolo) che permettono di ricercare in automatico dei bug nei codici sorgente.<\/p>\n

A partire dalla versione 3.2, \u00e8 stato integrato in Xcode un analizzatore statico open source di alta qualit\u00e0 denominato Clang Static Analyzer<\/strong>. Esso, collegandosi al front end Clang del compilatore LLVM, permette di trovare alcuni problemi nei file sorgente C e Objective C direttamente a compile time (quindi senza dover eseguire il programma), mostrandoli in modo analogo ai warning o agli errori di compilazione:<\/p>\n


\n\"XCode-4-analizzatore-statico-01\"<\/a>
\n<\/center><\/p>\n

In questo articolo vedremo come sfruttare questo potente strumento e, soprattutto, che cosa possiamo aspettarci da lui.<\/p>\n

Come faccio a lanciare Clang Static Analyzer sul mio codice?<\/h4>\n

Niente di pi\u00f9 semplice. In Xcode 4 basta scegliere Product > Analyze:<\/p>\n


\n\"XCode-4-analizzatore-statico-02\"<\/a>
\n<\/center><\/p>\n

L’analizzatore statico \u00e8 davvero ben integrato in Xcode: non dobbiamo usare un tool separato e possiamo richiamarlo con una singola scorciatoia da tastiera (\u21e7\u2318B). Inoltre:<\/p>\n