CVE-2026-116733

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.

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.