Files
linux/include/linux
Andrii Nakryiko 8fa4ecd49b bpf: enforce exact retval range on subprog/callback exit
Instead of relying on potentially imprecise tnum representation of
expected return value range for callbacks and subprogs, validate that
smin/smax range satisfy exact expected range of return values.

E.g., if callback would need to return [0, 2] range, tnum can't
represent this precisely and instead will allow [0, 3] range. By
checking smin/smax range, we can make sure that subprog/callback indeed
returns only valid [0, 2] range.

Acked-by: Eduard Zingerman <eddyz87@gmail.com>
Acked-by: Shung-Hsi Yu <shung-hsi.yu@suse.com>
Signed-off-by: Andrii Nakryiko <andrii@kernel.org>
Link: https://lore.kernel.org/r/20231202175705.885270-5-andrii@kernel.org
Signed-off-by: Alexei Starovoitov <ast@kernel.org>
2023-12-02 11:36:50 -08:00
..
2023-10-05 09:13:42 -07:00
2023-10-24 13:08:14 -07:00
2023-11-04 10:22:52 +01:00
2023-09-18 09:28:22 +01:00
2023-08-23 08:21:37 +01:00
2023-09-11 08:13:18 +00:00
2023-11-10 13:54:58 +00:00
2023-10-11 08:46:01 -07:00
2023-09-22 08:52:13 -06:00
2023-11-24 10:40:06 +01:00
2023-11-01 22:33:53 -07:00
2023-10-30 21:48:22 -04:00
2023-10-04 10:41:56 -07:00
2023-09-11 23:59:47 -04:00
2023-10-25 20:19:00 +02:00
2023-09-13 10:48:48 +02:00
2023-10-12 09:58:02 +02:00
2023-10-11 10:11:54 -07:00
2023-10-18 14:43:21 -07:00
2023-10-04 10:41:57 -07:00
2023-11-28 15:48:39 +01:00
2023-10-16 12:44:06 -04:00
2023-10-16 12:44:06 -04:00
2023-10-18 10:01:33 +02:00
2023-11-15 04:18:31 +01:00
2023-09-29 17:20:46 -07:00
2023-11-27 18:04:11 -08:00
2023-10-03 21:18:13 +02:00
2023-11-10 09:20:55 +01:00
2023-10-06 11:01:23 +02:00
2023-10-06 11:01:23 +02:00
2023-09-11 22:10:47 +02:00
2023-10-15 13:19:42 +01:00
2023-11-01 10:02:18 +00:00
2023-10-18 14:43:21 -07:00
2023-11-03 09:16:42 +00:00
2023-10-18 14:43:21 -07:00
2023-09-14 16:16:36 +02:00
2023-10-27 18:04:28 +08:00
2023-08-24 13:27:47 -05:00
2023-10-18 14:34:18 -07:00