Katalog podatności CVE

Podatność na odczyt poza zakresem w komponencie CAN::Application::parsePerformFunctionMessage oprogramowania SpaceDot AcubeSAT OBC pozwala atakującym na spowodowanie odmowy usługi (DoS) poprzez dostarczenie spreparowanej wiadomości CAN.

Przepełnienie stosu w funkcji loadRawData oprogramowania SpaceDot AcubeSAT OBC pozwala atakującym na spowodowanie odmowy usługi (DoS) poprzez dostarczenie spreparowanej wiadomości ECSS TC.

Rocq Prover nie przywraca kopii flagi sprawdzania wszechświata w grafie wszechświatów po zamknięciu modułu, który lokalnie wyłączył to sprawdzanie. Powoduje to rozbieżność między widokami: Test Universe Checking zgłasza sprawdzanie jako włączone, podczas gdy jądro nadal akceptuje termy niespójne z wszechświatami. Umożliwia to zastosowanie paradoksu Hurkensa i udowodnienie fałszu. Brak dostępnej poprawki.

Jądro Lean 4 nie sprawdza, czy ciało deklaracji opaque jest domknięte. environment::add_opaque pomija wywołanie check_no_metavar_no_fvar, które jest wykonywane dla definicji i twierdzeń. Metaprogram może wykorzystać to do zaakceptowania deklaracji opaque z wolną zmienną, co prowadzi do zaakceptowania stałej typu False i udowodnienia dowolnego twierdzenia. Poprawka dostępna w wersji 4.32.2.

Kontroler guard w Rocq Prover nie śledzi wywołań rekurencyjnych przekazywanych przez argumenty własne fixpointu. Fixpoint może przekazać siebie jako argument wyższego rzędu do drugiego fixpointu, który stosuje go do wartości niebędącej podtermem argumentu strukturalnego. To pozwala na zaakceptowanie definicji, która jest definicyjnie równa swojej negacji, co prowadzi do udowodnienia fałszu. Poprawka dostępna w Rocq 9.2.0.

Kontroler guard w Rocq Prover nie ponownie sprawdza reprezentacji drzewa rekurencyjnego parametru typu indukcyjnego po zmianie tego parametru przez transport. Fixpoint może zastosować przepisanie wzdłuż równości między typami do swojego argumentu rekurencyjnego, co jest akceptowane, ale zmienia drzewo rekurencyjne. Drugi fixpoint dziedziczy zmienione drzewo bez weryfikacji, co pozwala na zaakceptowanie wywołania, które nie jest strukturalnie malejące. Prowadzi to do niedeterministycznej definicji i udowodnienia fałszu. Proponowana poprawka nie została scalona.

Kontroler guard w Rocq Prover traktuje parametr zagnieżdżonego wzajemnego fixpointu jako jednolity bez badania wywołań między różnymi ciałami tego fixpointu. Funkcja find_uniform_parameters w kernel/inductive.ml sprawdza tylko wywołania samorekurencyjne, więc gdy żadne ciało nie wywołuje siebie, wszystkie parametry są uznawane za jednolite. Parametr, który rośnie przez wywołanie krzyżowe, zachowuje specyfikację podtermu z otaczającego fixpointu, co pozwala na zaakceptowanie wywołania rekurencyjnego, które nie jest strukturalnie mniejsze. Prowadzi to do niedeterministycznej definicji i udowodnienia fałszu. Wprowadzone w Coq 8.20, poprawione w Rocq 9.2.0.

Dolibarr przed wersją 24.0.0 zawiera podatność na ujawnienie wrażliwych danych w REST API modułu Members. Uwierzytelniony atakujący z uprawnieniami odczytu członków może pobrać weryfikatory haseł bcrypt, odwołując się do endpointów członków. Pola weryfikatorów nie są filtrowane przez serializer API ani klasę Members API, co umożliwia ataki offline na hasła.

Dolibarr przed wersją 24.0.0 zawiera podatność na wstrzykiwanie SQL w REST API użytkowników. Uwierzytelniony atakujący z uprawnieniami odczytu użytkowników może wyodrębnić wrażliwe dane, wstawiając niesanityzowane parametry filtrów do klauzul WHERE bez ograniczeń kolumn. Atakujący mogą przeprowadzić wyszukiwanie binarne na polach numerycznych i iterację prefiksów LIKE na polach tekstowych, aby odzyskać dane płacowe i weryfikatory haseł, a surowe błędy bazy danych umożliwiają enumerację nazw kolumn.

Dell Client BIOS zawiera podatność na niewłaściwe rozwiązywanie dowiązań przed dostępem do pliku („Link Following”). Osoba atakująca z niskimi uprawnieniami i lokalnym dostępem może wykorzystać tę podatność, prowadząc do dowolnego zapisu (Arbitrary Write).

