Agenci AI Microsoftu wykryli błędy pamięci w bibliotece popularnego języka programowania

Zespół FORGE Lab Microsoftu znalazł kilka błędów bezpieczeństwa pamięci w bibliotece standardowej popularnego języka programowania. W części przypadków nawet kod napisany wyłącznie w bezpiecznej części języka prowadzi do niezdefiniowanego zachowania. Materiał nie informuje o poprawce. Do wyszukiwania błędów użyto systemu skanowania podatności opartego na AI. Badacze opisują trzy powtarzające się wzorce nadmiernego zaufania w niebezpiecznym kodzie biblioteki. Pierwszy to założenie, że kod nie wywoła paniki. Drugi to założenie, że implementacje dostarczone przez użytkownika są poprawne. Trzeci to założenie, że system pod spodem zachowa się zgodnie z oczekiwaniami.

Kogo dotyczy

Według materiału z oprogramowania napisanego w tym języku codziennie korzystają miliardy ludzi, często o tym nie wiedząc. Język trafia do systemów operacyjnych, środowisk uruchomieniowych i infrastruktury dużych dostawców usług sieciowych. Większość tego oprogramowania opiera się na bibliotekach podstawowych języka, więc błędy w nich mogą mieć skutki daleko poza kodem, w którym powstały.