Shape Analysis
Analizy kształtu koncentrujące się na wnioskowaniu o wysoce złożonych właściwościach programów manipulujących stertą są technikami stosowanymi w automatycznej weryfikacji programów o nieskończonym stanie.
Niniejszy przegląd stanowi kompleksowe wprowadzenie do dziedziny analizy kształtu i przedstawia podstawy tematu w sposób przystępny dla czytelników, którzy nie są z nim zaznajomieni. W tym celu autorzy scharakteryzowali istotę analizy kształtu w porównaniu z bardziej klasycznymi analizami wskaźników, a także przedstawili intuicję leżącą u podstaw abstrakcji powszechnie stosowanych w analizie kształtu oraz algorytmów, które pozwalają na statyczne obliczanie skomplikowanych właściwości semantycznych.
Autorzy omawiają główne rodziny abstrakcji i algorytmów analizy kształtu, podkreślają podobieństwa między nimi i charakteryzują główne różnice między najpopularniejszymi podejściami. Wreszcie, autorzy demonstrują wpływ tej dziedziny, opisując kilka innych prac z zakresu analizy statycznej - abstrakcji tablic, abstrakcji słownikowych i analiz międzyproceduralnych - na które wpływ miały idee analizy kształtu.
Naukowcy i studenci, którzy dopiero zapoznają się z koncepcją analizy kształtu, znajdą w tej monografii kompleksowe informacje, które szybko wprowadzą ich we wszystkie aspekty tego tematu. Dzięki kompleksowemu zestawowi odniesień, to przystępne badanie umożliwi czytelnikowi szybkie przyjęcie technik we własnych dalszych badaniach.
