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 | |
| 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 '')
0 files changed, 0 insertions, 0 deletions