In the Linux kernel 4.14.x, 4.15.x, 4.16.x, 4.17.x, and 4.18.x before 4.18.13, faulty computation of numeric bounds in the BPF verifier permits out-of-bounds memory accesses because adjustscalarminmaxvals in kernel/bpf/verifier.c mishandles 32-bit right shifts.
[
{
"digest": {
"length": 4581.0,
"function_hash": "178388463808796332644933169887530690860"
},
"source": "https://git.kernel.org/pub/scm/linux/kernel/git/torvalds/linux.git@b799207e1e1816b09e7a5920fbb2d5fcf6edd681",
"deprecated": false,
"id": "CVE-2018-18445-27141fa3",
"signature_type": "Function",
"target": {
"function": "adjust_scalar_min_max_vals",
"file": "kernel/bpf/verifier.c"
},
"signature_version": "v1"
},
{
"digest": {
"threshold": 0.9,
"line_hashes": [
"245037014268933682947781049168267842316",
"212696718975578687275147204795351845926",
"259843750468097260747803700694087747278",
"124201258241825982745350345098458560851",
"66060622373748611929995389487468032723",
"120252956325960826983467760507402448919",
"310089545649776465189190720594914292299"
]
},
"source": "https://git.kernel.org/pub/scm/linux/kernel/git/torvalds/linux.git@b799207e1e1816b09e7a5920fbb2d5fcf6edd681",
"deprecated": false,
"id": "CVE-2018-18445-32d23368",
"signature_type": "Line",
"target": {
"file": "kernel/bpf/verifier.c"
},
"signature_version": "v1"
}
]
"https://storage.googleapis.com/cve-osv-conversion/osv-output/CVE-2018-18445.json"