In the Linux kernel, the following vulnerability has been resolved:<\/p>\n
bpf: backtrack_insn(): Handle ld_{abs,ind} subprog exit edge<\/p>\n
Nicholas Carlini reported a bug in precision backtracking mechanism
\nfor BPF_LD | BPF_{IND,ABS} instructions. These instructions are
\nmodelled as two branches:
\n– fallthrough;
\n– implicit exit from current subprogram.<\/p>\n
The implicit exit case was not handled by the backtrack_insn()
\nfunction. When backtracking such a path backtrack_insn() did not
\ncall bt_subprog_enter(), which meant that backtracking continued
\nmanipulating precision marks in a caller frame, while looking at
\ninstructions in a callee frame.<\/p>\n
This lead to segmentation faults during verification (see the
\nselftest), or unsound state pruning.<\/p>\n","protected":false},"excerpt":{"rendered":"
In the Linux kernel, the following vulnerability has been resolved:<\/p>\n
bpf: backtrack_insn(): Handle ld_{abs,ind} subprog exit edge<\/p>\n
Nicholas Carlini reported a bug in precision backtracking mechanism
\nf<\/p>\n","protected":false},"template":"","meta":[],"categories":[],"tags":[],"class_list":["post-29240","vuln","type-vuln","status-publish","hentry"],"_links":{"self":[{"href":"https:\/\/www.54iter.cn\/index.php?rest_route=\/wp\/v2\/vuln\/29240","targetHints":{"allow":["GET"]}}],"collection":[{"href":"https:\/\/www.54iter.cn\/index.php?rest_route=\/wp\/v2\/vuln"}],"about":[{"href":"https:\/\/www.54iter.cn\/index.php?rest_route=\/wp\/v2\/types\/vuln"}],"wp:attachment":[{"href":"https:\/\/www.54iter.cn\/index.php?rest_route=%2Fwp%2Fv2%2Fmedia&parent=29240"}],"wp:term":[{"taxonomy":"category","embeddable":true,"href":"https:\/\/www.54iter.cn\/index.php?rest_route=%2Fwp%2Fv2%2Fcategories&post=29240"},{"taxonomy":"post_tag","embeddable":true,"href":"https:\/\/www.54iter.cn\/index.php?rest_route=%2Fwp%2Fv2%2Ftags&post=29240"}],"curies":[{"name":"wp","href":"https:\/\/api.w.org\/{rel}","templated":true}]}}