Praca magisterska - analiza statyczna kodu w Eclipse

Statyczna analiza kodu jest zbiorem metod analizy kodu źródłowego lub kodu binarnego. Analiza ta pozwala zebrać informacje o tym co program robi oraz stwierdzić czy pewne kryteria poprawności zostały osiągnięte.
Ogólnie istnieje kilka typów analizy statycznej. Do analizy statycznej kodu zaliczamy zarówno narzędzia typu lint, które odnajdują "niebezpieczne" konstrukcje w kodzie (gdzie informacja ta wyznaczona jest heurystycznie) oraz metody matematycznego dowodzenia poprawności programów.

Narzędzia analizy statycznej jako stały element kompilacji programu pozwalają niewielkim kosztem poprawić jakość oprogramowania.

Na seminarium omówię moją pracę magisterską - plugin umożliwiający analizę statyczną kodu z poziomu edytora Eclipse. Zaprezentuję także konkretne rozszerzenia korzystające z tego mechanizmu, będące implementacją reguł analizujących kod źródłowy.

Plan prezentacji:

• Omówienie platformy Eclipse
• Czym jest statyczna analiza kodu
• Eclipse jako platforma tworzenia aplikacji
• Porównanie technik wyszukiwania błędów
• Omówienie elementów pracy magisterskiej
• Przykłady problemów analizy statycznej i implementacje reguł
• Propozycje na temat referatu dla studentów IV roku