Defined in 1 files as a function:
Referenced in 1 files:
Smatch caller information:
kernel/audit.c audit_buffer_alloc() -> audit_buffer_free()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | ab | 4096-ptr_max |
| PARAM_VALUE | 0 | ab->skb | 0,4096-ptr_max |
| PARAM_VALUE | 0 | ab->skb->data_len | 0-1 |
| PARAM_VALUE | 0 | ab->skb->next | 4096-ptr_max |
| PARAM_VALUE | 0 | ab->skb->prev | 4096-ptr_max |
| PARAM_VALUE | 0 | ab->skb_list.next | 4096-ptr_max |
| PARAM_VALUE | 0 | ab->skb_list.prev | 4096-ptr_max |
| BUF_SIZE | 0 | ab->skb | 0-s32max |
| DATA_SOURCE | 0 | ab | r kmem_cache_alloc_noprof |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL | |||
| USER_PTR | 0 | ab->skb->data | |
| HALF_LOCKED2 | &iint->mutex | ||
| HALF_LOCKED2 | &root->i_rwsem | ||
| HALF_LOCKED2 | global &audit_cmd_mutex.lock | ||
| HALF_LOCKED2 | global &audit_filter_mutex | ||
| HALF_LOCKED2 | global &fsnotify_mark_srcu | ||
| HALF_LOCKED2 | rcu_read |
kernel/audit.c audit_log_end() -> audit_buffer_free()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | ab | 4096-ptr_max |
| PARAM_VALUE | 0 | ab->skb_list.lock.rlock.dep_map->name | 0-255 |
| BUF_SIZE | 0 | ab | (-1)-s32max |
| BUF_SIZE | 0 | ab | (-1)-s32max |
| CAPPED_DATA | 0 | &ab->skb_list | 1 |
| DATA_SOURCE | 0 | ab | $0 |
| STR_LEN | 0 | ab->ctx | (-1),32,40,55,58,74,82,86,100 |
| PREEMPT_ADD | |||
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL | |||
| USER_DATA | 0 | *ab->skb->data | 0-255 |
| HALF_LOCKED2 | &iint->mutex | ||
| HALF_LOCKED2 | &root->i_rwsem | ||
| HALF_LOCKED2 | &x->lock | ||
| HALF_LOCKED2 | bh | ||
| HALF_LOCKED2 | global &audit_cmd_mutex.lock | ||
| HALF_LOCKED2 | global &audit_filter_mutex | ||
| HALF_LOCKED2 | global &netlbl_domhsh_lock | ||
| HALF_LOCKED2 | rcu_read |