Description
In the Linux kernel, the following vulnerability has been resolved: fsverity: Fix bpf_get_fsverity_digest() dynptr assumptions The BPF verifier and the dynptr abstraction ensure that the memory space referenced by a dynptr remains valid. They do not, however, provide any guarantee that the contents of the memory are stable. kfuncs are expected to remain memory-safe even if concurrent modifications occur. bpf_get_fsverity_digest() didn't follow that: it could crash if arg->digest_size was concurrently modified. Fix that by using the known-good value hash_alg->digest_size instead. Also widen 'dynptr_sz' and 'out_digest_sz' to u64 to match the return type of __bpf_dynptr_size(). It doesn't appear that it can actually be more than INT_MAX currently (since __bpf_dynptr_data_rw() excludes file-based pointers), but the correct type might as well be used.
Affected products
Version statuses are supplied by the assigning organization. Consult the original record for detailed ranges and platform conditions.
Linux Linux
Default version status: unaffected
67814c00de3161181cddd06c77aeaf86ac4cc584 to < 1344b632cb5043e32939a84568125719111c5af3affected67814c00de3161181cddd06c77aeaf86ac4cc584 to < 2a5cfcad1d56e26d645b7887b0ed24c371851525affected67814c00de3161181cddd06c77aeaf86ac4cc584 to < 5bd63cad9df4328a184c409fbdad4f17944bcdb8affected67814c00de3161181cddd06c77aeaf86ac4cc584 to < 3e8ec7c0387273329374f5c7bd61f5f38af71fe1affected
Linux Linux
Default version status: affected
6.8affected0 to < 6.8unaffected6.12.104 to ≤ 6.12.*unaffected6.18.45 to ≤ 6.18.*unaffected7.1.9 to ≤ 7.1.*unaffected7.2 to ≤ *unaffected