Open Menu /

Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

mm/kfence/kfence_test.c test_alloc() -> test_free()

Type Parameter Key Value
BUF_SIZE 0 ptr 0-u32max,u64max
BUF_SIZE 0 ptr 0-u32max,u64max
NOCHECK_CALL

mm/kfence/kfence_test.c test_corruption() -> test_free()

Type Parameter Key Value
BUF_SIZE 0 ptr (-1)-s32max
DATA_SOURCE 0 ptr r test_alloc
NOCHECK_CALL

mm/kfence/kfence_test.c test_corruption() -> test_free()

Type Parameter Key Value
PARAM_VALUE 0 ptr 1-u64max
BUF_SIZE 0 ptr (-1)-s32max
DATA_SOURCE 0 ptr r test_alloc
NOCHECK_CALL

mm/kfence/kfence_test.c test_double_free() -> test_free()

Type Parameter Key Value
BUF_SIZE 0 ptr (-1)-s32max
DATA_SOURCE 0 ptr r test_alloc
NOCHECK_CALL

mm/kfence/kfence_test.c test_double_free() -> test_free()

Type Parameter Key Value
BUF_SIZE 0 ptr (-1)-s32max
DATA_SOURCE 0 ptr r test_alloc
NOCHECK_CALL

mm/kfence/kfence_test.c test_gfpzero() -> test_free()

Type Parameter Key Value
PARAM_VALUE 0 ptr 4096-ptr_max
BUF_SIZE 0 ptr (-1)-s32max
DATA_SOURCE 0 ptr r test_alloc
NOCHECK_CALL

mm/kfence/kfence_test.c test_gfpzero() -> test_free()

Type Parameter Key Value
BUF_SIZE 0 ptr (-1)-s32max
DATA_SOURCE 0 ptr r test_alloc
NOCHECK_CALL

mm/kfence/kfence_test.c test_gfpzero() -> test_free()

Type Parameter Key Value
PARAM_VALUE 0 ptr 4096-ptr_max
BUF_SIZE 0 ptr (-1)-s32max
DATA_SOURCE 0 ptr r test_alloc
NOCHECK_CALL

mm/kfence/kfence_test.c test_init_on_free() -> test_free()

Type Parameter Key Value
PARAM_VALUE 0 ptr 4096-ptr_max
BUF_SIZE 0 ptr (-1)-s32max
DATA_SOURCE 0 ptr r test_alloc
NOCHECK_CALL

mm/kfence/kfence_test.c test_invalid_addr_free() -> test_free()

Type Parameter Key Value
PARAM_VALUE 0 ptr 4096-ptr_max
NOCHECK_CALL

mm/kfence/kfence_test.c test_invalid_addr_free() -> test_free()

Type Parameter Key Value
BUF_SIZE 0 ptr (-1)-s32max
DATA_SOURCE 0 ptr r test_alloc
NOCHECK_CALL

mm/kfence/kfence_test.c test_kmalloc_aligned_oob_read() -> test_free()

Type Parameter Key Value
PARAM_VALUE 0 ptr 4096-ptr_max
BUF_SIZE 0 ptr (-1)-s32max
DATA_SOURCE 0 ptr r test_alloc
NOCHECK_CALL

mm/kfence/kfence_test.c test_kmalloc_aligned_oob_write() -> test_free()

Type Parameter Key Value
PARAM_VALUE 0 ptr 1-u64max
BUF_SIZE 0 ptr (-1)-s32max
DATA_SOURCE 0 ptr r test_alloc
NOCHECK_CALL

mm/kfence/kfence_test.c test_memcache_ctor() -> test_free()

Type Parameter Key Value
PARAM_VALUE 0 ptr 4096-ptr_max
BUF_SIZE 0 ptr (-1)-s32max
DATA_SOURCE 0 ptr r test_alloc
NOCHECK_CALL

mm/kfence/kfence_test.c test_memcache_typesafe_by_rcu() -> test_free()

Type Parameter Key Value
PARAM_VALUE 0 ptr 4096-ptr_max
PARAM_VALUE 0 *ptr 42
BUF_SIZE 0 ptr (-1)-s32max
DATA_SOURCE 0 ptr r test_alloc
NOCHECK_CALL
LOCK2 rcu_read

mm/kfence/kfence_test.c test_out_of_bounds_read() -> test_free()

Type Parameter Key Value
BUF_SIZE 0 ptr (-1)-s32max
DATA_SOURCE 0 ptr r test_alloc
NOCHECK_CALL

mm/kfence/kfence_test.c test_out_of_bounds_read() -> test_free()

Type Parameter Key Value
PARAM_VALUE 0 ptr 1-u64max
BUF_SIZE 0 ptr (-1)-s32max
DATA_SOURCE 0 ptr r test_alloc
NOCHECK_CALL

mm/kfence/kfence_test.c test_out_of_bounds_write() -> test_free()

Type Parameter Key Value
BUF_SIZE 0 ptr (-1)-s32max
DATA_SOURCE 0 ptr r test_alloc
NOCHECK_CALL

mm/kfence/kfence_test.c test_shrink_memcache() -> test_free()

Type Parameter Key Value
BUF_SIZE 0 ptr (-1)-s32max
BUF_SIZE 0 ptr (-1)-s32max
CAPPED_DATA 0 ptr 1
DATA_SOURCE 0 ptr r test_alloc
NOCHECK_CALL

mm/kfence/kfence_test.c test_use_after_free_read() -> test_free()

Type Parameter Key Value
BUF_SIZE 0 ptr (-1)-s32max
DATA_SOURCE 0 ptr r test_alloc
NOCHECK_CALL

mm/kfence/kfence_test.c test_use_after_free_read_nofault() -> test_free()

Type Parameter Key Value
BUF_SIZE 0 ptr (-1)-s32max
DATA_SOURCE 0 ptr r test_alloc
NOCHECK_CALL