Defined in 1 files as a prototype:

Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

security/tomoyo/realpath.c tomoyo_realpath_from_path() -> (struct dentry_operations)->d_dname()

Type Parameter Key Value
PARAM_VALUE 0 dentry 4096-ptr_max
PARAM_VALUE 0 dentry->d_op 4096-ptr_max
PARAM_VALUE 0 dentry->d_op->d_dname 4096-ptr_max
PARAM_VALUE 1 buffer 4096-ptr_max
PARAM_VALUE 2 buflen 4095,8191
BUF_SIZE 1 buffer 4096,8192
BUF_SIZE 1 buffer 4096,8192
DATA_SOURCE 1 buffer r _kmalloc_noprof
CONTAINER 0 -72-160+0 $(-1)
TERMINATED 1 buffer 1
LOCK2 global &tomoyo_ss
HALF_LOCKED2 &head->io_sem

fs/d_path.c d_path() -> (struct dentry_operations)->d_dname()

Type Parameter Key Value
PARAM_VALUE 0 dentry 4096-ptr_max
PARAM_VALUE 0 dentry->d_op 4096-ptr_max
PARAM_VALUE 0 dentry->d_op->d_dname 4096-ptr_max
BUF_SIZE 1 buffer (-1),1-4096,4107
BUF_SIZE 1 buffer (-1),1-4096,4107
CAPPED_DATA 0 dentry 1
DATA_SOURCE 1 buffer $1
DATA_SOURCE 2 buflen $2
CONTAINER 0 *(-72-160+0) $(-1)
NOSPEC 2 buflen
NOSPEC 2 buflen
RX_PATH
TASK_NOT_RUNNING
USER_DATA 2 buflen 2-4096[c]
BYTE_COUNT 1 ==buffer2 8050
HALF_LOCKED2 &inode->i_rwsem
HALF_LOCKED2 &m->lock
HALF_LOCKED2 &mm->mmap_lock
HALF_LOCKED2 &pool->lock
HALF_LOCKED2 &seq->lock
HALF_LOCKED2 global &nfsd_mutex