Edward Cree 8e9cd9ce90 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>
2017-08-23 22:38:08 -07:00
..
2017-07-09 18:48:37 -07:00
2017-04-12 18:51:01 +02:00
2017-07-11 09:55:47 -07:00
2017-06-03 19:29:26 +09:00
2017-08-03 21:37:30 -07:00
2017-06-29 17:34:57 +02:00
2017-07-22 08:55:16 -07:00
2017-06-08 18:52:36 -07:00
2017-07-03 17:00:59 -06:00
2017-02-10 15:52:24 -05:00
2017-07-06 16:24:33 -07:00
2017-01-25 13:17:47 -05:00
2017-08-19 23:34:03 -07:00
2017-07-10 10:51:53 -07:00
2017-07-03 16:56:28 -06:00
2017-05-24 12:43:30 -04:00
2017-06-05 16:59:12 +02:00
2017-04-18 20:41:12 +02:00
2017-06-22 15:43:47 +01:00
2017-06-09 11:52:07 +02:00
2017-07-07 09:44:06 -07:00
2017-04-10 17:15:02 +02:00
2017-04-27 05:13:04 -04:00
2017-08-16 11:27:53 -07:00
2017-07-07 20:09:10 -04:00
2017-06-05 16:59:10 +02:00
2017-03-21 10:15:47 +02:00
2017-05-18 10:07:41 -04:00
2017-05-18 10:07:40 -04:00
2017-06-21 14:37:12 -04:00
2017-07-10 16:32:34 -07:00
2017-07-10 10:51:53 -07:00
2017-05-03 15:52:10 -07:00
2017-07-10 13:41:04 -04:00
2017-02-24 17:46:57 -08:00
2017-08-18 15:32:01 -07:00
2017-07-07 18:39:15 -07:00
2017-04-24 14:30:46 -04:00
2017-02-23 11:53:22 -08:00
2017-07-13 16:00:15 -04:00
2017-07-06 11:30:07 -04:00
2017-07-25 18:05:25 +02:00
2017-05-09 15:15:47 -07:00
2017-05-26 10:10:37 +02:00
2017-08-06 20:55:29 -07:00
2017-08-06 20:55:29 -07:00
2017-08-21 12:47:31 -07:00
2017-08-16 16:28:47 -07:00
2017-07-03 15:12:52 -07:00
2017-02-13 21:44:09 -05:00
2017-06-29 10:48:57 +01:00
2017-05-03 15:52:10 -07:00
2017-07-12 23:11:23 +02:00
2017-06-08 10:35:49 +02:00
2017-08-21 12:47:31 -07:00
2017-07-06 16:24:30 -07:00
2017-08-16 16:28:47 -07:00
2017-03-26 15:09:45 +02:00
2017-08-03 21:37:29 -07:00
2017-06-08 18:52:42 -07:00
2017-06-01 14:53:04 -04:00
2017-03-09 15:42:33 +01:00
2017-07-24 17:50:37 +02:00
2017-05-09 16:43:22 +03:00
2017-06-09 11:54:54 +02:00
2017-08-18 15:32:01 -07:00