Re: [PATCH RFC v4 net-next 00/26] BPF syscall, maps, verifier, samples, llvm

From: Alexei Starovoitov
Date: Wed Aug 13 2014 - 14:00:31 EST


On Wed, Aug 13, 2014 at 10:40 AM, Andy Lutomirski <luto@xxxxxxxxxxxxxx> wrote:
>
> But don't you need some kind of detection anyway to handle the case
> where something jumps to the middle of the "load 64-bit immediate"? I

added few test cases to test_verifier to see that this case is caught
and it looks ok, but you got me worried. May be few more checks needed.
Thanks!
--
To unsubscribe from this list: send the line "unsubscribe linux-kernel" in
the body of a message to majordomo@xxxxxxxxxxxxxxx
More majordomo info at http://vger.kernel.org/majordomo-info.html
Please read the FAQ at http://www.tux.org/lkml/