diff options
author | Edward Cree <ecree@solarflare.com> | 2017-08-23 15:11:21 +0100 |
---|---|---|
committer | David S. Miller <davem@davemloft.net> | 2017-08-23 22:38:08 -0700 |
commit | 8e9cd9ce90d48369b2c5ddd79fe3d4a4cb1ccb56 (patch) | |
tree | 180afe2c34f0bd7901b27138d06c6ede1d1456c5 /Documentation/kbuild/Kconfig.select-break | |
parent | bpf/verifier: remove varlen_map_value_access flag (diff) | |
download | linux-dev-8e9cd9ce90d48369b2c5ddd79fe3d4a4cb1ccb56.tar.xz linux-dev-8e9cd9ce90d48369b2c5ddd79fe3d4a4cb1ccb56.zip |
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>
Diffstat (limited to 'Documentation/kbuild/Kconfig.select-break')
0 files changed, 0 insertions, 0 deletions