Defined in 1 files as a prototype:
Defined in 1 files as a function:
Referenced in 4 files:
- net/ipv4/netfilter/arp_tables.c
- net/ipv4/netfilter/ip_tables.c
- net/ipv6/netfilter/ip6_tables.c
- net/netfilter/x_tables.c, line 1397
Smatch caller information:
net/ipv4/netfilter/ip_tables.c __do_replace() -> xt_table_unlock()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | table | 4096-ptr_max |
| PARAM_VALUE | 0 | table->me | 0,4096-ptr_max |
| PARAM_VALUE | 0 | table->private | 4096-ptr_max |
| PARAM_VALUE | 0 | table->private->jumpstack | 16,4096-ptr_max |
| PARAM_VALUE | 0 | table->private->number | 0-134217728 |
| PARAM_VALUE | 0 | table->private->size | 0-536870847 |
| CAPPED_DATA | 0 | table->valid_hooks | 1 |
| DATA_SOURCE | 0 | table | r xt_request_find_table_lock |
| NS_CAPABLE | 0 | 12 | |
| NOSPEC | 0 | table->private->size | |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL | |||
| USER_DATA | 0 | table->private->size | 0-536870847[c] |
| NO_OVERFLOW_SIMPLE | 0 | table->private->number | |
| NO_OVERFLOW_SIMPLE | 0 | table->private->size |
net/ipv4/netfilter/ip_tables.c __do_replace() -> xt_table_unlock()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | table | 4096-ptr_max |
| PARAM_VALUE | 0 | table->me | 0,4096-ptr_max |
| PARAM_VALUE | 0 | table->me->refcnt.counter | 0-s32max |
| DATA_SOURCE | 0 | table | r xt_request_find_table_lock |
| NS_CAPABLE | 0 | 12 | |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL | |||
| NO_OVERFLOW_SIMPLE | 0 | table->private->number | |
| NO_OVERFLOW_SIMPLE | 0 | table->private->size |
net/ipv4/netfilter/ip_tables.c compat_get_entries() -> xt_table_unlock()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | table | 4096-ptr_max |
| PARAM_VALUE | 0 | table->me | 0,4096-ptr_max |
| CAPPED_DATA | 0 | table->me | 1 |
| DATA_SOURCE | 0 | table | r xt_find_table_lock |
| NS_CAPABLE | 0 | 12 | |
| RX_PATH | |||
| NOCHECK_CALL |
net/ipv4/netfilter/ip_tables.c do_add_counters() -> xt_table_unlock()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | table | 4096-ptr_max |
| PARAM_VALUE | 0 | table->me | 0,4096-ptr_max |
| PARAM_VALUE | 0 | table->private | 4096-ptr_max |
| CAPPED_DATA | 0 | table->me | 1 |
| DATA_SOURCE | 0 | table | r xt_find_table_lock |
| NS_CAPABLE | 0 | 12 | |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL |
net/ipv4/netfilter/ip_tables.c get_entries() -> xt_table_unlock()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | table | 4096-ptr_max |
| PARAM_VALUE | 0 | table->me | 0,4096-ptr_max |
| PARAM_VALUE | 0 | table->private | 4096-ptr_max |
| CAPPED_DATA | 0 | table->me | 1 |
| DATA_SOURCE | 0 | table | r xt_find_table_lock |
| NS_CAPABLE | 0 | 12 | |
| RX_PATH | |||
| NOCHECK_CALL |
net/ipv4/netfilter/ip_tables.c get_info() -> xt_table_unlock()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | table | 4096-ptr_max |
| PARAM_VALUE | 0 | table->me | 0,4096-ptr_max |
| DATA_SOURCE | 0 | table | r xt_request_find_table_lock |
| NS_CAPABLE | 0 | 12 | |
| RX_PATH | |||
| NOCHECK_CALL |
net/ipv6/netfilter/ip6_tables.c __do_replace() -> xt_table_unlock()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | table | 4096-ptr_max |
| PARAM_VALUE | 0 | table->me | 0,4096-ptr_max |
| PARAM_VALUE | 0 | table->private | 4096-ptr_max |
| PARAM_VALUE | 0 | table->private->jumpstack | 16,4096-ptr_max |
| PARAM_VALUE | 0 | table->private->number | 0-134217728 |
| PARAM_VALUE | 0 | table->private->size | 0-536870847 |
| CAPPED_DATA | 0 | table->valid_hooks | 1 |
| DATA_SOURCE | 0 | table | r xt_request_find_table_lock |
| NS_CAPABLE | 0 | 12 | |
| NOSPEC | 0 | table->private->size | |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL | |||
| USER_DATA | 0 | table->private->size | 0-536870847[c] |
| NO_OVERFLOW_SIMPLE | 0 | table->private->number | |
| NO_OVERFLOW_SIMPLE | 0 | table->private->size |
net/ipv6/netfilter/ip6_tables.c __do_replace() -> xt_table_unlock()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | table | 4096-ptr_max |
| PARAM_VALUE | 0 | table->me | 0,4096-ptr_max |
| PARAM_VALUE | 0 | table->me->refcnt.counter | 0-s32max |
| DATA_SOURCE | 0 | table | r xt_request_find_table_lock |
| NS_CAPABLE | 0 | 12 | |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL | |||
| NO_OVERFLOW_SIMPLE | 0 | table->private->number | |
| NO_OVERFLOW_SIMPLE | 0 | table->private->size |
net/ipv6/netfilter/ip6_tables.c compat_get_entries() -> xt_table_unlock()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | table | 4096-ptr_max |
| PARAM_VALUE | 0 | table->me | 0,4096-ptr_max |
| CAPPED_DATA | 0 | table->me | 1 |
| DATA_SOURCE | 0 | table | r xt_find_table_lock |
| NS_CAPABLE | 0 | 12 | |
| RX_PATH | |||
| NOCHECK_CALL |
net/ipv6/netfilter/ip6_tables.c do_add_counters() -> xt_table_unlock()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | table | 4096-ptr_max |
| PARAM_VALUE | 0 | table->me | 0,4096-ptr_max |
| PARAM_VALUE | 0 | table->private | 4096-ptr_max |
| CAPPED_DATA | 0 | table->me | 1 |
| DATA_SOURCE | 0 | table | r xt_find_table_lock |
| NS_CAPABLE | 0 | 12 | |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL |
net/ipv6/netfilter/ip6_tables.c get_entries() -> xt_table_unlock()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | table | 4096-ptr_max |
| PARAM_VALUE | 0 | table->me | 0,4096-ptr_max |
| PARAM_VALUE | 0 | table->private | 4096-ptr_max |
| CAPPED_DATA | 0 | table->me | 1 |
| DATA_SOURCE | 0 | table | r xt_find_table_lock |
| NS_CAPABLE | 0 | 12 | |
| RX_PATH | |||
| NOCHECK_CALL |
net/ipv6/netfilter/ip6_tables.c get_info() -> xt_table_unlock()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | table | 4096-ptr_max |
| PARAM_VALUE | 0 | table->me | 0,4096-ptr_max |
| DATA_SOURCE | 0 | table | r xt_request_find_table_lock |
| NS_CAPABLE | 0 | 12 | |
| RX_PATH | |||
| NOCHECK_CALL |
net/ipv4/netfilter/arp_tables.c __do_replace() -> xt_table_unlock()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | table | 4096-ptr_max |
| PARAM_VALUE | 0 | table->me | 0,4096-ptr_max |
| PARAM_VALUE | 0 | table->private | 4096-ptr_max |
| PARAM_VALUE | 0 | table->private->jumpstack | 16,4096-ptr_max |
| PARAM_VALUE | 0 | table->private->number | 0-134217728 |
| PARAM_VALUE | 0 | table->private->size | 0-536870847 |
| CAPPED_DATA | 0 | table->valid_hooks | 1 |
| DATA_SOURCE | 0 | table | r xt_request_find_table_lock |
| NS_CAPABLE | 0 | 12 | |
| NOSPEC | 0 | table->private->size | |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL | |||
| USER_DATA | 0 | table->private->size | 0-536870847[c] |
| NO_OVERFLOW_SIMPLE | 0 | table->private->number | |
| NO_OVERFLOW_SIMPLE | 0 | table->private->size |
net/ipv4/netfilter/arp_tables.c __do_replace() -> xt_table_unlock()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | table | 4096-ptr_max |
| PARAM_VALUE | 0 | table->me | 0,4096-ptr_max |
| PARAM_VALUE | 0 | table->me->refcnt.counter | 0-s32max |
| DATA_SOURCE | 0 | table | r xt_request_find_table_lock |
| NS_CAPABLE | 0 | 12 | |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL | |||
| NO_OVERFLOW_SIMPLE | 0 | table->private->number | |
| NO_OVERFLOW_SIMPLE | 0 | table->private->size |
net/ipv4/netfilter/arp_tables.c compat_get_entries() -> xt_table_unlock()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | table | 4096-ptr_max |
| PARAM_VALUE | 0 | table->me | 0,4096-ptr_max |
| CAPPED_DATA | 0 | table->me | 1 |
| DATA_SOURCE | 0 | table | r xt_find_table_lock |
| NS_CAPABLE | 0 | 12 | |
| RX_PATH | |||
| NOCHECK_CALL |
net/ipv4/netfilter/arp_tables.c do_add_counters() -> xt_table_unlock()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | table | 4096-ptr_max |
| PARAM_VALUE | 0 | table->me | 0,4096-ptr_max |
| PARAM_VALUE | 0 | table->private | 4096-ptr_max |
| CAPPED_DATA | 0 | table->me | 1 |
| DATA_SOURCE | 0 | table | r xt_find_table_lock |
| NS_CAPABLE | 0 | 12 | |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL |
net/ipv4/netfilter/arp_tables.c get_entries() -> xt_table_unlock()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | table | 4096-ptr_max |
| PARAM_VALUE | 0 | table->me | 0,4096-ptr_max |
| PARAM_VALUE | 0 | table->private | 4096-ptr_max |
| CAPPED_DATA | 0 | table->me | 1 |
| DATA_SOURCE | 0 | table | r xt_find_table_lock |
| NS_CAPABLE | 0 | 12 | |
| RX_PATH | |||
| NOCHECK_CALL |
net/ipv4/netfilter/arp_tables.c get_info() -> xt_table_unlock()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | table | 4096-ptr_max |
| PARAM_VALUE | 0 | table->me | 0,4096-ptr_max |
| DATA_SOURCE | 0 | table | r xt_request_find_table_lock |
| NS_CAPABLE | 0 | 12 | |
| RX_PATH | |||
| NOCHECK_CALL |