Open Menu /

Defined in 3 files as a function:

Referenced in 3 files:

Smatch caller information:

net/ipv4/netfilter/ip_tables.c check_entry_size_and_hooks() -> check_underflow()

Type Parameter Key Value
PARAM_VALUE 0 e 4096-18446744073709547519
PARAM_VALUE 0 e->elems->u.kernel.match_size 0-u16max
PARAM_VALUE 0 e->elems->u.match_size 0-u16max
PARAM_VALUE 0 e->elems->u.user.match_size 0-u16max
PARAM_VALUE 0 e->elems->u.user.revision 0-255
PARAM_VALUE 0 e->ip.flags 0-2
PARAM_VALUE 0 e->ip.invflags 0-126
PARAM_VALUE 0 e->next_offset 144-u16max
BUF_SIZE 0 e (-1)-536870847
BUF_SIZE 0 e (-1)-536870847
CAPPED_DATA 0 e 1
CAPPED_DATA 0 e->next_offset 1
DATA_SOURCE 0 e $0
FUZZY_MAX 0 e->next_offset 144
RX_PATH
TASK_NOT_RUNNING
USER_DATA 0 e->comefrom 0-u32max[u]
USER_DATA 0 e->counters.bcnt 0-u64max[u]
USER_DATA 0 e->counters.pcnt 0-u64max[u]
USER_DATA 0 e->ip.dmsk.s_addr 0-u32max[u]
USER_DATA 0 e->ip.dst.s_addr 0-u32max[u]
USER_DATA 0 e->ip.flags 0-2[u]
USER_DATA 0 e->ip.invflags 0-126[u]
USER_DATA 0 e->ip.proto 0-u16max[u]
USER_DATA 0 e->ip.smsk.s_addr 0-u32max[u]
USER_DATA 0 e->ip.src.s_addr 0-u32max[u]
USER_DATA 0 e->next_offset 144-u16max[c]
USER_DATA 0 e->nfcache 0-u32max[u]
USER_DATA 0 e->target_offset 0-u16max[u]
UNITS 0 e unit_byte
USER_PTR 0 e

net/ipv6/netfilter/ip6_tables.c check_entry_size_and_hooks() -> check_underflow()

Type Parameter Key Value
PARAM_VALUE 0 e 4096-18446744073709547519
PARAM_VALUE 0 e->elems->u.kernel.match_size 0-u16max
PARAM_VALUE 0 e->elems->u.match_size 0-u16max
PARAM_VALUE 0 e->elems->u.user.match_size 0-u16max
PARAM_VALUE 0 e->elems->u.user.revision 0-255
PARAM_VALUE 0 e->ipv6.flags 0-6
PARAM_VALUE 0 e->ipv6.invflags 0-126
PARAM_VALUE 0 e->next_offset 200-u16max
BUF_SIZE 0 e (-1)-536870847
BUF_SIZE 0 e (-1)-536870847
CAPPED_DATA 0 e 1
CAPPED_DATA 0 e->next_offset 1
DATA_SOURCE 0 e $0
FUZZY_MAX 0 e->next_offset 200
RX_PATH
TASK_NOT_RUNNING
USER_DATA 0 e->comefrom 0-u32max[u]
USER_DATA 0 e->counters.bcnt 0-u64max[u]
USER_DATA 0 e->counters.pcnt 0-u64max[u]
USER_DATA 0 e->ipv6.flags 0-6[u]
USER_DATA 0 e->ipv6.invflags 0-126[u]
USER_DATA 0 e->ipv6.proto 0-u16max[u]
USER_DATA 0 e->ipv6.tos 0-255[u]
USER_DATA 0 e->next_offset 200-u16max[c]
USER_DATA 0 e->nfcache 0-u32max[u]
USER_DATA 0 e->target_offset 0-u16max[u]
UNITS 0 e unit_byte
USER_PTR 0 e

net/ipv4/netfilter/arp_tables.c check_entry_size_and_hooks() -> check_underflow()

Type Parameter Key Value
PARAM_VALUE 0 e 4096-18446744073709547519
PARAM_VALUE 0 e->arp.invflags 0-1022
PARAM_VALUE 0 e->elems->u.kernel.match_size 0-u16max
PARAM_VALUE 0 e->elems->u.match_size 0-u16max
PARAM_VALUE 0 e->elems->u.user.match_size 0-u16max
PARAM_VALUE 0 e->elems->u.user.revision 0-255
PARAM_VALUE 0 e->next_offset 224-u16max
BUF_SIZE 0 e (-1)-536870847
BUF_SIZE 0 e (-1)-536870847
CAPPED_DATA 0 e 1
CAPPED_DATA 0 e->next_offset 1
DATA_SOURCE 0 e $0
FUZZY_MAX 0 e->next_offset 224
NS_CAPABLE 0 12
RX_PATH
TASK_NOT_RUNNING
USER_DATA 0 e->arp.arhln 0-255[u]
USER_DATA 0 e->arp.arhln_mask 0-255[u]
USER_DATA 0 e->arp.arhrd 0-u16max[u]
USER_DATA 0 e->arp.arhrd_mask 0-u16max[u]
USER_DATA 0 e->arp.arpop 0-u16max[u]
USER_DATA 0 e->arp.arpop_mask 0-u16max[u]
USER_DATA 0 e->arp.arpro 0-u16max[u]
USER_DATA 0 e->arp.arpro_mask 0-u16max[u]
USER_DATA 0 e->arp.flags 0-255[u]
USER_DATA 0 e->arp.invflags 0-1022[u]
USER_DATA 0 e->arp.smsk.s_addr 0-u32max[u]
USER_DATA 0 e->arp.src.s_addr 0-u32max[u]
USER_DATA 0 e->arp.tgt.s_addr 0-u32max[u]
USER_DATA 0 e->arp.tmsk.s_addr 0-u32max[u]
USER_DATA 0 e->comefrom 0-u32max[u]
USER_DATA 0 e->counters.bcnt 0-u64max[u]
USER_DATA 0 e->counters.pcnt 0-u64max[u]
USER_DATA 0 e->next_offset 224-u16max[c]
USER_DATA 0 e->target_offset 0-u16max[u]
UNITS 0 e unit_byte
USER_PTR 0 e