Defined in 1 files as a function:

Referenced in 2 files:

Smatch caller information:

mm/kmemleak.c __delete_object() -> put_object()

Type Parameter Key Value
PARAM_VALUE 0 object 4096-ptr_max
PARAM_VALUE 0 object->flags 0,2-u32max
PARAM_VALUE 0 object->lock.dep_map->name 0-255
PARAM_VALUE 0 object->lock.owner (-1)
PARAM_VALUE 0 object->lock.owner_cpu u32max
PARAM_VALUE 0 object->rb_node.rb_left 0,4096-ptr_max
PARAM_VALUE 0 object->rb_node.rb_right 0,4096-ptr_max
DATA_SOURCE 0 object $0
BIT_INFO 0 object->flags 0x0,0xfffffffe
PREEMPT_ADD
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL

mm/kmemleak.c __dump_str_object_info() -> put_object()

Type Parameter Key Value
PARAM_VALUE 0 object 4096-ptr_max
PARAM_VALUE 0 object->lock.dep_map->name 0-255
PARAM_VALUE 0 object->lock.owner (-1)
PARAM_VALUE 0 object->lock.owner_cpu u32max
PARAM_VALUE 0 object->use_count.counter 0-s32max
DATA_SOURCE 0 object r __find_and_get_object
NOCHECK_CALL
LOCK2 global &scan_mutex

mm/kmemleak.c add_scan_area() -> put_object()

Type Parameter Key Value
PARAM_VALUE 0 object 4096-ptr_max
PARAM_VALUE 0 object->area_list->first->pprev 1-u64max
PARAM_VALUE 0 object->area_list.first 4096-ptr_max
PARAM_VALUE 0 object->area_list.first->pprev 0
PARAM_VALUE 0 object->lock.dep_map->name 0-255
PARAM_VALUE 0 object->lock.owner (-1)
PARAM_VALUE 0 object->lock.owner_cpu u32max
DATA_SOURCE 0 object r find_and_get_object
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL

mm/kmemleak.c dedup_flush() -> put_object()

Type Parameter Key Value
PARAM_VALUE 0 object 4096-ptr_max
PARAM_VALUE 0 object->lock.dep_map->name 0-255
PARAM_VALUE 0 object->lock.owner (-1)
PARAM_VALUE 0 object->lock.owner_cpu u32max
NOCHECK_CALL
LOCK2 global &scan_mutex

mm/kmemleak.c dedup_record() -> put_object()

Type Parameter Key Value
PARAM_VALUE 0 object 4096-ptr_max
PARAM_VALUE 0 object->count s32min-(-2),0-2147483646
PARAM_VALUE 0 object->dup_count 1
PARAM_VALUE 0 object->flags 0,2-u32max
PARAM_VALUE 0 object->lock.dep_map->name 0-255
PARAM_VALUE 0 object->lock.owner (-1)
PARAM_VALUE 0 object->lock.owner_cpu u32max
PARAM_VALUE 0 object->min_count (-2147483647)-s32max
PARAM_VALUE 0 object->use_count.counter 0-s32max
PARAM_VALUE 0 *object->pointer 0-255
CAPPED_DATA 0 object->count 1
CAPPED_DATA 0 object->min_count 1
DATA_SOURCE 0 object $1
NOCHECK_CALL
LOCK2 global &scan_mutex
LOCK2 rcu_read

mm/kmemleak.c kmemleak_cond_resched() -> put_object()

Type Parameter Key Value
PARAM_VALUE 0 object 4096-ptr_max
PARAM_VALUE 0 object->del_state 0,4-u32max
PARAM_VALUE 0 object->use_count.counter 0-s32max
DATA_SOURCE 0 object $0
NOCHECK_CALL
LOCK2 global &scan_mutex
LOCK2 rcu_read

mm/kmemleak.c kmemleak_seq_next() -> put_object()

Type Parameter Key Value
PARAM_VALUE 0 object 1-ptr_max
DATA_SOURCE 0 object $1
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
LOCK2 &seq->lock
TYPE_LOCK (struct seq_file)->lock

mm/kmemleak.c kmemleak_seq_stop() -> put_object()

Type Parameter Key Value
PARAM_VALUE 0 object 1-ptr_max
DATA_SOURCE 0 object $1
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
LOCK2 &seq->lock
TYPE_LOCK (struct seq_file)->lock

mm/kmemleak.c kmemleak_update_trace() -> put_object()

Type Parameter Key Value
PARAM_VALUE 0 object 4096-ptr_max
PARAM_VALUE 0 object->lock.dep_map->name 0-255
PARAM_VALUE 0 object->lock.owner (-1)
PARAM_VALUE 0 object->lock.owner_cpu u32max
DATA_SOURCE 0 object r find_and_get_object
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL

mm/kmemleak.c object_no_scan() -> put_object()

Type Parameter Key Value
PARAM_VALUE 0 object 4096-ptr_max
PARAM_VALUE 0 object->flags 0,4-u32max
PARAM_VALUE 0 object->lock.dep_map->name 0-255
PARAM_VALUE 0 object->lock.owner (-1)
PARAM_VALUE 0 object->lock.owner_cpu u32max
DATA_SOURCE 0 object r find_and_get_object
BIT_INFO 0 object->flags 0x4,0xffffffff
NOCHECK_CALL

mm/kmemleak.c object_set_excess_ref() -> put_object()

Type Parameter Key Value
PARAM_VALUE 0 object 4096-ptr_max
PARAM_VALUE 0 object->lock.dep_map->name 0-255
PARAM_VALUE 0 object->lock.owner (-1)
PARAM_VALUE 0 object->lock.owner_cpu u32max
DATA_SOURCE 0 object r find_and_get_object
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL

mm/kmemleak.c paint_ptr() -> put_object()

Type Parameter Key Value
PARAM_VALUE 0 object 4096-ptr_max
PARAM_VALUE 0 object->flags 0,4-u32max
PARAM_VALUE 0 object->lock.dep_map->name 0-255
PARAM_VALUE 0 object->lock.owner (-1)
PARAM_VALUE 0 object->lock.owner_cpu u32max
PARAM_VALUE 0 object->min_count (-1)-0
PARAM_VALUE 0 object->use_count.counter 0-s32max
DATA_SOURCE 0 object r __find_and_get_object
PREEMPT_ADD
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL

mm/kmemleak.c reset_checksum() -> put_object()

Type Parameter Key Value
PARAM_VALUE 0 object 4096-ptr_max
PARAM_VALUE 0 object->checksum u32max
PARAM_VALUE 0 object->lock.dep_map->name 0-255
PARAM_VALUE 0 object->lock.owner (-1)
PARAM_VALUE 0 object->lock.owner_cpu u32max
DATA_SOURCE 0 object r find_and_get_object
PREEMPT_ADD
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL

mm/kmemleak.c scan_gray_list() -> put_object()

Type Parameter Key Value
PARAM_VALUE 0 object 4096-ptr_max
NOCHECK_CALL
LOCK2 global &scan_mutex