Defined in 1 files as a prototype:
Defined in 1 files as a function:
Referenced in 1 files:
Smatch caller information:
fs/crypto/policy.c fscrypt_supported_v1_policy() -> fscrypt_msg()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | inode | 4096-ptr_max |
| PARAM_VALUE | 0 | inode->i_sb | 4096-ptr_max |
| PARAM_VALUE | 1 | level | 7930184486994051072 |
| PARAM_VALUE | 2 | fmt | 8532619952207482880 |
| BUF_SIZE | 0 | inode | (-1),1-s32max |
| BUF_SIZE | 0 | inode | (-1),1-s32max |
| BUF_SIZE | 1 | level | 3 |
| BUF_SIZE | 2 | fmt | 57 |
| DATA_SOURCE | 0 | inode | $1 |
| STR_LEN | 0 | inode | (-1)-1010101 |
| STR_LEN | 0 | inode | (-1)-1010101 |
| STR_LEN | 0 | inode->i_sb | (-1) |
| STR_LEN | 1 | level | 2 |
| STR_LEN | 2 | fmt | 56 |
| NOSPEC | 0 | inode->i_bytes | |
| TERMINATED | 1 | level | 1 |
| TERMINATED | 2 | fmt | 1 |
| PREEMPT_ADD | |||
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL | |||
| USER_DATA | 0 | inode->__i_nlink | 1-u32max |
| USER_DATA | 0 | inode->i_blocks | 0-18014398509481983,18428729675200069632-u64max |
| USER_DATA | 0 | inode->i_bytes | 0-511[c] |
| USER_DATA | 0 | inode->i_ino | 0-u64max |
| USER_DATA | 0 | inode->i_mode | 0-u16max |
| USER_DATA | 0 | inode->i_rdev | 0-u32max[c] |
| USER_DATA | 0 | inode->i_size | (-9223372036854775807)-(-4),0-s64max |
| NO_OVERFLOW_SIMPLE | 0 | inode->i_blkbits | |
| HALF_LOCKED2 | &inode->i_rwsem |
fs/crypto/policy.c fscrypt_supported_v1_policy() -> fscrypt_msg()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | inode | 4096-ptr_max |
| PARAM_VALUE | 0 | inode->i_sb | 4096-ptr_max |
| PARAM_VALUE | 1 | level | 7930184486994051072 |
| PARAM_VALUE | 2 | fmt | 819160878025945088 |
| BUF_SIZE | 0 | inode | (-1),1-s32max |
| BUF_SIZE | 0 | inode | (-1),1-s32max |
| BUF_SIZE | 1 | level | 3 |
| BUF_SIZE | 2 | fmt | 38 |
| DATA_SOURCE | 0 | inode | $1 |
| STR_LEN | 0 | inode | (-1)-1010101 |
| STR_LEN | 0 | inode | (-1)-1010101 |
| STR_LEN | 0 | inode->i_sb | (-1) |
| STR_LEN | 1 | level | 2 |
| STR_LEN | 2 | fmt | 37 |
| NOSPEC | 0 | inode->i_bytes | |
| TERMINATED | 1 | level | 1 |
| TERMINATED | 2 | fmt | 1 |
| PREEMPT_ADD | |||
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL | |||
| USER_DATA | 0 | inode->__i_nlink | 1-u32max |
| USER_DATA | 0 | inode->i_blocks | 0-18014398509481983,18428729675200069632-u64max |
| USER_DATA | 0 | inode->i_bytes | 0-511[c] |
| USER_DATA | 0 | inode->i_ino | 0-u64max |
| USER_DATA | 0 | inode->i_mode | 0-u16max |
| USER_DATA | 0 | inode->i_rdev | 0-u32max[c] |
| USER_DATA | 0 | inode->i_size | (-9223372036854775807)-(-4),0-s64max |
| NO_OVERFLOW_SIMPLE | 0 | inode->i_blkbits | |
| HALF_LOCKED2 | &inode->i_rwsem |
fs/crypto/policy.c fscrypt_supported_v1_policy() -> fscrypt_msg()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | inode | 4096-ptr_max |
| PARAM_VALUE | 0 | inode->i_sb | 4096-ptr_max |
| PARAM_VALUE | 1 | level | 7930184486994051072 |
| PARAM_VALUE | 2 | fmt | 3938129816898596864 |
| BUF_SIZE | 0 | inode | (-1),1-s32max |
| BUF_SIZE | 0 | inode | (-1),1-s32max |
| BUF_SIZE | 1 | level | 3 |
| BUF_SIZE | 2 | fmt | 52 |
| DATA_SOURCE | 0 | inode | $1 |
| STR_LEN | 0 | inode | (-1)-1010101 |
| STR_LEN | 0 | inode | (-1)-1010101 |
| STR_LEN | 0 | inode->i_sb | (-1) |
| STR_LEN | 1 | level | 2 |
| STR_LEN | 2 | fmt | 51 |
| BIT_INFO | 0 | inode->i_flags | 0x8000,0xffffffff |
| NOSPEC | 0 | inode->i_bytes | |
| TERMINATED | 1 | level | 1 |
| TERMINATED | 2 | fmt | 1 |
| PREEMPT_ADD | |||
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL | |||
| USER_DATA | 0 | inode->__i_nlink | 1-u32max |
| USER_DATA | 0 | inode->i_blocks | 0-18014398509481983,18428729675200069632-u64max |
| USER_DATA | 0 | inode->i_bytes | 0-511[c] |
| USER_DATA | 0 | inode->i_ino | 0-u64max |
| USER_DATA | 0 | inode->i_mode | 0-u16max |
| USER_DATA | 0 | inode->i_rdev | 0-u32max[c] |
| USER_DATA | 0 | inode->i_size | (-9223372036854775807)-(-4),0-s64max |
| NO_OVERFLOW_SIMPLE | 0 | inode->i_blkbits | |
| HALF_LOCKED2 | &inode->i_rwsem |
fs/crypto/policy.c fscrypt_supported_v2_policy() -> fscrypt_msg()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | inode | 4096-ptr_max |
| PARAM_VALUE | 0 | inode->i_rwsem.osq.tail.counter | 0-s32max |
| PARAM_VALUE | 0 | inode->i_sb | 4096-ptr_max |
| PARAM_VALUE | 1 | level | 7930184486994051072 |
| PARAM_VALUE | 2 | fmt | 8532619952207482880 |
| BUF_SIZE | 1 | level | 3 |
| BUF_SIZE | 2 | fmt | 57 |
| DATA_SOURCE | 0 | inode | $1 |
| STR_LEN | 0 | inode | (-1) |
| STR_LEN | 0 | inode | (-1) |
| STR_LEN | 0 | inode->i_sb | (-1) |
| STR_LEN | 1 | level | 2 |
| STR_LEN | 2 | fmt | 56 |
| BIT_INFO | 0 | inode->i_flags | 0x0,0xffffffef |
| TERMINATED | 1 | level | 1 |
| TERMINATED | 2 | fmt | 1 |
| RX_PATH | |||
| NOCHECK_CALL | |||
| NO_OVERFLOW_SIMPLE | 0 | inode->i_blkbits | |
| LOCK2 | &inode->i_rwsem | ||
| TYPE_LOCK | (struct inode)->i_rwsem |
fs/crypto/policy.c fscrypt_supported_v2_policy() -> fscrypt_msg()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | inode | 4096-ptr_max |
| PARAM_VALUE | 0 | inode->i_rwsem.osq.tail.counter | 0-s32max |
| PARAM_VALUE | 0 | inode->i_sb | 4096-ptr_max |
| PARAM_VALUE | 1 | level | 7930184486994051072 |
| PARAM_VALUE | 2 | fmt | 819160878025945088 |
| BUF_SIZE | 1 | level | 3 |
| BUF_SIZE | 2 | fmt | 38 |
| DATA_SOURCE | 0 | inode | $1 |
| STR_LEN | 0 | inode | (-1) |
| STR_LEN | 0 | inode | (-1) |
| STR_LEN | 0 | inode->i_sb | (-1) |
| STR_LEN | 1 | level | 2 |
| STR_LEN | 2 | fmt | 37 |
| BIT_INFO | 0 | inode->i_flags | 0x0,0xffffffef |
| TERMINATED | 1 | level | 1 |
| TERMINATED | 2 | fmt | 1 |
| RX_PATH | |||
| NOCHECK_CALL | |||
| NO_OVERFLOW_SIMPLE | 0 | inode->i_blkbits | |
| LOCK2 | &inode->i_rwsem | ||
| TYPE_LOCK | (struct inode)->i_rwsem |
fs/crypto/policy.c fscrypt_supported_v2_policy() -> fscrypt_msg()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | inode | 4096-ptr_max |
| PARAM_VALUE | 0 | inode->i_rwsem.osq.tail.counter | 0-s32max |
| PARAM_VALUE | 0 | inode->i_sb | 4096-ptr_max |
| PARAM_VALUE | 1 | level | 7930184486994051072 |
| PARAM_VALUE | 2 | fmt | 2106596747089383424 |
| PARAM_VALUE | 3 | $ | 0-30 |
| BUF_SIZE | 1 | level | 3 |
| BUF_SIZE | 2 | fmt | 45 |
| DATA_SOURCE | 0 | inode | $1 |
| STR_LEN | 0 | inode | (-1) |
| STR_LEN | 0 | inode | (-1) |
| STR_LEN | 0 | inode->i_sb | (-1) |
| STR_LEN | 1 | level | 2 |
| STR_LEN | 2 | fmt | 44 |
| BIT_INFO | 0 | inode->i_flags | 0x0,0xffffffef |
| TERMINATED | 1 | level | 1 |
| TERMINATED | 2 | fmt | 1 |
| RX_PATH | |||
| NOCHECK_CALL | |||
| NO_OVERFLOW_SIMPLE | 0 | inode->i_blkbits | |
| LOCK2 | &inode->i_rwsem | ||
| TYPE_LOCK | (struct inode)->i_rwsem |
fs/crypto/policy.c fscrypt_supported_v2_policy() -> fscrypt_msg()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | inode | 4096-ptr_max |
| PARAM_VALUE | 0 | inode->i_rwsem.osq.tail.counter | 0-s32max |
| PARAM_VALUE | 0 | inode->i_sb | 4096-ptr_max |
| PARAM_VALUE | 1 | level | 7930184486994051072 |
| PARAM_VALUE | 2 | fmt | 678431212302086144 |
| BUF_SIZE | 1 | level | 3 |
| BUF_SIZE | 2 | fmt | 62 |
| DATA_SOURCE | 0 | inode | $1 |
| STR_LEN | 0 | inode | (-1) |
| STR_LEN | 0 | inode | (-1) |
| STR_LEN | 0 | inode->i_sb | (-1) |
| STR_LEN | 1 | level | 2 |
| STR_LEN | 2 | fmt | 61 |
| BIT_INFO | 0 | inode->i_flags | 0x0,0xffffffef |
| TERMINATED | 1 | level | 1 |
| TERMINATED | 2 | fmt | 1 |
| RX_PATH | |||
| NOCHECK_CALL | |||
| NO_OVERFLOW_SIMPLE | 0 | inode->i_blkbits | |
| LOCK2 | &inode->i_rwsem | ||
| TYPE_LOCK | (struct inode)->i_rwsem |
fs/crypto/policy.c fscrypt_supported_v2_policy() -> fscrypt_msg()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | inode | 4096-ptr_max |
| PARAM_VALUE | 0 | inode->i_rwsem.osq.tail.counter | 0-s32max |
| PARAM_VALUE | 0 | inode->i_sb | 4096-ptr_max |
| PARAM_VALUE | 1 | level | 7930184486994051072 |
| PARAM_VALUE | 2 | fmt | 7438500424451784704 |
| PARAM_VALUE | 3 | $ | 1-255 |
| BUF_SIZE | 1 | level | 3 |
| BUF_SIZE | 2 | fmt | 57 |
| CAPPED_DATA | 0 | inode->i_blkbits | 1 |
| CAPPED_DATA | 3 | $ | 1 |
| DATA_SOURCE | 0 | inode | $1 |
| FUZZY_MAX | 3 | $ | 8 |
| STR_LEN | 0 | inode | (-1) |
| STR_LEN | 0 | inode | (-1) |
| STR_LEN | 0 | inode->i_sb | (-1) |
| STR_LEN | 1 | level | 2 |
| STR_LEN | 2 | fmt | 56 |
| BIT_INFO | 0 | inode->i_flags | 0x0,0xffffffef |
| TERMINATED | 1 | level | 1 |
| TERMINATED | 2 | fmt | 1 |
| RX_PATH | |||
| NOCHECK_CALL | |||
| NO_OVERFLOW_SIMPLE | 0 | inode->i_blkbits | |
| LOCK2 | &inode->i_rwsem | ||
| TYPE_LOCK | (struct inode)->i_rwsem |
fs/crypto/policy.c fscrypt_supported_v2_policy() -> fscrypt_msg()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | inode | 4096-ptr_max |
| PARAM_VALUE | 0 | inode->i_blkbits | 1-255 |
| PARAM_VALUE | 0 | inode->i_rwsem.osq.tail.counter | 0-s32max |
| PARAM_VALUE | 0 | inode->i_sb | 4096-ptr_max |
| PARAM_VALUE | 1 | level | 7930184486994051072 |
| PARAM_VALUE | 2 | fmt | 1652953872938041344 |
| BUF_SIZE | 1 | level | 3 |
| BUF_SIZE | 2 | fmt | 59 |
| DATA_SOURCE | 0 | inode | $1 |
| STR_LEN | 0 | inode | (-1) |
| STR_LEN | 0 | inode | (-1) |
| STR_LEN | 0 | inode->i_sb | (-1) |
| STR_LEN | 1 | level | 2 |
| STR_LEN | 2 | fmt | 58 |
| BIT_INFO | 0 | inode->i_flags | 0x0,0xffffffef |
| TERMINATED | 1 | level | 1 |
| TERMINATED | 2 | fmt | 1 |
| RX_PATH | |||
| NOCHECK_CALL | |||
| NO_OVERFLOW_SIMPLE | 0 | inode->i_blkbits | |
| LOCK2 | &inode->i_rwsem | ||
| TYPE_LOCK | (struct inode)->i_rwsem |
fs/crypto/policy.c fscrypt_supported_v2_policy() -> fscrypt_msg()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | inode | 4096-ptr_max |
| PARAM_VALUE | 0 | inode->i_rwsem.osq.tail.counter | 0-s32max |
| PARAM_VALUE | 0 | inode->i_sb | 4096-ptr_max |
| PARAM_VALUE | 1 | level | 7930184486994051072 |
| PARAM_VALUE | 2 | fmt | 6665763414300631040 |
| BUF_SIZE | 1 | level | 3 |
| BUF_SIZE | 2 | fmt | 39 |
| DATA_SOURCE | 0 | inode | $1 |
| STR_LEN | 0 | inode | (-1) |
| STR_LEN | 0 | inode | (-1) |
| STR_LEN | 0 | inode->i_sb | (-1) |
| STR_LEN | 1 | level | 2 |
| STR_LEN | 2 | fmt | 38 |
| BIT_INFO | 0 | inode->i_flags | 0x0,0xffffffef |
| TERMINATED | 1 | level | 1 |
| TERMINATED | 2 | fmt | 1 |
| RX_PATH | |||
| NOCHECK_CALL | |||
| NO_OVERFLOW_SIMPLE | 0 | inode->i_blkbits | |
| LOCK2 | &inode->i_rwsem | ||
| TYPE_LOCK | (struct inode)->i_rwsem |
fs/crypto/policy.c supported_direct_key_modes() -> fscrypt_msg()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | inode | 4096-ptr_max |
| PARAM_VALUE | 0 | inode->i_sb | 4096-ptr_max |
| PARAM_VALUE | 1 | level | 7930184486994051072 |
| PARAM_VALUE | 2 | fmt | 6336628073567584256 |
| BUF_SIZE | 0 | inode | (-1),1-s32max |
| BUF_SIZE | 0 | inode | (-1),1-s32max |
| BUF_SIZE | 1 | level | 3 |
| BUF_SIZE | 2 | fmt | 72 |
| DATA_SOURCE | 0 | inode | $0 |
| STR_LEN | 0 | inode | 2 |
| STR_LEN | 0 | inode->i_sb | (-1) |
| STR_LEN | 1 | level | 71 |
| TERMINATED | 1 | level | 1 |
| TERMINATED | 2 | fmt | 1 |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL | |||
| USER_DATA | 0 | inode->__i_nlink | 1-u32max |
| USER_DATA | 0 | inode->i_blocks | 0-18014398509481983,18428729675200069632-u64max |
| USER_DATA | 0 | inode->i_bytes | 0-511[c] |
| USER_DATA | 0 | inode->i_ino | 0-u64max |
| USER_DATA | 0 | inode->i_mode | 0-u16max |
| USER_DATA | 0 | inode->i_rdev | 0-u32max[c] |
| USER_DATA | 0 | inode->i_size | (-9223372036854775807)-(-4),0-s64max |
| NO_OVERFLOW_SIMPLE | 0 | inode->i_blkbits | |
| NO_OVERFLOW_SIMPLE | 0 | inode->i_linklen | |
| HALF_LOCKED2 | &inode->i_rwsem |
fs/crypto/policy.c supported_direct_key_modes() -> fscrypt_msg()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | inode | 4096-ptr_max |
| PARAM_VALUE | 0 | inode->i_sb | 4096-ptr_max |
| PARAM_VALUE | 1 | level | 7930184486994051072 |
| PARAM_VALUE | 2 | fmt | 6118841006718951424 |
| BUF_SIZE | 0 | inode | (-1),1-s32max |
| BUF_SIZE | 0 | inode | (-1),1-s32max |
| BUF_SIZE | 1 | level | 3 |
| BUF_SIZE | 2 | fmt | 36 |
| DATA_SOURCE | 0 | inode | $0 |
| STR_LEN | 0 | inode | 2 |
| STR_LEN | 0 | inode->i_sb | (-1) |
| STR_LEN | 1 | level | 35 |
| TERMINATED | 1 | level | 1 |
| TERMINATED | 2 | fmt | 1 |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL | |||
| USER_DATA | 0 | inode->__i_nlink | 1-u32max |
| USER_DATA | 0 | inode->i_blocks | 0-18014398509481983,18428729675200069632-u64max |
| USER_DATA | 0 | inode->i_bytes | 0-511[c] |
| USER_DATA | 0 | inode->i_ino | 0-u64max |
| USER_DATA | 0 | inode->i_mode | 0-u16max |
| USER_DATA | 0 | inode->i_rdev | 0-u32max[c] |
| USER_DATA | 0 | inode->i_size | (-9223372036854775807)-(-4),0-s64max |
| NO_OVERFLOW_SIMPLE | 0 | inode->i_blkbits | |
| NO_OVERFLOW_SIMPLE | 0 | inode->i_linklen | |
| HALF_LOCKED2 | &inode->i_rwsem |
fs/crypto/policy.c supported_iv_ino_lblk_policy() -> fscrypt_msg()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | inode | 4096-ptr_max |
| PARAM_VALUE | 0 | inode->i_rwsem.osq.tail.counter | 0-s32max |
| PARAM_VALUE | 0 | inode->i_sb | 4096-ptr_max |
| PARAM_VALUE | 1 | level | 7930184486994051072 |
| PARAM_VALUE | 2 | fmt | 471508582933823488 |
| PARAM_VALUE | 3 | $ | 5190665375532724224,6111780541110513664 |
| BUF_SIZE | 1 | level | 3 |
| BUF_SIZE | 2 | fmt | 62 |
| BUF_SIZE | 3 | $ | 15 |
| BUF_SIZE | 3 | $ | 15 |
| DATA_SOURCE | 0 | inode | $1 |
| STR_LEN | 0 | inode | 2 |
| STR_LEN | 0 | inode->i_sb | (-1) |
| STR_LEN | 1 | level | 61 |
| STR_LEN | 2 | fmt | 14 |
| STR_LEN | 3 | $ | 14 |
| BIT_INFO | 0 | inode->i_flags | 0x0,0xffffffef |
| BIT_INFO | 3 | $ | 0x4000600040083000,0x5cd9faad628d7000 |
| BIT_INFO | 3 | $ | 0x4000600040083000,0x5cd9faad628d7000 |
| TERMINATED | 1 | level | 1 |
| TERMINATED | 2 | fmt | 1 |
| TERMINATED | 3 | $ | 1 |
| RX_PATH | |||
| NOCHECK_CALL | |||
| NO_OVERFLOW_SIMPLE | 0 | inode->i_blkbits | |
| NO_OVERFLOW_SIMPLE | 0 | inode->i_linklen | |
| LOCK2 | &inode->i_rwsem | ||
| TYPE_LOCK | (struct inode)->i_rwsem |
fs/crypto/policy.c supported_iv_ino_lblk_policy() -> fscrypt_msg()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | inode | 4096-ptr_max |
| PARAM_VALUE | 0 | inode->i_rwsem.osq.tail.counter | 0-s32max |
| PARAM_VALUE | 0 | inode->i_sb | 4096-ptr_max |
| PARAM_VALUE | 1 | level | 7930184486994051072 |
| PARAM_VALUE | 2 | fmt | 298714926639337472 |
| PARAM_VALUE | 3 | $ | 5190665375532724224,6111780541110513664 |
| BUF_SIZE | 1 | level | 3 |
| BUF_SIZE | 2 | fmt | 84 |
| BUF_SIZE | 3 | $ | 15 |
| BUF_SIZE | 3 | $ | 15 |
| BUF_SIZE | 4 | $ | 32 |
| DATA_SOURCE | 0 | inode | $1 |
| STR_LEN | 0 | inode | 2 |
| STR_LEN | 0 | inode->i_sb | (-1) |
| STR_LEN | 1 | level | 83 |
| STR_LEN | 2 | fmt | 14 |
| STR_LEN | 3 | $ | 14 |
| BIT_INFO | 0 | inode->i_flags | 0x0,0xffffffef |
| BIT_INFO | 3 | $ | 0x4000600040083000,0x5cd9faad628d7000 |
| BIT_INFO | 3 | $ | 0x4000600040083000,0x5cd9faad628d7000 |
| TERMINATED | 1 | level | 1 |
| TERMINATED | 2 | fmt | 1 |
| TERMINATED | 3 | $ | 1 |
| RX_PATH | |||
| NOCHECK_CALL | |||
| NO_OVERFLOW_SIMPLE | 0 | inode->i_blkbits | |
| NO_OVERFLOW_SIMPLE | 0 | inode->i_linklen | |
| LOCK2 | &inode->i_rwsem | ||
| TYPE_LOCK | (struct inode)->i_rwsem |
fs/crypto/policy.c supported_iv_ino_lblk_policy() -> fscrypt_msg()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | inode | 4096-ptr_max |
| PARAM_VALUE | 0 | inode->i_rwsem.osq.tail.counter | 0-s32max |
| PARAM_VALUE | 0 | inode->i_sb | 4096-ptr_max |
| PARAM_VALUE | 1 | level | 7930184486994051072 |
| PARAM_VALUE | 2 | fmt | 2320274002545541120 |
| PARAM_VALUE | 3 | $ | 5190665375532724224,6111780541110513664 |
| BUF_SIZE | 1 | level | 3 |
| BUF_SIZE | 2 | fmt | 78 |
| BUF_SIZE | 3 | $ | 15 |
| BUF_SIZE | 3 | $ | 15 |
| BUF_SIZE | 4 | $ | 32 |
| DATA_SOURCE | 0 | inode | $1 |
| STR_LEN | 0 | inode | 2 |
| STR_LEN | 0 | inode->i_sb | (-1) |
| STR_LEN | 1 | level | 77 |
| STR_LEN | 2 | fmt | 14 |
| STR_LEN | 3 | $ | 14 |
| BIT_INFO | 0 | inode->i_flags | 0x0,0xffffffef |
| BIT_INFO | 3 | $ | 0x4000600040083000,0x5cd9faad628d7000 |
| BIT_INFO | 3 | $ | 0x4000600040083000,0x5cd9faad628d7000 |
| TERMINATED | 1 | level | 1 |
| TERMINATED | 2 | fmt | 1 |
| TERMINATED | 3 | $ | 1 |
| RX_PATH | |||
| NOCHECK_CALL | |||
| NO_OVERFLOW_SIMPLE | 0 | inode->i_blkbits | |
| NO_OVERFLOW_SIMPLE | 0 | inode->i_linklen | |
| LOCK2 | &inode->i_rwsem | ||
| TYPE_LOCK | (struct inode)->i_rwsem |
fs/crypto/policy.c supported_iv_ino_lblk_policy() -> fscrypt_msg()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | inode | 4096-ptr_max |
| PARAM_VALUE | 0 | inode->i_rwsem.osq.tail.counter | 0-s32max |
| PARAM_VALUE | 0 | inode->i_sb | 4096-ptr_max |
| PARAM_VALUE | 1 | level | 7930184486994051072 |
| PARAM_VALUE | 2 | fmt | 1562591686463877120 |
| PARAM_VALUE | 3 | $ | 5190665375532724224,6111780541110513664 |
| BUF_SIZE | 1 | level | 3 |
| BUF_SIZE | 2 | fmt | 82 |
| BUF_SIZE | 3 | $ | 15 |
| BUF_SIZE | 3 | $ | 15 |
| BUF_SIZE | 4 | $ | 32 |
| DATA_SOURCE | 0 | inode | $1 |
| STR_LEN | 0 | inode | 2 |
| STR_LEN | 0 | inode->i_sb | (-1) |
| STR_LEN | 1 | level | 81 |
| STR_LEN | 2 | fmt | 14 |
| STR_LEN | 3 | $ | 14 |
| BIT_INFO | 0 | inode->i_flags | 0x0,0xffffffef |
| BIT_INFO | 3 | $ | 0x4000600040083000,0x5cd9faad628d7000 |
| BIT_INFO | 3 | $ | 0x4000600040083000,0x5cd9faad628d7000 |
| TERMINATED | 1 | level | 1 |
| TERMINATED | 2 | fmt | 1 |
| TERMINATED | 3 | $ | 1 |
| RX_PATH | |||
| NOCHECK_CALL | |||
| NO_OVERFLOW_SIMPLE | 0 | inode->i_blkbits | |
| NO_OVERFLOW_SIMPLE | 0 | inode->i_linklen | |
| LOCK2 | &inode->i_rwsem | ||
| TYPE_LOCK | (struct inode)->i_rwsem |
fs/crypto/policy.c supported_iv_ino_lblk_policy() -> fscrypt_msg()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | inode | 4096-ptr_max |
| PARAM_VALUE | 0 | inode->i_rwsem.osq.tail.counter | 0-s32max |
| PARAM_VALUE | 0 | inode->i_sb | 4096-ptr_max |
| PARAM_VALUE | 1 | level | 7930184486994051072 |
| PARAM_VALUE | 2 | fmt | 828012896197357568 |
| PARAM_VALUE | 3 | $ | 5190665375532724224,6111780541110513664 |
| BUF_SIZE | 1 | level | 3 |
| BUF_SIZE | 2 | fmt | 68 |
| BUF_SIZE | 3 | $ | 15 |
| BUF_SIZE | 3 | $ | 15 |
| BUF_SIZE | 4 | $ | 32 |
| DATA_SOURCE | 0 | inode | $1 |
| STR_LEN | 0 | inode | 2 |
| STR_LEN | 0 | inode->i_sb | (-1) |
| STR_LEN | 1 | level | 67 |
| STR_LEN | 2 | fmt | 14 |
| STR_LEN | 3 | $ | 14 |
| BIT_INFO | 0 | inode->i_flags | 0x0,0xffffffef |
| BIT_INFO | 3 | $ | 0x4000600040083000,0x5cd9faad628d7000 |
| BIT_INFO | 3 | $ | 0x4000600040083000,0x5cd9faad628d7000 |
| TERMINATED | 1 | level | 1 |
| TERMINATED | 2 | fmt | 1 |
| TERMINATED | 3 | $ | 1 |
| RX_PATH | |||
| NOCHECK_CALL | |||
| NO_OVERFLOW_SIMPLE | 0 | inode->i_blkbits | |
| NO_OVERFLOW_SIMPLE | 0 | inode->i_linklen | |
| LOCK2 | &inode->i_rwsem | ||
| TYPE_LOCK | (struct inode)->i_rwsem |
fs/crypto/keyring.c check_for_busy_inodes() -> fscrypt_msg()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | inode | 0 |
| PARAM_VALUE | 1 | level | 7930184486994051072 |
| PARAM_VALUE | 2 | fmt | 5621167525665951744 |
| PARAM_VALUE | 4 | $ | 1-u64max |
| PARAM_VALUE | 5 | $ | 4474288080286711808,6061095552399945728 |
| PARAM_VALUE | 6 | $ | 8,16 |
| PARAM_VALUE | 7 | $ | 4096-ptr_max |
| PARAM_VALUE | 8 | $ | 1463623429029564416 |
| BUF_SIZE | 1 | level | 3 |
| BUF_SIZE | 2 | fmt | 63 |
| BUF_SIZE | 3 | $ | 32 |
| BUF_SIZE | 5 | $ | 11 |
| BUF_SIZE | 7 | $ | 32 |
| BUF_SIZE | 8 | $ | 50 |
| STR_LEN | 0 | inode | 2 |
| STR_LEN | 1 | level | 62 |
| STR_LEN | 2 | fmt | 0,49 |
| STR_LEN | 8 | $ | 0,49 |
| BIT_INFO | 5 | $ | 0x0,0x7fffffffffffffff |
| BIT_INFO | 6 | $ | 0x0,0x1f |
| TERMINATED | 1 | level | 1 |
| TERMINATED | 2 | fmt | 1 |
| TERMINATED | 8 | $ | 1 |
| NOCHECK_CALL |
fs/crypto/block.c fscrypt_derive_sw_secret() -> fscrypt_msg()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | inode | 0 |
| PARAM_VALUE | 1 | level | 7930184486994051072 |
| PARAM_VALUE | 2 | fmt | 5239442919448387584 |
| BUF_SIZE | 1 | level | 3 |
| BUF_SIZE | 2 | fmt | 45 |
| BUF_SIZE | 3 | $ | 32 |
| STR_LEN | 0 | inode | 2 |
| STR_LEN | 1 | level | 44 |
| TERMINATED | 1 | level | 1 |
| TERMINATED | 2 | fmt | 1 |
| RX_PATH | |||
| NOCHECK_CALL |
fs/crypto/block.c fscrypt_derive_sw_secret() -> fscrypt_msg()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | inode | 0 |
| PARAM_VALUE | 1 | level | 7930184486994051072 |
| PARAM_VALUE | 2 | fmt | 7392736078068195328 |
| BUF_SIZE | 1 | level | 3 |
| BUF_SIZE | 2 | fmt | 56 |
| BUF_SIZE | 3 | $ | 32 |
| STR_LEN | 0 | inode | 2 |
| STR_LEN | 1 | level | 55 |
| TERMINATED | 1 | level | 1 |
| TERMINATED | 2 | fmt | 1 |
| RX_PATH | |||
| NOCHECK_CALL |
fs/crypto/block.c fscrypt_prepare_inline_crypt_key() -> fscrypt_msg()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | inode | 4096-ptr_max |
| PARAM_VALUE | 0 | inode->i_sb | 4096-ptr_max |
| PARAM_VALUE | 1 | level | 7667477890358845440 |
| PARAM_VALUE | 2 | fmt | 4121083552213811200 |
| BUF_SIZE | 0 | inode | (-1),1-s32max |
| BUF_SIZE | 0 | inode | (-1),1-s32max |
| BUF_SIZE | 1 | level | 3 |
| BUF_SIZE | 2 | fmt | 65 |
| STR_LEN | 0 | inode | (-1)-1010101 |
| STR_LEN | 0 | inode | (-1)-1010101 |
| STR_LEN | 0 | inode->i_sb | (-1) |
| STR_LEN | 1 | level | 2 |
| STR_LEN | 2 | fmt | 64 |
| NOSPEC | 0 | inode->i_bytes | |
| NOSPEC | 0 | inode->i_size | |
| TERMINATED | 1 | level | 1 |
| TERMINATED | 2 | fmt | 1 |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL | |||
| USER_DATA | 0 | inode->__i_nlink | 1-u32max |
| USER_DATA | 0 | inode->i_atime_nsec | 0-u32max |
| USER_DATA | 0 | inode->i_atime_sec | 0-4294967295 |
| USER_DATA | 0 | inode->i_blocks | 0-18014398509481983,18428729675200069632-u64max |
| USER_DATA | 0 | inode->i_bytes | 0-511[c] |
| USER_DATA | 0 | inode->i_ino | 0-u64max |
| USER_DATA | 0 | inode->i_mode | 0-u16max |
| USER_DATA | 0 | inode->i_mtime_nsec | 0-u32max |
| USER_DATA | 0 | inode->i_mtime_sec | 0-4294967295 |
| USER_DATA | 0 | inode->i_rdev | 0-u32max[c] |
| USER_DATA | 0 | inode->i_size | (-9223372036854775807)-(-4),0-s64max |
| NO_OVERFLOW_SIMPLE | 0 | inode->i_blkbits | |
| NO_OVERFLOW_SIMPLE | 0 | inode->i_linklen | |
| LOCK2 | &mk->mk_sem | ||
| LOCK2 | _T->lock | ||
| TYPE_LOCK | (struct fscrypt_master_key)->mk_sem |
fs/crypto/block.c fscrypt_prepare_inline_crypt_key() -> fscrypt_msg()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | inode | 4096-ptr_max |
| PARAM_VALUE | 0 | inode->i_sb | 4096-ptr_max |
| PARAM_VALUE | 1 | level | 7667477890358845440 |
| PARAM_VALUE | 2 | fmt | 7245570442405257216 |
| PARAM_VALUE | 3 | $ | (-22) |
| BUF_SIZE | 0 | inode | (-1),1-s32max |
| BUF_SIZE | 0 | inode | (-1),1-s32max |
| BUF_SIZE | 1 | level | 3 |
| BUF_SIZE | 2 | fmt | 37 |
| DATA_SOURCE | 3 | $ | r blk_crypto_init_key |
| STR_LEN | 0 | inode | (-1)-1010101 |
| STR_LEN | 0 | inode | (-1)-1010101 |
| STR_LEN | 0 | inode->i_sb | (-1) |
| STR_LEN | 1 | level | 2 |
| STR_LEN | 2 | fmt | 36 |
| NOSPEC | 0 | inode->i_bytes | |
| NOSPEC | 0 | inode->i_size | |
| TERMINATED | 1 | level | 1 |
| TERMINATED | 2 | fmt | 1 |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL | |||
| USER_DATA | 0 | inode->__i_nlink | 1-u32max |
| USER_DATA | 0 | inode->i_atime_nsec | 0-u32max |
| USER_DATA | 0 | inode->i_atime_sec | 0-4294967295 |
| USER_DATA | 0 | inode->i_blocks | 0-18014398509481983,18428729675200069632-u64max |
| USER_DATA | 0 | inode->i_bytes | 0-511[c] |
| USER_DATA | 0 | inode->i_ino | 0-u64max |
| USER_DATA | 0 | inode->i_mode | 0-u16max |
| USER_DATA | 0 | inode->i_mtime_nsec | 0-u32max |
| USER_DATA | 0 | inode->i_mtime_sec | 0-4294967295 |
| USER_DATA | 0 | inode->i_rdev | 0-u32max[c] |
| USER_DATA | 0 | inode->i_size | (-9223372036854775807)-(-4),0-s64max |
| NO_OVERFLOW_SIMPLE | 0 | inode->i_blkbits | |
| NO_OVERFLOW_SIMPLE | 0 | inode->i_linklen | |
| HALF_LOCKED2 | &mk->mk_sem | ||
| HALF_LOCKED2 | _T->lock |
fs/crypto/block.c fscrypt_prepare_inline_crypt_key() -> fscrypt_msg()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | inode | 4096-ptr_max |
| PARAM_VALUE | 0 | inode->i_sb | 4096-ptr_max |
| PARAM_VALUE | 1 | level | 7667477890358845440 |
| PARAM_VALUE | 2 | fmt | 1685617429032951808 |
| BUF_SIZE | 0 | inode | (-1),1-s32max |
| BUF_SIZE | 0 | inode | (-1),1-s32max |
| BUF_SIZE | 1 | level | 3 |
| BUF_SIZE | 2 | fmt | 92 |
| STR_LEN | 0 | inode | (-1)-1010101 |
| STR_LEN | 0 | inode | (-1)-1010101 |
| STR_LEN | 0 | inode->i_sb | (-1) |
| STR_LEN | 1 | level | 2 |
| STR_LEN | 2 | fmt | 91 |
| NOSPEC | 0 | inode->i_bytes | |
| NOSPEC | 0 | inode->i_size | |
| TERMINATED | 1 | level | 1 |
| TERMINATED | 2 | fmt | 1 |
| PREEMPT_ADD | |||
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL | |||
| USER_DATA | 0 | inode->__i_nlink | 1-u32max |
| USER_DATA | 0 | inode->i_atime_nsec | 0-u32max |
| USER_DATA | 0 | inode->i_atime_sec | 0-4294967295 |
| USER_DATA | 0 | inode->i_blocks | 0-18014398509481983,18428729675200069632-u64max |
| USER_DATA | 0 | inode->i_bytes | 0-511[c] |
| USER_DATA | 0 | inode->i_ino | 0-u64max |
| USER_DATA | 0 | inode->i_mode | 0-u16max |
| USER_DATA | 0 | inode->i_mtime_nsec | 0-u32max |
| USER_DATA | 0 | inode->i_mtime_sec | 0-4294967295 |
| USER_DATA | 0 | inode->i_rdev | 0-u32max[c] |
| USER_DATA | 0 | inode->i_size | (-9223372036854775807)-(-4),0-s64max |
| NO_OVERFLOW_SIMPLE | 0 | inode->i_blkbits | |
| NO_OVERFLOW_SIMPLE | 0 | inode->i_linklen | |
| HALF_LOCKED2 | &mk->mk_sem | ||
| HALF_LOCKED2 | _T->lock |
fs/crypto/block.c fscrypt_prepare_inline_crypt_key() -> fscrypt_msg()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | inode | 4096-ptr_max |
| PARAM_VALUE | 0 | inode->i_sb | 4096-ptr_max |
| PARAM_VALUE | 1 | level | 7667477890358845440 |
| PARAM_VALUE | 2 | fmt | 8711568404134100992 |
| BUF_SIZE | 0 | inode | (-1),1-s32max |
| BUF_SIZE | 0 | inode | (-1),1-s32max |
| BUF_SIZE | 1 | level | 3 |
| BUF_SIZE | 2 | fmt | 36 |
| DATA_SOURCE | 3 | $ | r blk_crypto_start_using_key |
| STR_LEN | 0 | inode | (-1)-1010101 |
| STR_LEN | 0 | inode | (-1)-1010101 |
| STR_LEN | 0 | inode->i_sb | (-1) |
| STR_LEN | 1 | level | 2 |
| STR_LEN | 2 | fmt | 35 |
| BIT_INFO | 3 | $ | 0x0,0xffffffa1 |
| NOSPEC | 0 | inode->i_bytes | |
| NOSPEC | 0 | inode->i_size | |
| TERMINATED | 1 | level | 1 |
| TERMINATED | 2 | fmt | 1 |
| PREEMPT_ADD | |||
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL | |||
| USER_DATA | 0 | inode->__i_nlink | 1-u32max |
| USER_DATA | 0 | inode->i_atime_nsec | 0-u32max |
| USER_DATA | 0 | inode->i_atime_sec | 0-4294967295 |
| USER_DATA | 0 | inode->i_blocks | 0-18014398509481983,18428729675200069632-u64max |
| USER_DATA | 0 | inode->i_bytes | 0-511[c] |
| USER_DATA | 0 | inode->i_ino | 0-u64max |
| USER_DATA | 0 | inode->i_mode | 0-u16max |
| USER_DATA | 0 | inode->i_mtime_nsec | 0-u32max |
| USER_DATA | 0 | inode->i_mtime_sec | 0-4294967295 |
| USER_DATA | 0 | inode->i_rdev | 0-u32max[c] |
| USER_DATA | 0 | inode->i_size | (-9223372036854775807)-(-4),0-s64max |
| NO_OVERFLOW_SIMPLE | 0 | inode->i_blkbits | |
| NO_OVERFLOW_SIMPLE | 0 | inode->i_linklen | |
| HALF_LOCKED2 | &mk->mk_sem | ||
| HALF_LOCKED2 | _T->lock |
fs/crypto/keysetup.c fscrypt_allocate_skcipher() -> fscrypt_msg()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | inode | 4096-ptr_max |
| PARAM_VALUE | 0 | inode->i_sb | 4096-ptr_max |
| PARAM_VALUE | 1 | level | 7930184486994051072 |
| PARAM_VALUE | 2 | fmt | 6652533190901579776 |
| PARAM_VALUE | 4 | $ | 1-u64max |
| BUF_SIZE | 0 | inode | (-1),1-s32max |
| BUF_SIZE | 0 | inode | (-1),1-s32max |
| BUF_SIZE | 1 | level | 3 |
| BUF_SIZE | 2 | fmt | 51 |
| DATA_SOURCE | 0 | inode | $2 |
| STR_LEN | 0 | inode | (-1)-1010101 |
| STR_LEN | 0 | inode | (-1)-1010101 |
| STR_LEN | 0 | inode->i_sb | (-1) |
| STR_LEN | 1 | level | 2 |
| STR_LEN | 2 | fmt | 50 |
| NOSPEC | 0 | inode->i_bytes | |
| NOSPEC | 0 | inode->i_size | |
| TERMINATED | 1 | level | 1 |
| TERMINATED | 2 | fmt | 1 |
| PREEMPT_ADD | |||
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL | |||
| USER_DATA | 0 | inode->__i_nlink | 1-u32max |
| USER_DATA | 0 | inode->i_atime_nsec | 0-u32max |
| USER_DATA | 0 | inode->i_atime_sec | 0-4294967295 |
| USER_DATA | 0 | inode->i_blocks | 0-18014398509481983,18428729675200069632-u64max |
| USER_DATA | 0 | inode->i_bytes | 0-511[c] |
| USER_DATA | 0 | inode->i_ino | 0-u64max |
| USER_DATA | 0 | inode->i_mode | 0-u16max |
| USER_DATA | 0 | inode->i_mtime_nsec | 0-u32max |
| USER_DATA | 0 | inode->i_mtime_sec | 0-4294967295 |
| USER_DATA | 0 | inode->i_rdev | 0-u32max[c] |
| USER_DATA | 0 | inode->i_size | (-9223372036854775807)-(-4),0-s64max |
| NO_OVERFLOW_SIMPLE | 0 | inode->i_blkbits | |
| NO_OVERFLOW_SIMPLE | 0 | inode->i_linklen | |
| HALF_LOCKED2 | &mk->mk_sem | ||
| HALF_LOCKED2 | _T->lock |
fs/crypto/keysetup.c fscrypt_allocate_skcipher() -> fscrypt_msg()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | inode | 4096-ptr_max |
| PARAM_VALUE | 0 | inode->i_sb | 4096-ptr_max |
| PARAM_VALUE | 1 | level | 7667477890358845440 |
| PARAM_VALUE | 2 | fmt | 8907128645954994176 |
| PARAM_VALUE | 3 | $ | 1-u64max |
| PARAM_VALUE | 4 | $ | (-4095)-(-12),(-10)-(-3),(-1) |
| BUF_SIZE | 0 | inode | (-1),1-s32max |
| BUF_SIZE | 0 | inode | (-1),1-s32max |
| BUF_SIZE | 1 | level | 3 |
| BUF_SIZE | 2 | fmt | 37 |
| DATA_SOURCE | 0 | inode | $2 |
| STR_LEN | 0 | inode | (-1)-1010101 |
| STR_LEN | 0 | inode | (-1)-1010101 |
| STR_LEN | 0 | inode->i_sb | (-1) |
| STR_LEN | 1 | level | 2 |
| STR_LEN | 2 | fmt | 36 |
| NOSPEC | 0 | inode->i_bytes | |
| NOSPEC | 0 | inode->i_size | |
| TERMINATED | 1 | level | 1 |
| TERMINATED | 2 | fmt | 1 |
| PREEMPT_ADD | |||
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL | |||
| USER_DATA | 0 | inode->__i_nlink | 1-u32max |
| USER_DATA | 0 | inode->i_atime_nsec | 0-u32max |
| USER_DATA | 0 | inode->i_atime_sec | 0-4294967295 |
| USER_DATA | 0 | inode->i_blocks | 0-18014398509481983,18428729675200069632-u64max |
| USER_DATA | 0 | inode->i_bytes | 0-511[c] |
| USER_DATA | 0 | inode->i_ino | 0-u64max |
| USER_DATA | 0 | inode->i_mode | 0-u16max |
| USER_DATA | 0 | inode->i_mtime_nsec | 0-u32max |
| USER_DATA | 0 | inode->i_mtime_sec | 0-4294967295 |
| USER_DATA | 0 | inode->i_rdev | 0-u32max[c] |
| USER_DATA | 0 | inode->i_size | (-9223372036854775807)-(-4),0-s64max |
| NO_OVERFLOW_SIMPLE | 0 | inode->i_blkbits | |
| NO_OVERFLOW_SIMPLE | 0 | inode->i_linklen | |
| HALF_LOCKED2 | &mk->mk_sem | ||
| HALF_LOCKED2 | _T->lock |
fs/crypto/keysetup.c fscrypt_get_encryption_info() -> fscrypt_msg()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | inode | 4096-ptr_max |
| PARAM_VALUE | 0 | inode->i_sb | 4096-ptr_max |
| PARAM_VALUE | 1 | level | 7930184486994051072 |
| PARAM_VALUE | 2 | fmt | 7214193296913174528 |
| PARAM_VALUE | 3 | $ | s32min-(-1) |
| BUF_SIZE | 0 | inode | (-1)-s32max |
| BUF_SIZE | 0 | inode | (-1)-s32max |
| BUF_SIZE | 1 | level | 3 |
| BUF_SIZE | 2 | fmt | 36 |
| CAPPED_DATA | 3 | $ | 1 |
| DATA_SOURCE | 0 | inode | $0 |
| STR_LEN | 0 | inode | (-1)-1010101 |
| STR_LEN | 0 | inode | (-1)-1010101 |
| STR_LEN | 0 | inode->i_sb | (-1) |
| STR_LEN | 1 | level | 2 |
| STR_LEN | 2 | fmt | 35 |
| TERMINATED | 1 | level | 1 |
| TERMINATED | 2 | fmt | 1 |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL | |||
| USER_DATA | 0 | inode->__i_nlink | 1-u32max |
| USER_DATA | 0 | inode->i_atime_nsec | 0-u32max |
| USER_DATA | 0 | inode->i_atime_sec | 0-4294967295 |
| USER_DATA | 0 | inode->i_blocks | 0-18014398509481983,18428729675200069632-u64max |
| USER_DATA | 0 | inode->i_bytes | 0-511[c] |
| USER_DATA | 0 | inode->i_ino | 0-u64max |
| USER_DATA | 0 | inode->i_mode | 0-u16max |
| USER_DATA | 0 | inode->i_mtime_nsec | 0-u32max |
| USER_DATA | 0 | inode->i_mtime_sec | 0-4294967295 |
| USER_DATA | 0 | inode->i_rdev | 0-u32max[c] |
| USER_DATA | 0 | inode->i_size | (-9223372036854775807)-(-4),0-s64max |
| NO_OVERFLOW_SIMPLE | 0 | inode->i_blkbits |
fs/crypto/keysetup.c fscrypt_get_encryption_info() -> fscrypt_msg()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | inode | 4096-ptr_max |
| PARAM_VALUE | 0 | inode->i_sb | 4096-ptr_max |
| PARAM_VALUE | 1 | level | 7930184486994051072 |
| PARAM_VALUE | 2 | fmt | 3385699620874260480 |
| BUF_SIZE | 1 | level | 3 |
| BUF_SIZE | 2 | fmt | 43 |
| CAPPED_DATA | 0 | inode | 1 |
| DATA_SOURCE | 0 | inode | $0 |
| STR_LEN | 0 | inode | (-1)-1010101 |
| STR_LEN | 0 | inode | (-1)-1010101 |
| STR_LEN | 0 | inode->i_sb | (-1) |
| STR_LEN | 1 | level | 2 |
| STR_LEN | 2 | fmt | 42 |
| BIT_INFO | 0 | inode->i_flags | 0x4000,0xffffffff |
| TERMINATED | 1 | level | 1 |
| TERMINATED | 2 | fmt | 1 |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL | |||
| USER_DATA | 0 | inode->i_mode | 0-u16max |
| USER_DATA | 0 | inode->i_size | (-9223372036854775807)-(-4),0-s64max |
| NO_OVERFLOW_SIMPLE | 0 | inode->i_blkbits |
fs/crypto/keysetup.c fscrypt_setup_v2_file_key() -> fscrypt_msg()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | inode | 4096-ptr_max |
| PARAM_VALUE | 0 | inode->i_sb | 4096-ptr_max |
| PARAM_VALUE | 1 | level | 7930184486994051072 |
| PARAM_VALUE | 2 | fmt | 6868793453185482752 |
| BUF_SIZE | 0 | inode | (-1),1-s32max |
| BUF_SIZE | 0 | inode | (-1),1-s32max |
| BUF_SIZE | 1 | level | 3 |
| BUF_SIZE | 2 | fmt | 67 |
| STR_LEN | 0 | inode | (-1)-1010101 |
| STR_LEN | 0 | inode | (-1)-1010101 |
| STR_LEN | 0 | inode->i_sb | (-1) |
| STR_LEN | 1 | level | 2 |
| STR_LEN | 2 | fmt | 66 |
| TERMINATED | 1 | level | 1 |
| TERMINATED | 2 | fmt | 1 |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL | |||
| USER_DATA | 0 | inode->__i_nlink | 1-u32max |
| USER_DATA | 0 | inode->i_blocks | 0-18014398509481983,18428729675200069632-u64max |
| USER_DATA | 0 | inode->i_bytes | 0-511[c] |
| USER_DATA | 0 | inode->i_ino | 0-u64max |
| USER_DATA | 0 | inode->i_mode | 0-u16max |
| USER_DATA | 0 | inode->i_rdev | 0-u32max[c] |
| USER_DATA | 0 | inode->i_size | (-9223372036854775807)-(-4),0-s64max |
| NO_OVERFLOW_SIMPLE | 0 | inode->i_blkbits | |
| NO_OVERFLOW_SIMPLE | 0 | inode->i_linklen | |
| LOCK2 | &mk->mk_sem | ||
| TYPE_LOCK | (struct fscrypt_master_key)->mk_sem |
fs/crypto/keysetup.c fscrypt_valid_master_key_size() -> fscrypt_msg()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | inode | 0 |
| PARAM_VALUE | 1 | level | 7930184486994051072 |
| PARAM_VALUE | 2 | fmt | 4482471619029458944 |
| PARAM_VALUE | 3 | $ | 4474288080286711808,6061095552399945728 |
| PARAM_VALUE | 4 | $ | 8,16 |
| PARAM_VALUE | 5 | $ | 4096-ptr_max |
| PARAM_VALUE | 6 | $ | 0-63 |
| PARAM_VALUE | 7 | $ | 16,32,64 |
| BUF_SIZE | 1 | level | 3 |
| BUF_SIZE | 2 | fmt | 62 |
| BUF_SIZE | 3 | $ | 11 |
| BUF_SIZE | 5 | $ | 32 |
| CAPPED_DATA | 6 | $ | 1 |
| STR_LEN | 0 | inode | 2 |
| STR_LEN | 1 | level | 61 |
| PARAM_COMPARE | 6 | $ | < $7 |
| PARAM_COMPARE | 7 | $ | > $6 |
| BIT_INFO | 3 | $ | 0x0,0x7fffffffffffffff |
| BIT_INFO | 4 | $ | 0x0,0x1f |
| TERMINATED | 1 | level | 1 |
| TERMINATED | 2 | fmt | 1 |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL | |||
| UNITS | 6 | $ | unit_byte |
| UNITS | 7 | $ | unit_byte |
| LOCK2 | &mk->mk_sem | ||
| TYPE_LOCK | (struct fscrypt_master_key)->mk_sem |
fs/crypto/keysetup_v1.c find_and_lock_process_key() -> fscrypt_msg()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | inode | 0 |
| PARAM_VALUE | 1 | level | 7930184486994051072 |
| PARAM_VALUE | 2 | fmt | 7975016155233591296 |
| BUF_SIZE | 1 | level | 3 |
| BUF_SIZE | 2 | fmt | 46 |
| STR_LEN | 0 | inode | 2 |
| STR_LEN | 1 | level | 45 |
| TERMINATED | 1 | level | 1 |
| TERMINATED | 2 | fmt | 1 |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL | |||
| LOCK2 | &key->sem | ||
| TYPE_LOCK | (struct key)->sem |
fs/crypto/keysetup_v1.c find_and_lock_process_key() -> fscrypt_msg()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | inode | 0 |
| PARAM_VALUE | 1 | level | 7930184486994051072 |
| PARAM_VALUE | 2 | fmt | 7141242526977323008 |
| PARAM_VALUE | 4 | $ | 1-63 |
| PARAM_VALUE | 5 | $ | 16,32,64 |
| BUF_SIZE | 1 | level | 3 |
| BUF_SIZE | 2 | fmt | 70 |
| CAPPED_DATA | 4 | $ | 1 |
| DATA_SOURCE | 5 | $ | $2 |
| STR_LEN | 0 | inode | 2 |
| STR_LEN | 1 | level | 69 |
| PARAM_COMPARE | 4 | $ | < $5 |
| PARAM_COMPARE | 5 | $ | > $4 |
| TERMINATED | 1 | level | 1 |
| TERMINATED | 2 | fmt | 1 |
| HARD_MAX | 4 | $ | 63 |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL | |||
| UNITS | 4 | $ | unit_byte |
| UNITS | 5 | $ | unit_byte |
| LOCK2 | &key->sem | ||
| TYPE_LOCK | (struct key)->sem |
fs/crypto/crypto.c fscrypt_crypt_data_unit() -> fscrypt_msg()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 1 | level | 7667477890358845440 |
| PARAM_VALUE | 2 | fmt | 8159095241746468864 |
| PARAM_VALUE | 3 | $ | 1696976196390313984,8842092543832997888 |
| PARAM_VALUE | 5 | $ | s32min-(-1),1-s32max |
| BUF_SIZE | 1 | level | 3 |
| BUF_SIZE | 2 | fmt | 41 |
| DATA_SOURCE | 4 | $ | $2 |
| STR_LEN | 0 | inode | 2 |
| STR_LEN | 1 | level | 40 |
| NOSPEC | 5 | $ | |
| TERMINATED | 1 | level | 1 |
| TERMINATED | 2 | fmt | 1 |
| TERMINATED | 3 | $ | 1 |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL | |||
| USER_DATA | 4 | $ | 0-4503601774854142 |
| USER_DATA | 5 | $ | (-65566)-(-1),1-s32max[c] |
fs/crypto/fname.c fname_decrypt() -> fscrypt_msg()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | inode | 4096-ptr_max |
| PARAM_VALUE | 0 | inode->i_sb | 4096-ptr_max |
| PARAM_VALUE | 1 | level | 7667477890358845440 |
| PARAM_VALUE | 2 | fmt | 8495848519587143680 |
| PARAM_VALUE | 3 | $ | s32min-(-1),1-s32max |
| BUF_SIZE | 0 | inode | (-1),1-s32max |
| BUF_SIZE | 0 | inode | (-1),1-s32max |
| BUF_SIZE | 1 | level | 3 |
| BUF_SIZE | 2 | fmt | 31 |
| CAPPED_DATA | 0 | inode | 1 |
| CAPPED_DATA | 0 | inode->i_sb | 1 |
| DATA_SOURCE | 0 | inode | $0 |
| DATA_SOURCE | 3 | $ | r crypto_skcipher_decrypt |
| STR_LEN | 0 | inode | 2 |
| STR_LEN | 1 | level | 30 |
| TERMINATED | 1 | level | 1 |
| TERMINATED | 2 | fmt | 1 |
| PREEMPT_ADD | |||
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL | |||
| USER_DATA | 0 | inode->__i_nlink | 1-u32max |
| USER_DATA | 0 | inode->i_blocks | 0-18014398509481983,18428729675200069632-u64max |
| USER_DATA | 0 | inode->i_bytes | 0-511[c] |
| USER_DATA | 0 | inode->i_ino | 0-u64max |
| USER_DATA | 0 | inode->i_mode | 0-u16max[c] |
| USER_DATA | 0 | inode->i_rdev | 0-u32max[c] |
| NO_OVERFLOW_SIMPLE | 0 | inode->i_blkbits | |
| NO_OVERFLOW_SIMPLE | 0 | inode->i_size | |
| HALF_LOCKED2 | &inode->i_rwsem | ||
| HALF_LOCKED2 | &inode->i_rwsem |
fs/crypto/fname.c fscrypt_fname_encrypt() -> fscrypt_msg()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | inode | 4096-ptr_max |
| PARAM_VALUE | 0 | inode->i_sb | 4096-ptr_max |
| PARAM_VALUE | 1 | level | 7667477890358845440 |
| PARAM_VALUE | 2 | fmt | 4395423809999450112 |
| PARAM_VALUE | 3 | $ | s32min-(-1),1-s32max |
| BUF_SIZE | 0 | inode | (-1),1-s32max |
| BUF_SIZE | 0 | inode | (-1),1-s32max |
| BUF_SIZE | 0 | inode->i_mapping->a_ops | (-1),152 |
| BUF_SIZE | 0 | inode->i_op | (-1),256 |
| BUF_SIZE | 1 | level | 3 |
| BUF_SIZE | 2 | fmt | 31 |
| CAPPED_DATA | 0 | inode | 1 |
| DATA_SOURCE | 0 | inode | $0 |
| DATA_SOURCE | 3 | $ | r crypto_skcipher_encrypt |
| STR_LEN | 0 | inode | (-1)-1010101 |
| STR_LEN | 0 | inode | (-1)-1010101 |
| STR_LEN | 1 | level | 2 |
| STR_LEN | 2 | fmt | 30 |
| TERMINATED | 1 | level | 1 |
| TERMINATED | 2 | fmt | 1 |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL | |||
| USER_DATA | 0 | inode->__i_nlink | 1-u32max |
| USER_DATA | 0 | inode->i_mode | 0-u16max |
| USER_DATA | 0 | inode->i_size | (-9223372036854775807)-(-4),0-s64max |
| NO_OVERFLOW_SIMPLE | 0 | inode->i_blkbits | |
| NO_OVERFLOW_SIMPLE | 0 | inode->i_bytes | |
| NO_OVERFLOW_SIMPLE | 0 | inode->i_ino | |
| HALF_LOCKED2 | &mdsc->mutex |
fs/crypto/hooks.c fscrypt_file_open() -> fscrypt_msg()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | inode | 4096-ptr_max |
| PARAM_VALUE | 1 | level | 7930184486994051072 |
| PARAM_VALUE | 2 | fmt | 5969650229406720000 |
| BUF_SIZE | 1 | level | 3 |
| BUF_SIZE | 2 | fmt | 57 |
| DATA_SOURCE | 0 | inode | $0 |
| STR_LEN | 0 | inode | 2 |
| STR_LEN | 1 | level | 56 |
| TERMINATED | 1 | level | 1 |
| TERMINATED | 2 | fmt | 1 |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL | |||
| NO_OVERFLOW_SIMPLE | 0 | inode->i_blkbits | |
| NO_OVERFLOW_SIMPLE | 0 | inode->i_size |