]> git.baikalelectronics.ru Git - kernel.git/commit
projects / kernel.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 219e6f1) | 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)
commit7db41427590ff1d35ed2820af9030db8693f3d2e
tree180afe2c34f0bd7901b27138d06c6ede1d1456c5tree | snapshot
parent219e6f161b3ba5b5e74e9259222395b44b6b73eecommit | 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.