From mboxrd@z Thu Jan 1 00:00:00 1970 From: Daniel Borkmann Subject: Re: [PATCH net-next] bpf: add test for the verifier equal logic bug Date: Tue, 29 Nov 2016 20:06:40 +0100 Message-ID: <583DD1C0.1010209@iogearbox.net> References: <1480440919-3252-1-git-send-email-jbacik@fb.com> Mime-Version: 1.0 Content-Type: text/plain; charset=windows-1252; format=flowed Content-Transfer-Encoding: 7bit To: Josef Bacik , davem@davemloft.net, netdev@vger.kernel.org, ast@kernel.org, jannh@google.com, kernel-team@fb.com Return-path: Received: from www62.your-server.de ([213.133.104.62]:53793 "EHLO www62.your-server.de" rhost-flags-OK-OK-OK-OK) by vger.kernel.org with ESMTP id S1751918AbcK2TGp (ORCPT ); Tue, 29 Nov 2016 14:06:45 -0500 In-Reply-To: <1480440919-3252-1-git-send-email-jbacik@fb.com> Sender: netdev-owner@vger.kernel.org List-ID: On 11/29/2016 06:35 PM, Josef Bacik wrote: > This is a test to verify that > > bpf: fix states equal logic for varlen access > > actually fixed the problem. The problem was if the register we added to our map > register was UNKNOWN in both the false and true branches and the only thing that > changed was the range then we'd incorrectly assume that the true branch was > valid, which it really wasnt. This tests this case and properly fails without > my fix in place and passes with it in place. > > Signed-off-by: Josef Bacik Acked-by: Daniel Borkmann Thanks a lot for the test case! They are always useful to have ... which just reminds me: it seems we didn't add anything for f23cc643f9ba ("bpf: fix range arithmetic for bpf map access"). ;-)