LLVM a jakość i bezpieczeństwo oprogramowania

Wykład poprowadzi Inga Rüb a oto krótki opis prezentacji:

Temat:

LLVM a jakość i bezpieczeństwo oprogramowania

Zyskujący coraz większą popularność kompilator LLVM to efekt olbrzymiego, open-source'owego przedsięwzięcia. Jego infrastruktura obejmuje http://m.in . front-end dla języków z rodziny C (Clang), wsparcie dla OpenMP i liczne mechanizmy optymalizacyjne.

Zarówno innowacyjność zaimplementowanych rozwiązań, jak i nowoczesna architektura sprawiają, że LLVM w wielu aspektach wyprzedza swojego GNU-odpowiednika. Użytkownicy wśród zalet LLVM najczęściej wymieniają czytelność komunikatów o błędach, szybkość kompilacji, czy też łatwość wprowadzania własnych zmian. Podczas najbliższego spotkania przekonamy się, że LLVM błyszczy na tle konkurencji jeszcze w jednej ważnej dziedzinie: bezpieczeństwa aplikacji.

Przeanalizujemy przykładowe ataki na oprogramowanie i nauczymy się, jak zminimalizować szansę ich powodzenia dzięki zastosowaniu automatycznych narzędzi LLVM.

Zostaną omówione wybrane komponenty kompilatora, które umożliwiają programiście http://m.in .:

• dokonywanie diagnostyki,

• zaawansowaną instrumentalizację,

• wykrywanie typowych luk i błędów.