[linux] 01/01: Correct error in description of "bpf/verifier: Fix states_equal() ..."

[debian-kernel at lists.debian.org]

This is an automated email from the git hooks/post-receive script.

benh pushed a commit to branch stretch-security
in repository linux.

commit ad775f6ff7eebb93eedc2f592bc974260e7757b0
Author: Ben Hutchings <ben at decadent.org.uk>
Date:   Sat Dec 23 03:00:55 2017 +0000

    Correct error in description of "bpf/verifier: Fix states_equal() ..."
    
    The upstream fix is definitely post-4.14, probably "bpf: don't prune
    branches when a scalar is replaced with a pointer" (I didn't bisect).
---
 ...ifier-fix-states_equal-comparison-of-pointer-and-unknown.patch | 8 ++++----
 1 file changed, 4 insertions(+), 4 deletions(-)

diff --git a/debian/patches/bugfix/all/bpf-verifier-fix-states_equal-comparison-of-pointer-and-unknown.patch b/debian/patches/bugfix/all/bpf-verifier-fix-states_equal-comparison-of-pointer-and-unknown.patch
index df70aee..eec2090 100644
--- a/debian/patches/bugfix/all/bpf-verifier-fix-states_equal-comparison-of-pointer-and-unknown.patch
+++ b/debian/patches/bugfix/all/bpf-verifier-fix-states_equal-comparison-of-pointer-and-unknown.patch
@@ -7,10 +7,10 @@ pointer leaks are allowed.  Therefore, states_equal() must not treat
 a state with a pointer in a register as "equal" to a state with an
 UNKNOWN_VALUE in that register.
 
-This appears to have been fixed upstream as part of commit
-f1174f77b50c "bpf/verifier: rework value tracking", and can be
-detected by the bpf/verifier sub-test "pointer/scalar confusion in
-state equality check (way 1)" in mainline.
+This was fixed differently upstream, but the code around here was
+largely rewritten in 4.14 by commit f1174f77b50c "bpf/verifier: rework
+value tracking".  The bug can be detected by the bpf/verifier sub-test
+"pointer/scalar confusion in state equality check (way 1)".
 
 Signed-off-by: Ben Hutchings <ben at decadent.org.uk>
 Cc: Edward Cree <ecree at solarflare.com>

-- 
Alioth's /usr/local/bin/git-commit-notice on /srv/git.debian.org/git/kernel/linux.git