mirror of https://github.com/torvalds/linux.git
614d0d77b4
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> |
||
|---|---|---|
| .. | ||
| atomic.h | ||
| bitmap.h | ||
| bitops.h | ||
| bug.h | ||
| compiler-gcc.h | ||
| compiler.h | ||
| coresight-pmu.h | ||
| err.h | ||
| export.h | ||
| filter.h | ||
| hash.h | ||
| hashtable.h | ||
| kernel.h | ||
| list.h | ||
| log2.h | ||
| poison.h | ||
| rbtree.h | ||
| rbtree_augmented.h | ||
| refcount.h | ||
| spinlock.h | ||
| string.h | ||
| stringify.h | ||
| time64.h | ||
| types.h | ||