netdev - Re: [PATCH bpf v3 0/2] bpf: mark registers in all frames after pkt/null checks

lists.openwall.net		lists / announce owl-users owl-dev john-users john-dev passwdqc-users yescrypt popa3d-users / oss-security kernel-hardening musl sabotage tlsify passwords / crypt-dev xvendor / Bugtraq Full-Disclosure linux-kernel linux-netdev linux-ext4 linux-hardening linux-cve-announce PHC
Open Source and information security mailing list archives

Hash Suite for Android: free password hash cracker in your pocket

[<prev] [next>] [<thread-prev] [day] [month] [year] [list]

Date:   Thu, 25 Apr 2019 23:04:38 +0200
From:   Daniel Borkmann <daniel@...earbox.net>
To:     Alexei Starovoitov <alexei.starovoitov@...il.com>,
        Paul Chaignon <paul.chaignon@...nge.com>
Cc:     Alexei Starovoitov <ast@...nel.org>, netdev@...r.kernel.org,
        bpf@...r.kernel.org, Xiao Han <xiao.han@...nge.com>,
        Martin KaFai Lau <kafai@...com>,
        Song Liu <songliubraving@...com>, Yonghong Song <yhs@...com>
Subject: Re: [PATCH bpf v3 0/2] bpf: mark registers in all frames after
 pkt/null checks

On 04/25/2019 10:46 PM, Alexei Starovoitov wrote:
> On Wed, Apr 24, 2019 at 09:49:58PM +0200, Paul Chaignon wrote:
>> In case of a null check on a pointer inside a subprog, we should mark all
>> registers with this pointer as either safe or unknown, in both the current
>> and previous frames.  Currently, only spilled registers and registers in
>> the current frame are marked.  Packet bound checks in subprogs have the
>> same issue.  The first patch fixes it to mark registers in previous frames
>> as well.
[...]
>>
>> Changelogs:
>>   Changes in v3:
>>     - Fix same issue in find_good_pkt_pointers().
>>     - Add test case for find_good_pkt_pointers() issue.
>>     - Change title to account for the above change. Old title was
>>       "bpf: mark registers as safe or unknown in all frames".
>>     - Refactor find_good_pkt_pointers and mark_ptr_or_null_regs.

Sorry for the delay, looks good to me, thanks!

>>     - I did not keep Yonghong's ack because of the above changes.
>>   Changes in v2:
>>     - Fix example codes in commit message.
> 
> Applied to bpf tree, thanks!
>