In the Linux kernel, the following vulnerability has been resolved:
bpf: Fix wrong reg type conversion in release_reference()
Some helper functions will allocate memory. To avoid memory leaks, the verifier requires the eBPF program to release these memories by calling the corresponding helper functions.
When a resource is released, all pointer registers corresponding to the resource should be invalidated. The verifier use releasereferences() to do this job, by apply _markregunknown() to each relevant register.
It will give these registers the type of SCALARVALUE. A register that will contain a pointer value at runtime, but of type SCALARVALUE, which may allow the unprivileged user to get a kernel pointer by storing this register into a map.
Using _markregnotinit() while NOT allowptrleaks can mitigate this problem.
{ "vanir_signatures": [ { "signature_version": "v1", "signature_type": "Function", "target": { "file": "kernel/bpf/verifier.c", "function": "release_reference" }, "deprecated": false, "digest": { "length": 310.0, "function_hash": "86970995712284073911234276435896911262" }, "id": "CVE-2022-49873-22cc2dcb", "source": "https://git.kernel.org/pub/scm/linux/kernel/git/stable/linux.git@ae5ccad6c711db0f2ca1231be051935dd128b8f5" }, { "signature_version": "v1", "signature_type": "Line", "target": { "file": "kernel/bpf/verifier.c" }, "deprecated": false, "digest": { "line_hashes": [ "58602515168108372695441352858311197430", "329079171812386360491761994686936596223", "6762055477635818335044629353497163876", "328077743567977203175428156740805248714", "137721301392252032070799853269334686346" ], "threshold": 0.9 }, "id": "CVE-2022-49873-4299e293", "source": "https://git.kernel.org/pub/scm/linux/kernel/git/stable/linux.git@f1db20814af532f85e091231223e5e4818e8464b" }, { "signature_version": "v1", "signature_type": "Line", "target": { "file": "kernel/bpf/verifier.c" }, "deprecated": false, "digest": { "line_hashes": [ "58602515168108372695441352858311197430", "329079171812386360491761994686936596223", "6762055477635818335044629353497163876", "328077743567977203175428156740805248714", "137721301392252032070799853269334686346" ], "threshold": 0.9 }, "id": "CVE-2022-49873-61213c6e", "source": "https://git.kernel.org/pub/scm/linux/kernel/git/stable/linux.git@cedd4f01f67be94735f15123158f485028571037" }, { "signature_version": "v1", "signature_type": "Line", "target": { "file": "kernel/bpf/verifier.c" }, "deprecated": false, "digest": { "line_hashes": [ "58602515168108372695441352858311197430", "329079171812386360491761994686936596223", "6762055477635818335044629353497163876", "328077743567977203175428156740805248714", "137721301392252032070799853269334686346" ], "threshold": 0.9 }, "id": "CVE-2022-49873-868e9f4d", "source": "https://git.kernel.org/pub/scm/linux/kernel/git/stable/linux.git@466ce46f251dfb259a8cbaa895ab9edd6fb56240" }, { "signature_version": "v1", "signature_type": "Function", "target": { "file": "kernel/bpf/verifier.c", "function": "release_reference" }, "deprecated": false, "digest": { "length": 310.0, "function_hash": "86970995712284073911234276435896911262" }, "id": "CVE-2022-49873-8eacb055", "source": "https://git.kernel.org/pub/scm/linux/kernel/git/stable/linux.git@cedd4f01f67be94735f15123158f485028571037" }, { "signature_version": "v1", "signature_type": "Function", "target": { "file": "kernel/bpf/verifier.c", "function": "release_reference" }, "deprecated": false, "digest": { "length": 310.0, "function_hash": "86970995712284073911234276435896911262" }, "id": "CVE-2022-49873-99e5af3e", "source": "https://git.kernel.org/pub/scm/linux/kernel/git/stable/linux.git@466ce46f251dfb259a8cbaa895ab9edd6fb56240" }, { "signature_version": "v1", "signature_type": "Function", "target": { "file": "kernel/bpf/verifier.c", "function": "release_reference" }, "deprecated": false, "digest": { "length": 310.0, "function_hash": "86970995712284073911234276435896911262" }, "id": "CVE-2022-49873-ca33553f", "source": "https://git.kernel.org/pub/scm/linux/kernel/git/stable/linux.git@f1db20814af532f85e091231223e5e4818e8464b" }, { "signature_version": "v1", "signature_type": "Line", "target": { "file": "kernel/bpf/verifier.c" }, "deprecated": false, "digest": { "line_hashes": [ "58602515168108372695441352858311197430", "329079171812386360491761994686936596223", "6762055477635818335044629353497163876", "328077743567977203175428156740805248714", "137721301392252032070799853269334686346" ], "threshold": 0.9 }, "id": "CVE-2022-49873-cdebc8e4", "source": "https://git.kernel.org/pub/scm/linux/kernel/git/stable/linux.git@ae5ccad6c711db0f2ca1231be051935dd128b8f5" } ] }