Open Menu /

Defined in 1 files as a prototype:

Defined in 1 files as a function:

Referenced in 2 files:

Smatch caller information:

net/ipv4/tcp_ipv4.c tcp_v4_send_synack() -> ip_build_and_send_pkt()

Type Parameter Key Value
PARAM_VALUE 0 skb 4096-ptr_max
PARAM_VALUE 0 skb->_skb_refdst 4096-18446744073709547520
PARAM_VALUE 0 skb->cb 4096-ptr_max
PARAM_VALUE 0 skb->csum_offset 16
PARAM_VALUE 0 skb->data 4096-ptr_max
PARAM_VALUE 0 skb->data->ack 1
PARAM_VALUE 0 skb->data->ae 0
PARAM_VALUE 0 skb->data->cwr 0
PARAM_VALUE 0 skb->data->syn 1
PARAM_VALUE 0 skb->ip_summed 3
PARAM_VALUE 0 skb->l4_hash 1
PARAM_VALUE 0 skb->sw_hash 0
PARAM_VALUE 0 skb->tstamp_type 0-1
BUF_SIZE 0 skb 320
BUF_SIZE 0 skb 320
BUF_SIZE 1 sk->__sk_common.skc_prot (-1),448
CAPPED_DATA 0 skb->head 1
CAPPED_DATA 1 sk->__sk_common.skc_net.net 1
DATA_SOURCE 0 skb r tcp_make_synack
DATA_SOURCE 1 sk $0
TASK_NOT_RUNNING
HOST_DATA 1 sk->sk_backlog.head->csum 0-4294967040[c]
HOST_DATA 1 sk->sk_backlog.tail->csum 0-4294967040[c]
HOST_DATA 1 sk->sk_backlog.tail->next->csum 0-4294967040[c]
HOST_DATA 1 sk->sk_receive_queue.prev->csum_offset 0-u16max
HOST_DATA 1 sk->sk_receive_queue.prev->data_len 0-u32max[c]
HOST_DATA 1 sk->sk_receive_queue.prev->next->csum_offset 0-u16max
HOST_DATA 1 sk->sk_receive_queue.prev->next->data_len 0-u32max[c]
HOST_DATA 1 sk->sk_receive_queue.prev->next->truesize 0-u32max
HOST_DATA 1 sk->sk_receive_queue.prev->truesize 0-u32max
NO_OVERFLOW_SIMPLE 0 skb->sk->sk_backlog.len
NO_OVERFLOW_SIMPLE 1 sk->sk_backlog.head->end
NO_OVERFLOW_SIMPLE 1 sk->sk_backlog.head->len
NO_OVERFLOW_SIMPLE 1 sk->sk_backlog.head->tail
NO_OVERFLOW_SIMPLE 1 sk->sk_backlog.head->truesize
NO_OVERFLOW_SIMPLE 1 sk->sk_backlog.len
NO_OVERFLOW_SIMPLE 1 sk->sk_backlog.tail->end
NO_OVERFLOW_SIMPLE 1 sk->sk_backlog.tail->len
NO_OVERFLOW_SIMPLE 1 sk->sk_backlog.tail->next->end
NO_OVERFLOW_SIMPLE 1 sk->sk_backlog.tail->next->len
NO_OVERFLOW_SIMPLE 1 sk->sk_backlog.tail->next->tail
NO_OVERFLOW_SIMPLE 1 sk->sk_backlog.tail->next->truesize
NO_OVERFLOW_SIMPLE 1 sk->sk_backlog.tail->tail
NO_OVERFLOW_SIMPLE 1 sk->sk_backlog.tail->truesize
NO_OVERFLOW_SIMPLE 1 sk->sk_prot_creator->twsk_prot->twsk_slab->object_size
NO_OVERFLOW_SIMPLE 1 sk->sk_prot_creator->twsk_prot->twsk_slab->sheaf_capacity
NO_OVERFLOW_SIMPLE 1 sk->sk_receive_queue.prev->end
NO_OVERFLOW_SIMPLE 1 sk->sk_receive_queue.prev->len
NO_OVERFLOW_SIMPLE 1 sk->sk_receive_queue.prev->next->end
NO_OVERFLOW_SIMPLE 1 sk->sk_receive_queue.prev->next->len
NO_OVERFLOW_SIMPLE 1 sk->sk_receive_queue.prev->next->tail
NO_OVERFLOW_SIMPLE 1 sk->sk_receive_queue.prev->next->truesize
NO_OVERFLOW_SIMPLE 1 sk->sk_receive_queue.prev->tail
NO_OVERFLOW_SIMPLE 1 sk->sk_receive_queue.prev->truesize
NO_OVERFLOW_SIMPLE 1 sk->sk_write_queue.next->end
NO_OVERFLOW_SIMPLE 1 sk->sk_write_queue.next->len
NO_OVERFLOW_SIMPLE 1 sk->sk_write_queue.next->prev->end
NO_OVERFLOW_SIMPLE 1 sk->sk_write_queue.next->prev->len
NO_OVERFLOW_SIMPLE 1 sk->sk_write_queue.next->prev->tail
NO_OVERFLOW_SIMPLE 1 sk->sk_write_queue.next->prev->truesize
NO_OVERFLOW_SIMPLE 1 sk->sk_write_queue.next->tail
NO_OVERFLOW_SIMPLE 1 sk->sk_write_queue.next->truesize
NO_OVERFLOW_SIMPLE 1 sk->sk_write_queue.prev->data_len
NO_OVERFLOW_SIMPLE 1 sk->sk_write_queue.prev->len
NO_OVERFLOW_SIMPLE 1 sk->sk_write_queue.prev->next->data_len
NO_OVERFLOW_SIMPLE 1 sk->sk_write_queue.prev->next->len
NO_OVERFLOW_SIMPLE 1 sk->sk_write_queue.prev->next->truesize
NO_OVERFLOW_SIMPLE 1 sk->sk_write_queue.prev->truesize
UNITS 2 saddr unit_byte
UNITS 3 daddr unit_byte
LOCK2 rcu_read
HALF_LOCKED2 bh
HALF_LOCKED2 1 sk
HALF_LOCKED2 1 &sk->sk_lock.slock

net/xfrm/xfrm_nat_keepalive.c nat_keepalive_send_ipv4() -> ip_build_and_send_pkt()

Type Parameter Key Value
PARAM_VALUE 0 skb 4096-ptr_max
PARAM_VALUE 0 skb->_skb_refdst 0-18446744073709547520
PARAM_VALUE 0 skb->data_len 0
PARAM_VALUE 1 sk 0
PARAM_VALUE 1 sk->__sk_common.skc_net.net 4096-ptr_max
PARAM_VALUE 4 opt 0
PARAM_VALUE 5 tos 0
BUF_SIZE 0 skb 49
BUF_SIZE 0 skb 49
BUF_SIZE 1 sk 0
CAPPED_DATA 0 skb->head 1
DATA_SOURCE 0 skb $0
BIT_INFO 1 &sk->__sk_common.skc_net 0x30,0xffffffffffffffff
UNITS 2 saddr unit_byte
UNITS 3 daddr unit_byte