Podatności flatcc

flatcc do wersji 0.6.4 zawiera podatność na przepełnienie liczb całkowitych w funkcji check_header weryfikatora FlatBuffers, ponieważ zabezpieczenie przed przepełnieniem jest martwym kodem. W kompilacjach 32-bitowych atakujący może dostarczyć spreparowany offset bufora, który omija sprawdzenie granic, powodując odczyt poza buforem i awarię procesu.

flatcc do wersji 0.6.4 zawiera podatność na odczyt poza buforem w funkcji __flatcc_json_parser_number, umożliwiającą odczyt poza buforem wejściowym poprzez liczby kończące się kropką dziesiętną. Atakujący może dostarczyć niezaufany JSON kończący się bezpośrednio po kropce dziesiętnej do wygenerowanych parserów, powodując awarię aplikacji, gdy bufor kończy się na niezmapowanej stronie.

W lekserze schematów flatcc (commit 4c3b999e) występuje podatność odczytu poza granicami bufora. Gdy schemat FlatBuffers o dokładnej długości kończy się niezamkniętym cudzysłowem, logika skanowania łańcucha C w funkcji lex() odwołuje się do wskaźnika wejściowego po osiągnięciu końca bufora, co powoduje jednobajtowy odczyt poza stertą.

W lekserze schematów flatcc (commit 4c3b999e) występuje podatność odczytu poza granicami bufora. Gdy bufor schematu FlatBuffers o dokładnej długości kończy się cyfrą, pętla skanowania cyfr całkowitych w funkcji lex() wykracza poza koniec bufora wejściowego i odwołuje się do wskaźnika poza granicami, co powoduje jednobajtowy odczyt poza stertą.

W Dvidelabs flatcc do wersji 0.6.3 stwierdzono podatność wpływającą na funkcję align_order_members w pliku src/compiler/semantics.c w komponencie Duplicate Symbol Handler. Manipulacja powoduje osiągalne asercje (reachable assertion). Atak może być inicjowany zdalnie. Exploit został publicznie ujawniony. Poprawka istnieje: 8b19ba4e992ebcad7f5970704d1afc5507fa5205.

W bibliotece Dvidelabs flatcc do wersji 0.6.3 wykryto podatność w funkcji analyze_struct w pliku src/compiler/semantics.c. Manipulacja danymi prowadzi do osiągalnego asercji (assertion). Atak może być przeprowadzony zdalnie, a exploit został opublikowany.

Podatność znaleziona w Dvidelabs flatcc do wersji 0.6.3. Dotyczy funkcji fb_clear_parser w pliku src/Compiler/semantics.c. Manipulacja prowadzi do wycieku pamięci. Atak może być przeprowadzony zdalnie. Exploit został ujawniony publicznie i może być użyty. Identyfikator poprawki to 8dbc3419738da066151991fd2bf1d0c85591dea2. Zaleca się zainstalowanie poprawki.