Seminarium: Systemy Rozproszone
5 grudnia 2013, godzina 12:15,
sala
Charakterystyczna dla programowania w C/C++ jest konieczność ręcznego zarządzania pamięcią. Oznacza to, że programiści mogą popełniać błędy i je popełniają zostawiając wiele, często trudnych do wykrycia, bugów.
AddressSanitizer to szybkie narzędzie wykrywające błędy użycia pamięci w aplikacji. Znajduje on błędy typu użycie wskaźnika po zwolnieniu, przepełnienia bufora lub stosu. AddressSanitizer różni się od dotychczasowych analizatorów osiągnięciem dużej szybkości działania bez poświęcenia jakości analizy.
W trakcie prezentacji omówię technikę analizy z użyciem Shadow Memory oraz sposób działania narzędzi memcheck i AddressSanitizer. Oba narzędzia porównam pod względem wydajności i możliwości. Na końcu pokażę praktyczne wykorzystanie AddressSanitizera.
Zapraszam!
Grzegorz Milka
Bibliografia: