Files
linux/include/linux
Daniel Borkmann 614d0d77b4 bpf: add various verifier test cases
This patch adds various verifier test cases:

1) A test case for the pruning issue when tracking alignment
   is used.
2) Various PTR_TO_MAP_VALUE_OR_NULL tests to make sure pointer
   arithmetic turns such register into UNKNOWN_VALUE type.
3) Test cases for the special treatment of LD_ABS/LD_IND to
   make sure verifier doesn't break calling convention here.
   Latter is needed, since f.e. arm64 JIT uses r1 - r5 for
   storing temporary data, so they really must be marked as
   NOT_INIT.

Signed-off-by: Daniel Borkmann <daniel@iogearbox.net>
Acked-by: Alexei Starovoitov <ast@kernel.org>
Signed-off-by: David S. Miller <davem@davemloft.net>
2017-05-25 13:44:28 -04:00
..
2017-05-04 09:19:24 +02:00
2017-04-21 10:45:01 -04:00
2017-04-28 18:09:59 -04:00
2017-05-01 14:09:21 -07:00
2017-02-10 15:52:24 -05:00
2017-04-11 14:38:43 -04:00
2017-04-26 23:54:06 -04:00
2017-03-30 09:37:20 +02:00
2017-04-18 20:41:12 +02:00
2017-04-10 17:15:02 +02:00
2017-04-27 05:13:04 -04:00
2017-05-25 13:44:28 -04:00
2017-05-12 15:57:15 -07:00
2017-05-03 15:52:10 -07:00
2017-03-21 10:15:47 +02:00
2017-04-05 18:11:48 +02:00
2017-02-11 20:59:41 -05:00
2017-05-08 17:15:12 -07:00
2017-04-04 14:10:12 -07:00
2017-05-03 15:52:10 -07:00
2017-02-24 17:46:57 -08:00
2017-04-24 14:30:46 -04:00
2017-04-26 13:03:04 -04:00
2017-03-07 14:01:02 -08:00
2017-05-09 16:43:23 +03:00
2017-04-19 14:21:23 +02:00
2017-02-13 21:44:09 -05:00
2017-03-28 08:54:48 +02:00
2017-05-03 15:52:10 -07:00
2017-05-08 17:15:12 -07:00
2017-03-26 15:09:45 +02:00
2017-03-22 12:15:15 -07:00
2017-03-09 15:42:33 +01:00
2017-02-10 16:34:17 +00:00
2017-05-09 16:43:22 +03:00