On Fri, Jun 14, 2019 at 6:34 AM Josh Poimboeuf <jpoim...@redhat.com> wrote:
>
> On Thu, Jun 13, 2019 at 11:00:09PM -0700, Alexei Starovoitov wrote:
> > > + if (src_reg == BPF_REG_FP) {
> > > + /*
> > > + * If the value was copied from RBP (real frame pointer),
> > > + * adjust it to the BPF program's frame pointer value.
> > > + *
> > > + * add dst, -40
> > > + */
> > > + EMIT4(add_1mod(0x48, dst_reg), 0x83, add_1reg(0xC0, dst_reg),
> > > + 0xD8);
> > > + }
> > > +
> >
> > That won't work. Any register can point to a stack.
>
> Right, but if the stack pointer comes from BPF_REG_FP then won't the
> above correct it? Then if the pointer gets passed around to other
> registers it will have the correct value. Or did I miss your point?
At the beginning of the program frame pointer is bpf_reg_fp,
but later it can be in any register. It can be spilled into stack.
Some math done on it and that adjusted pointer passed into
another jited function.
It's perfectly fine for one bpf program to modify stack of
another bpf program. The verifier checks the safety bounds, etc.
