The check_alu_op function in kernel/bpf/verifier.c in the Linux kernel through 4.4 allows local users to cause a denial of service (memory corruption) or possibly have unspecified other impact by leveraging incorrect sign extension.
git.kernel.org/cgit/linux/kernel/git/torvalds/linux.git/commit/?id=95a762e2c8c942780948091f8f2a4f32fce1ac6f
openwall.com/lists/oss-security/2017/12/21/2
www.securityfocus.com/bid/102288
bugs.chromium.org/p/project-zero/issues/detail?id=1454
git.kernel.org/pub/scm/linux/kernel/git/tip/tip.git/commit/?id=a6132276ab5dcc38b3299082efeb25b948263adb
github.com/torvalds/linux/commit/95a762e2c8c942780948091f8f2a4f32fce1ac6f
usn.ubuntu.com/3619-1/
usn.ubuntu.com/3619-2/
usn.ubuntu.com/3633-1/
usn.ubuntu.com/usn/usn-3523-2/
www.debian.org/security/2017/dsa-4073
www.exploit-db.com/exploits/44298/
www.exploit-db.com/exploits/45010/
www.exploit-db.com/exploits/45058/