Dell ThinOS 10 w wersjach wcześniejszych niż 2605_10.2518 zawiera podatność nieprawidłowej kontroli dostępu. Atakujący z niskimi uprawnieniami i lokalnym dostępem może wykorzystać tę podatność do nieautoryzowanego dostępu.

Print Assumptions w Coqu nie zgłasza, że definicja została utworzona przy wyłączonym sprawdzaniu wszechświata, gdy definicja dociera do wywołującego przez Parameter Inline w typie modułu. Zastosowanie funktora wstawia ciało parametru, a wstawianie usuwa rekord, że termin został zbudowany przy wyłączonym sprawdzaniu wszechświata, więc wynikowa stała nie nosi śladu niebezpiecznej operacji. Implementacja modułu może zatem udowodnić Fałsz przy użyciu niespójności wszechświata, ujawnić to przez wstawiony parametr, a Print Assumptions zgłosi zależny dowód jako domknięty w globalnym kontekście. Ponieważ Print Assumptions jest audytem w procesie używanym do potwierdzenia, że rozwój opiera się na nieoczekiwanych założeniach, zależność zbudowana w ten sposób przechodzi ten audyt, jednocześnie dowodząc dowolnych twierdzeń. Samodzielny sprawdzacz coqchk odrzuca wynikowy skompilowany plik. Projekt odnotowuje to w dev/doc/critical-bugs.md jako niepoprawiony błąd i ocenia ryzyko jako umiarkowane, gdy coqchk nie jest używany.

Podatność wstrzykiwania poleceń OS w module kontroli rodzicielskiej TP-Link Archer BE3600 V1. Uwierzytelniony atakujący z dostępem administracyjnym może zapisać spreparowaną nazwę profilu zawierającą metaznaki powłoki, które są później niebezpiecznie przetwarzane podczas generowania raportów, co może prowadzić do wykonania dowolnych poleceń.

Niewystarczająca weryfikacja autentyczności danych w kliencie IronVNC w Devolutions Remote Desktop Manager 2026.2.17.0 i wcześniejszych oraz 2026.1.24.0 i wcześniejszych pozwala atakującemu w środku (on-path) na przechwycenie i modyfikację sesji VNC poprzez automatyczną akceptację klucza RSA serwera podczas uwierzytelniania RSA-AES.

Błąd w obsłudze liczb całkowitych w funkcji cobs_decode oprogramowania SpaceDot AcubeSAT OBC pozwala atakującym fizycznie blisko, mającym dostęp do UART, na spowodowanie odmowy usługi (DoS) poprzez spreparowane dane wejściowe.

Podatność na odczyt/zapis poza zakresem w komponencie MessageParser::parseECSSTCHeader oprogramowania SpaceDot AcubeSAT OBC pozwala atakującym na spowodowanie odmowy usługi (DoS) poprzez dostarczenie spreparowanej wiadomości CAN.

Aria2 w wersji 1.37.0 i wcześniejszych jest dotknięty problemem dzielenia przez zero w src/bittorrent_helper.cc, co pozwala zdalnemu złośliwemu użytkownikowi na spowodowanie odmowy usługi.

Dolibarr przed wersją 24.0.0 zawiera podatność na niewłaściwą autoryzację w punkcie końcowym aktualizacji REST API raportów wydatków. Uwierzytelniony atakujący z uprawnieniami do tworzenia wydatków może ominąć proces zatwierdzania, bezpośrednio ustawiając pola statusu zatwierdzenia i tożsamości zatwierdzającego. Atakujący mogą manipulować polami stanu przepływu pracy, aby przesunąć raporty wydatków do statusu zatwierdzonego lub zamkniętego bez posiadania dedykowanego uprawnienia do zatwierdzania, tworząc również niespójności kryminalistyczne w rekordach audytu z powodu braku znaczników czasu zatwierdzenia.

Dolibarr przed wersją 24.0.0 zawiera podatność na niewłaściwą autoryzację w punkcie końcowym aktualizacji REST API użytkowników. Atakujący z uprawnieniami do zapisu użytkowników mogą modyfikować pola płacowe, wykorzystując niekompletną listę zabronionych poświadczeń, która pomija kolumny płacowe. Atakujący mogą przepisać pensję, bonus, stawkę godzinową, stawkę dzienną i tygodniowe godziny dla dowolnego użytkownika bez posiadania uprawnień do płac, a zmodyfikowane wartości pojawiają się w raportach eksportu płac.

Dolibarr przed wersją 24.0.0 zawiera podatność na zepsutą autoryzację na poziomie obiektu w trasach zapisu kont bankowych firm w REST API. Uwierzytelniony atakujący z uprawnieniami do tworzenia podmiotów trzecich może tworzyć, zastępować lub usuwać dane kont bankowych dowolnej firmy bez wymaganego dostępu do odczytu tej firmy. Atakujący mogą wstrzykiwać kontrolowane przez siebie numery IBAN jako konta wierzycieli, które są następnie zapisywane w generowanych plikach SEPA, przekierowując płatności wychodzące na konta atakującego.