Documented in 1 files:
Defined in 1 files as a prototype:
Defined in 2 files as a function:
- net/netlabel/netlabel_addrlist.c, line 343 (as a function)
- net/netlabel/netlabel_addrlist.h, line 184 (as a function)
Referenced in 2 files:
Smatch caller information:
net/netlabel/netlabel_domainhash.c netlbl_domhsh_audit_add() -> netlbl_af6list_audit_addr()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | audit_buf | 4096-ptr_max |
| PARAM_VALUE | 0 | audit_buf->ctx->current_state | 2 |
| PARAM_VALUE | 0 | audit_buf->gfp_mask | 2080 |
| PARAM_VALUE | 0 | audit_buf->skb->cloned | 0-1 |
| PARAM_VALUE | 0 | audit_buf->skb->csum_start | 0-u16max |
| PARAM_VALUE | 0 | audit_buf->skb->data_len | 0 |
| PARAM_VALUE | 0 | audit_buf->skb->end | 0-4294967295 |
| PARAM_VALUE | 0 | audit_buf->skb->hdr_len | 0 |
| PARAM_VALUE | 0 | audit_buf->skb->head_frag | 0 |
| PARAM_VALUE | 0 | audit_buf->skb->inner_mac_header | 0-u16max |
| PARAM_VALUE | 0 | audit_buf->skb->inner_network_header | 0-u16max |
| PARAM_VALUE | 0 | audit_buf->skb->inner_transport_header | 0-u16max |
| PARAM_VALUE | 0 | audit_buf->skb->len | 0-4294967295 |
| PARAM_VALUE | 0 | audit_buf->skb->mac_header | 0-u16max |
| PARAM_VALUE | 0 | audit_buf->skb->network_header | 0-u16max |
| PARAM_VALUE | 0 | audit_buf->skb->nohdr | 0 |
| PARAM_VALUE | 0 | audit_buf->skb->pfmemalloc | 0-1 |
| PARAM_VALUE | 0 | audit_buf->skb->pp_recycle | 0 |
| PARAM_VALUE | 0 | audit_buf->skb->tail | 0-4294967295 |
| PARAM_VALUE | 0 | audit_buf->skb->transport_header | 0-u16max |
| PARAM_VALUE | 0 | audit_buf->skb->truesize | 0-4294967295 |
| PARAM_VALUE | 0 | audit_buf->skb->unreadable | 0-1 |
| PARAM_VALUE | 0 | audit_buf->skb_list.lock.rlock.dep_map->name | 0-255 |
| PARAM_VALUE | 0 | *audit_buf->skb->head | 0-255 |
| PARAM_VALUE | 1 | src | 0 |
| PARAM_VALUE | 2 | dev | 0 |
| PARAM_VALUE | 3 | addr | 4096-ptr_max |
| PARAM_VALUE | 4 | mask | 4096-ptr_max |
| DATA_SOURCE | 0 | audit_buf | r netlbl_audit_start_common |
| PREEMPT_ADD | |||
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL | |||
| LOCK2 | global &netlbl_domhsh_lock | ||
| LOCK2 | rcu_read | ||
| HALF_LOCKED2 | global &smk_cipso_doi_lock |
net/netlabel/netlabel_unlabeled.c netlbl_unlhsh_add() -> netlbl_af6list_audit_addr()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | audit_buf | 4096-ptr_max |
| PARAM_VALUE | 0 | audit_buf->ctx->current_state | 2 |
| PARAM_VALUE | 0 | audit_buf->gfp_mask | 2080 |
| PARAM_VALUE | 0 | audit_buf->skb->cloned | 0-1 |
| PARAM_VALUE | 0 | audit_buf->skb->csum_start | 0-u16max |
| PARAM_VALUE | 0 | audit_buf->skb->data_len | 0 |
| PARAM_VALUE | 0 | audit_buf->skb->end | 0-4294967295 |
| PARAM_VALUE | 0 | audit_buf->skb->hdr_len | 0 |
| PARAM_VALUE | 0 | audit_buf->skb->head_frag | 0 |
| PARAM_VALUE | 0 | audit_buf->skb->inner_mac_header | 0-u16max |
| PARAM_VALUE | 0 | audit_buf->skb->inner_network_header | 0-u16max |
| PARAM_VALUE | 0 | audit_buf->skb->inner_transport_header | 0-u16max |
| PARAM_VALUE | 0 | audit_buf->skb->len | 0-4294967295 |
| PARAM_VALUE | 0 | audit_buf->skb->mac_header | 0-u16max |
| PARAM_VALUE | 0 | audit_buf->skb->network_header | 0-u16max |
| PARAM_VALUE | 0 | audit_buf->skb->nohdr | 0 |
| PARAM_VALUE | 0 | audit_buf->skb->pfmemalloc | 0-1 |
| PARAM_VALUE | 0 | audit_buf->skb->pp_recycle | 0 |
| PARAM_VALUE | 0 | audit_buf->skb->tail | 0-4294967295 |
| PARAM_VALUE | 0 | audit_buf->skb->transport_header | 0-u16max |
| PARAM_VALUE | 0 | audit_buf->skb->truesize | 0-4294967295 |
| PARAM_VALUE | 0 | audit_buf->skb->unreadable | 0-1 |
| PARAM_VALUE | 0 | audit_buf->skb_list.lock.rlock.dep_map->name | 0-255 |
| PARAM_VALUE | 0 | *audit_buf->skb->head | 0-255 |
| PARAM_VALUE | 1 | src | 1 |
| PARAM_VALUE | 2 | dev | 0,4096-ptr_max |
| PARAM_VALUE | 3 | addr | 16,4096-ptr_max |
| PARAM_VALUE | 4 | mask | 20,4096-ptr_max |
| BUF_SIZE | 3 | addr | (-1),4 |
| BUF_SIZE | 3 | addr | (-1),4 |
| BUF_SIZE | 4 | mask | (-1),4 |
| BUF_SIZE | 4 | mask | (-1),4 |
| DATA_SOURCE | 0 | audit_buf | r netlbl_audit_start_common |
| DATA_SOURCE | 2 | dev | $1 |
| DATA_SOURCE | 3 | addr | $2 |
| DATA_SOURCE | 4 | mask | $3 |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL | |||
| USER_DATA | 2 | *dev | 0-255 |
| USER_PTR | 2 | dev | |
| USER_PTR | 3 | addr | |
| USER_PTR | 4 | mask | |
| LOCK2 | rcu_read | ||
| HALF_LOCKED2 | global &smk_net4addr_lock |
net/netlabel/netlabel_unlabeled.c netlbl_unlhsh_remove_addr6() -> netlbl_af6list_audit_addr()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | audit_buf | 4096-ptr_max |
| PARAM_VALUE | 0 | audit_buf->ctx->current_state | 2 |
| PARAM_VALUE | 0 | audit_buf->gfp_mask | 2080 |
| PARAM_VALUE | 0 | audit_buf->skb->cloned | 0-1 |
| PARAM_VALUE | 0 | audit_buf->skb->csum_start | 0-u16max |
| PARAM_VALUE | 0 | audit_buf->skb->data_len | 0 |
| PARAM_VALUE | 0 | audit_buf->skb->end | 0-4294967295 |
| PARAM_VALUE | 0 | audit_buf->skb->hdr_len | 0 |
| PARAM_VALUE | 0 | audit_buf->skb->head_frag | 0 |
| PARAM_VALUE | 0 | audit_buf->skb->inner_mac_header | 0-u16max |
| PARAM_VALUE | 0 | audit_buf->skb->inner_network_header | 0-u16max |
| PARAM_VALUE | 0 | audit_buf->skb->inner_transport_header | 0-u16max |
| PARAM_VALUE | 0 | audit_buf->skb->len | 0-4294967295 |
| PARAM_VALUE | 0 | audit_buf->skb->mac_header | 0-u16max |
| PARAM_VALUE | 0 | audit_buf->skb->network_header | 0-u16max |
| PARAM_VALUE | 0 | audit_buf->skb->nohdr | 0 |
| PARAM_VALUE | 0 | audit_buf->skb->pfmemalloc | 0-1 |
| PARAM_VALUE | 0 | audit_buf->skb->pp_recycle | 0 |
| PARAM_VALUE | 0 | audit_buf->skb->tail | 0-4294967295 |
| PARAM_VALUE | 0 | audit_buf->skb->transport_header | 0-u16max |
| PARAM_VALUE | 0 | audit_buf->skb->truesize | 0-4294967295 |
| PARAM_VALUE | 0 | audit_buf->skb->unreadable | 0-1 |
| PARAM_VALUE | 0 | audit_buf->skb_list.lock.rlock.dep_map->name | 0-255 |
| PARAM_VALUE | 0 | *audit_buf->skb->head | 0-255 |
| PARAM_VALUE | 1 | src | 1 |
| PARAM_VALUE | 3 | addr | 4096-ptr_max |
| PARAM_VALUE | 4 | mask | 4096-ptr_max |
| BUF_SIZE | 3 | addr | (-1),4 |
| BUF_SIZE | 3 | addr | (-1),4 |
| BUF_SIZE | 4 | mask | (-1),4 |
| BUF_SIZE | 4 | mask | (-1),4 |
| DATA_SOURCE | 0 | audit_buf | r netlbl_audit_start_common |
| DATA_SOURCE | 3 | addr | $2 |
| DATA_SOURCE | 4 | mask | $3 |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL | |||
| USER_PTR | 3 | addr | |
| USER_PTR | 4 | mask | |
| LOCK2 | rcu_read | ||
| HALF_LOCKED2 | global &smk_net4addr_lock |