]> git.baikalelectronics.ru Git - kernel.git/commit
projects / kernel.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: d133cf5) | 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)
commit9cbcdf7b11a80b3651823dd63f94c50153d2ef02
tree180afe2c34f0bd7901b27138d06c6ede1d1456c5tree | snapshot
parentd133cf59b02cc5a41d35943beb8bf7ce0107993ecommit | 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
Linux Kernel Source Tree.