Analisi delle forme

Titolo originale:

Shape Analysis

Contenuto del libro:

Le analisi di forma, che si concentrano sull'inferenza di proprietà altamente complesse di programmi che manipolano gli heap, sono tecniche utilizzate nella verifica automatica di programmi a stati infiniti.

Questa rassegna fornisce un'introduzione completa al campo dell'analisi di forma e presenta le basi dell'argomento in modo accessibile ai lettori che non hanno familiarità con esso. Per fare ciò, gli autori caratterizzano l'essenza dell'analisi delle forme rispetto alle più classiche analisi dei puntatori, oltre a fornire l'intuizione alla base delle astrazioni comunemente utilizzate nell'analisi delle forme e degli algoritmi che consentono di calcolare staticamente intricate proprietà semantiche.

Gli autori coprono le principali famiglie di astrazioni e algoritmi di analisi delle forme, evidenziano le somiglianze tra di esse e caratterizzano le principali differenze tra gli approcci più comuni. Infine, gli autori dimostrano l'impatto del campo descrivendo alcuni altri lavori di analisi statica - astrazioni di array, astrazioni di dizionari e analisi interprocedurali - che sono stati influenzati dalle idee dell'analisi della forma.

I ricercatori e gli studenti che si avvicinano per la prima volta al concetto di analisi delle forme troveranno in questa monografia uno sportello unico di informazioni che li metterà rapidamente al corrente di tutti gli aspetti dell'argomento. Con una serie completa di riferimenti, questa indagine accessibile consentirà al lettore di adottare rapidamente le tecniche nelle proprie ricerche.