Nowe kierunki w statycznej analizie kodu

Narzędzie Software Analysis Toolset wykryło ponad 2000 błędów w jądrze systemu operacyjnego Linux. Swój sukces zawdzięcza połączeniu kilku nowatorskich metod analizy statycznej opracowanych przez Dawsona Englera. Do najciekawszych należy automatyczne wykrywanie niejawnych reguł przestrzeganych w kodzie źródłowym i ostrzeganie o odstępstwach od tego niepisanego kodeksu jako o potencjalnych błędach. Prezentacja owych metod, okraszona przykładami "z życia systemów operacyjnych", wraz z materiałami, na podstawie których ją przygotowano, zostanie udostępniona na mojej stronie.

Plan prezentacji:

• Statyczna analiza kodu na tle innych metod sprawdzania poprawności programów
• Błędy jako naruszanie reguł
  • specyfikowanych explicite przez programistę w metajęzyku
  • dedukowanych automatycznie z kodu źródłowego
• Optymalizacja kodu dzięki statycznej analizie
• Dynamiczny ranking błędów
• Narzędzie Software Analysis Toolset