Open Menu /

Defined in 1 files as a prototype:

Defined in 1 files as a function:

Referenced in 4 files:

Smatch caller information:

net/ipv4/tcp_ipv4.c tcp_v4_get_syncookie() -> __cookie_v4_init_sequence()

Type Parameter Key Value
PARAM_VALUE 0 iph 4096-ptr_max
PARAM_VALUE 1 th 4096-ptr_max
PARAM_VALUE 1 th->ack 0
PARAM_VALUE 1 th->fin 0
PARAM_VALUE 1 th->rst 0
PARAM_VALUE 1 th->syn 1
PARAM_VALUE 2 mssp 4123745730534547456
PARAM_VALUE 2 *mssp 1-u16max
DATA_SOURCE 0 iph $1
DATA_SOURCE 1 th $2

net/ipv4/syncookies.c cookie_v4_init_sequence() -> __cookie_v4_init_sequence()

Type Parameter Key Value
PARAM_VALUE 0 iph 4096-ptr_max
PARAM_VALUE 1 th 4096-ptr_max
PARAM_VALUE 2 mssp 4096-ptr_max
DATA_SOURCE 0 iph r ip_hdr
DATA_SOURCE 1 th r tcp_hdr
DATA_SOURCE 2 mssp $1
RX_PATH
TASK_NOT_RUNNING
LOCK2 bh
LOCK2 rcu_read
HALF_LOCKED2 &sk->sk_lock.slock
HALF_LOCKED2 sk

net/core/filter.c ____bpf_tcp_raw_gen_syncookie_ipv4() -> __cookie_v4_init_sequence()

Type Parameter Key Value
PARAM_VALUE 1 th 4096-ptr_max
PARAM_VALUE 2 mssp 6205503188332093440
PARAM_VALUE 2 *mssp 1-u16max
DATA_SOURCE 0 iph $0
DATA_SOURCE 1 th $1

net/netfilter/nf_synproxy_core.c synproxy_send_client_synack() -> __cookie_v4_init_sequence()

Type Parameter Key Value
PARAM_VALUE 0 iph 4096-ptr_max
PARAM_VALUE 1 th 4096-ptr_max
PARAM_VALUE 1 th->syn 1
PARAM_VALUE 2 mssp 119708247527673856
BUF_SIZE 1 th (-1),20
BUF_SIZE 1 th (-1),20
DATA_SOURCE 0 iph r ip_hdr
DATA_SOURCE 1 th $2
RX_PATH
TASK_NOT_RUNNING