projects / openwrt / staging / blogic.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 1b688a1) | patch
bpf/verifier: document liveness analysis
authorEdward Cree <ecree@solarflare.com>
Wed, 23 Aug 2017 14:11:21 +0000 (15:11 +0100)
committerDavid S. Miller <davem@davemloft.net>
Thu, 24 Aug 2017 05:38:08 +0000 (22:38 -0700)
commit8e9cd9ce90d48369b2c5ddd79fe3d4a4cb1ccb56
tree180afe2c34f0bd7901b27138d06c6ede1d1456c5tree | snapshot
parent1b688a19a92223cf2d1892c9d05d64dc397b33e3commit | diff
bpf/verifier: document liveness analysis

The liveness tracking algorithm is quite subtle; add comments to explain it.

Signed-off-by: Edward Cree <ecree@solarflare.com>
Acked-by: Alexei Starovoitov <ast@kernel.org>
Acked-by: Daniel Borkmann <daniel@iogearbox.net>
Signed-off-by: David S. Miller <davem@davemloft.net>
include/linux/bpf_verifier.h diff | blob | history
kernel/bpf/verifier.c diff | blob | history
John Crispins staging tree