Odebrany

CVE-2026-90246

opublikowano: 17.09.2026, 19:17

modyfikacja: 17.09.2026, 19:17

Ocena CVSS

n/a

Brak oceny

Oficjalne źródła

>_ Opis

Tłumaczenie automatyczne – może zawierać nieścisłości.

W jądrze Linuksa usunięto następującą lukę:

apparmor: napraw przepełnienie liczb całkowitych w sprawdzaniu granic funkcji Verify_tags().

zweryfikować_tags() sprawdza tabelę zestawu tagów rozpakowaną z obiektu BLOB zasad.
Dla każdego zestawu odczytuje liczbę i sprawdza, czy przesuwając indeks o
ta liczba pozostaje wewnątrz sets.table[]:

u32 cnt = tagi->zestawy.tabela[i];

if (i+cnt >= tagi->zestawy.rozmiar) {

i, cnt i sets.size to u32, więc i+cnt jest obliczane modulo 2^32.
sets.table[] jest wypełniane przez unpack_tagsets() z aa_unpack_u32(), więc
każdy wpis to surowe, nieograniczone 32-bitowe słowo pobrane z obiektu blob polityki,
a Verify_tags() to funkcja, która ma to sprawdzić. A
liczba bliska U32_MAX powoduje zawijanie sumy do małej wartości, strażnika
przechodzi, a wewnętrzna pętla następnie przechodzi sets.table[++i] poza koniec
alokacja kcalloc(size, sizeof(u32)).

Zauważ, że sets.size jest ograniczone przez 65535, ponieważ unpack_tagsets() czyta
to za pomocą aa_unpack_array() jako u16, więc zawijanie nie może zostać osiągnięte
uprawa stołu; osiąga się go wyłącznie za pośrednictwem atakującego
liczyć.

Z sets.size = 2 i sets.table = { 0, 0xffffffff }:

i = 0: cnt = 0, strażnik 0 + 0 >= 2 jest fałszywy, pętla wewnętrzna nie działa
i = 1: cnt = 0xffffffff, strażnik (1 + 0xffffffff) mod 2^32 == 0 >= 2 to
false, więc strażnik zostanie pominięty i wewnętrzna pętla odczyta
sets.table[2] -- jeden element po alokacji dwóch elementów

Spacer trwa do momentu, gdy wartość wykraczająca poza zakres wyniesie >=
hdrs.size lub błędy dostępu, więc spreparowana polityka daje
odczyt poza granicami na ścieżce ładowania zasad
(aa_replace_profiles -> aa_unpack -> unpack_policydb -> unpack_tags ->
zweryfikować_tagi). unpack_tags() działa przed tabelami perm i DFA
rozpakowany, więc żaden inny stół nie musi być dobrze uformowany, aby do niego dotrzeć.

Ładowanie zasad jest bramkowane przez funkcję aa_may_manage_policy(), która sprawdza
CAP_MAC_ADMIN w odniesieniu do własnej przestrzeni nazw użytkownika podmiotu, a nie
przestrzeń nazw użytkownika init, więc z wartością domyślną
unprivileged_userns_apparmor_policy=1 ścieżka jest osiągalna z:
nieuprzywilejowanego zadania w zagnieżdżonej przestrzeni nazw na dopasowanym poziomie, nie tylko przez a
globalnie uprzywilejowany.

Wykonaj dodawanie w u64, aby nie mogło się zawijać, przywracając plik
zamierzone i + cnt < gwarancja rozmiaru zestawu.

In the Linux kernel, the following vulnerability has been resolved:

apparmor: fix integer overflow in verify_tags() bounds check

verify_tags() validates the tagset table unpacked from a policy blob.
For each set it reads a count and checks that advancing the index by
that count stays inside sets.table[]:

u32 cnt = tags->sets.table[i];

if (i+cnt >= tags->sets.size) {

i, cnt and sets.size are all u32, so i+cnt is evaluated modulo 2^32.
sets.table[] is filled by unpack_tagsets() with aa_unpack_u32(), so
every entry is a raw unbounded 32-bit word taken from the policy blob,
and verify_tags() is the function that is supposed to validate it. A
count close to U32_MAX makes the sum wrap to a small value, the guard
passes, and the inner loop then walks sets.table[++i] past the end of
the kcalloc(size, sizeof(u32)) allocation.

Note that sets.size is bounded by 65535, because unpack_tagsets() reads
it with aa_unpack_array() as a u16, so the wrap cannot be reached by
growing the table; it is reached purely through the attacker-supplied
count.

With sets.size = 2 and sets.table = { 0, 0xffffffff }:

i = 0: cnt = 0, guard 0 + 0 >= 2 is false, inner loop does not run
i = 1: cnt = 0xffffffff, guard (1 + 0xffffffff) mod 2^32 == 0 >= 2 is
false, so the guard is bypassed and the inner loop reads
sets.table[2] -- one element past a two element allocation

The walk continues until an out-of-bounds value happens to be >=
hdrs.size or the access faults, so a crafted policy yields an
out-of-bounds read on the policy load path
(aa_replace_profiles -> aa_unpack -> unpack_policydb -> unpack_tags ->
verify_tags). unpack_tags() runs before the perms and DFA tables are
unpacked, so no other table needs to be well formed to reach it.

Policy load is gated by aa_may_manage_policy(), which checks
CAP_MAC_ADMIN relative to the subject's own user namespace rather than
the init user namespace, so with the default
unprivileged_userns_apparmor_policy=1 the path is reachable from an
unprivileged task in a matched-level nested namespace, not only by a
globally privileged one.

Perform the addition in u64 so that it cannot wrap, restoring the
intended i + cnt < sets.size guarantee.

>_ Referencje

Dane podatności pochodzą z oficjalnych źródeł (CVE® List / NVD). Opisy po polsku są tłumaczone automatycznie i mogą zawierać nieścisłości – na stronie rekordu można wyświetlić wersję angielską.

This product uses the NVD API but is not endorsed or certified by the NVD.

CVE Usage: MITRE hereby grants you a perpetual, worldwide, non-exclusive, no-charge, royalty-free, irrevocable copyright license to reproduce, prepare derivative works of, publicly display, publicly perform, sublicense, and distribute Common Vulnerabilities and Exposures (CVE®). Any copy you make for such purposes is authorized provided that you reproduce MITRE's copyright designation and this license in any such copy. ALL DOCUMENTS AND THE INFORMATION CONTAINED THEREIN PROVIDED BY MITRE ARE PROVIDED ON AN "AS IS" BASIS, WITHOUT WARRANTIES OR CONDITIONS OF ANY KIND.

NVD Terms of Use / CVE® Terms of Use / nvd.nist.gov / cve.org

<< baza_cve