Re: correctness of BPF stack size checking logic for multi-function programs?

2017-12-22 Thread Jann Horn
On Fri, Dec 22, 2017 at 4:37 AM, Alexei Starovoitov wrote: > On Fri, Dec 22, 2017 at 02:14:45AM +0100, Jann Horn wrote: >> Hi! >> >> I saw the recently-added support for multiple functions in a single >> program in BPF. I've stumbled over something that looks like it

Re: correctness of BPF stack size checking logic for multi-function programs?

2017-12-21 Thread Alexei Starovoitov
On Fri, Dec 22, 2017 at 02:14:45AM +0100, Jann Horn wrote: > Hi! > > I saw the recently-added support for multiple functions in a single > program in BPF. I've stumbled over something that looks like it might > be a bug; I haven't verified it yet, but I thought I should give you a > heads-up

correctness of BPF stack size checking logic for multi-function programs?

2017-12-21 Thread Jann Horn
Hi! I saw the recently-added support for multiple functions in a single program in BPF. I've stumbled over something that looks like it might be a bug; I haven't verified it yet, but I thought I should give you a heads-up before this lands in a release in case I'm right. If I'm wrong, it might be