Defined in 1 files as a prototype:
Defined in 1 files as a function:
Referenced in 1 files:
Smatch caller information:
fs/verity/enable.c build_merkle_tree() -> fsverity_msg()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | inode | 4096-ptr_max |
| PARAM_VALUE | 0 | inode->i_size | s64min-(-1),1-s64max |
| PARAM_VALUE | 1 | level | 7667477890358845440 |
| PARAM_VALUE | 2 | fmt | 3233072611469414400 |
| BUF_SIZE | 1 | level | 3 |
| BUF_SIZE | 2 | fmt | 27 |
| CAPPED_DATA | 3 | $ | 1 |
| STR_LEN | 0 | inode | 2 |
| STR_LEN | 1 | level | 26 |
| TERMINATED | 1 | level | 1 |
| TERMINATED | 2 | fmt | 1 |
| NOCHECK_CALL |
fs/verity/enable.c build_merkle_tree() -> fsverity_msg()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | inode | 4096-ptr_max |
| PARAM_VALUE | 0 | inode->i_size | s64min-(-1),1-s64max |
| PARAM_VALUE | 1 | level | 7667477890358845440 |
| PARAM_VALUE | 2 | fmt | 8619124892837433344 |
| BUF_SIZE | 1 | level | 3 |
| BUF_SIZE | 2 | fmt | 24 |
| STR_LEN | 0 | inode | 2 |
| STR_LEN | 1 | level | 23 |
| TERMINATED | 1 | level | 1 |
| TERMINATED | 2 | fmt | 1 |
| NOCHECK_CALL |
fs/verity/enable.c enable_verity() -> fsverity_msg()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | inode | 4096-ptr_max |
| PARAM_VALUE | 0 | inode->i_blkbits | 10-255 |
| PARAM_VALUE | 0 | inode->i_sb | 4096-ptr_max |
| PARAM_VALUE | 0 | inode->i_size | s64min-(-1),1-s64max |
| PARAM_VALUE | 1 | level | 7667477890358845440 |
| PARAM_VALUE | 2 | fmt | 5590903004748410880 |
| PARAM_VALUE | 3 | $ | s32min-(-1),1-s32max |
| BUF_SIZE | 1 | level | 3 |
| BUF_SIZE | 2 | fmt | 30 |
| DATA_SOURCE | 3 | $ | r build_merkle_tree |
| STR_LEN | 0 | inode | 2 |
| STR_LEN | 1 | level | 29 |
| BIT_INFO | 0 | inode->i_flags | 0x0,0xfffeffff |
| TERMINATED | 1 | level | 1 |
| TERMINATED | 2 | fmt | 1 |
| NOCHECK_CALL |
fs/verity/enable.c enable_verity() -> fsverity_msg()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | inode | 4096-ptr_max |
| PARAM_VALUE | 0 | inode->i_blkbits | 10-255 |
| PARAM_VALUE | 0 | inode->i_sb | 4096-ptr_max |
| PARAM_VALUE | 1 | level | 7667477890358845440 |
| PARAM_VALUE | 2 | fmt | 2297879421418606592 |
| PARAM_VALUE | 4 | $ | s32min-(-1),1-s32max |
| BUF_SIZE | 1 | level | 3 |
| BUF_SIZE | 2 | fmt | 25 |
| STR_LEN | 0 | inode | 2 |
| STR_LEN | 1 | level | 24 |
| BIT_INFO | 0 | inode->i_flags | 0x0,0xfffeffff |
| TERMINATED | 1 | level | 1 |
| TERMINATED | 2 | fmt | 1 |
| NOCHECK_CALL |
fs/verity/enable.c write_merkle_tree_block() -> fsverity_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 | 7283672187079876608 |
| PARAM_VALUE | 3 | $ | s32min-(-1),1-s32max |
| BUF_SIZE | 1 | level | 3 |
| BUF_SIZE | 2 | fmt | 39 |
| CAPPED_DATA | 3 | $ | 1 |
| DATA_SOURCE | 4 | $ | $2 |
| STR_LEN | 0 | inode | 2 |
| STR_LEN | 1 | level | 38 |
| TERMINATED | 1 | level | 1 |
| TERMINATED | 2 | fmt | 1 |
| NOCHECK_CALL |
fs/verity/open.c fsverity_create_info() -> fsverity_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 | 6743239887167000576 |
| PARAM_VALUE | 3 | $ | (-27),(-22),(-12) |
| BUF_SIZE | 1 | level | 3 |
| BUF_SIZE | 2 | fmt | 45 |
| DATA_SOURCE | 0 | inode | $0 |
| DATA_SOURCE | 3 | $ | r fsverity_init_merkle_tree_params |
| STR_LEN | 0 | inode | 2 |
| STR_LEN | 1 | level | 44 |
| TERMINATED | 1 | level | 1 |
| TERMINATED | 2 | fmt | 1 |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL |
fs/verity/open.c fsverity_get_descriptor() -> fsverity_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 | 4079083553169403904 |
| PARAM_VALUE | 3 | $ | s32min-(-1) |
| BUF_SIZE | 1 | level | 3 |
| BUF_SIZE | 2 | fmt | 40 |
| DATA_SOURCE | 0 | inode | $0 |
| STR_LEN | 0 | inode | 2 |
| STR_LEN | 1 | level | 39 |
| TERMINATED | 1 | level | 1 |
| TERMINATED | 2 | fmt | 1 |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL | |||
| NO_OVERFLOW_SIMPLE | 3 | $ |
fs/verity/open.c fsverity_get_descriptor() -> fsverity_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 | 1726379322994089984 |
| PARAM_VALUE | 3 | $ | 16385-s32max |
| BUF_SIZE | 1 | level | 3 |
| BUF_SIZE | 2 | fmt | 42 |
| DATA_SOURCE | 0 | inode | $0 |
| STR_LEN | 0 | inode | 2 |
| STR_LEN | 1 | level | 41 |
| TERMINATED | 1 | level | 1 |
| TERMINATED | 2 | fmt | 1 |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL | |||
| NO_OVERFLOW_SIMPLE | 3 | $ |
fs/verity/open.c fsverity_get_descriptor() -> fsverity_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 | 4518643795320115200 |
| PARAM_VALUE | 3 | $ | s32min-(-1) |
| BUF_SIZE | 1 | level | 3 |
| BUF_SIZE | 2 | fmt | 35 |
| DATA_SOURCE | 0 | inode | $0 |
| STR_LEN | 0 | inode | 2 |
| STR_LEN | 1 | level | 34 |
| TERMINATED | 1 | level | 1 |
| TERMINATED | 2 | fmt | 1 |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL | |||
| NO_OVERFLOW_SIMPLE | 3 | $ |
fs/verity/open.c fsverity_init_merkle_tree_params() -> fsverity_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 | 7678094321242959872 |
| BUF_SIZE | 1 | level | 3 |
| BUF_SIZE | 2 | fmt | 30 |
| DATA_SOURCE | 0 | inode | $1 |
| DATA_SOURCE | 3 | $ | $3 |
| STR_LEN | 0 | inode | 2 |
| STR_LEN | 1 | level | 29 |
| TERMINATED | 1 | level | 1 |
| TERMINATED | 2 | fmt | 1 |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL | |||
| USER_DATA | 3 | $ | 0-31[c] |
| NO_OVERFLOW_SIMPLE | 0 | inode->i_size |
fs/verity/open.c fsverity_init_merkle_tree_params() -> fsverity_msg()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | inode | 4096-ptr_max |
| PARAM_VALUE | 0 | inode->i_blkbits | 10-255 |
| PARAM_VALUE | 0 | inode->i_sb | 4096-ptr_max |
| PARAM_VALUE | 1 | level | 7930184486994051072 |
| PARAM_VALUE | 2 | fmt | 7250077151664611328 |
| PARAM_VALUE | 3 | $ | 0-127 |
| BUF_SIZE | 1 | level | 3 |
| BUF_SIZE | 2 | fmt | 62 |
| CAPPED_DATA | 3 | $ | 1 |
| DATA_SOURCE | 0 | inode | $1 |
| STR_LEN | 0 | inode | 2 |
| STR_LEN | 1 | level | 61 |
| TERMINATED | 1 | level | 1 |
| TERMINATED | 2 | fmt | 1 |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL | |||
| NO_OVERFLOW_SIMPLE | 0 | inode->i_size | |
| UNITS | 3 | $ | unit_byte |
fs/verity/open.c fsverity_init_merkle_tree_params() -> fsverity_msg()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | inode | 4096-ptr_max |
| PARAM_VALUE | 0 | inode->i_blkbits | 10-255 |
| PARAM_VALUE | 0 | inode->i_sb | 4096-ptr_max |
| PARAM_VALUE | 1 | level | 7667477890358845440 |
| PARAM_VALUE | 2 | fmt | 2671996443695063040 |
| BUF_SIZE | 1 | level | 3 |
| BUF_SIZE | 2 | fmt | 31 |
| DATA_SOURCE | 0 | inode | $1 |
| STR_LEN | 0 | inode | 2 |
| STR_LEN | 1 | level | 30 |
| TERMINATED | 1 | level | 1 |
| TERMINATED | 2 | fmt | 1 |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL | |||
| NO_OVERFLOW_SIMPLE | 0 | inode->i_size |
fs/verity/open.c fsverity_init_merkle_tree_params() -> fsverity_msg()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | inode | 4096-ptr_max |
| PARAM_VALUE | 0 | inode->i_blkbits | 10-255 |
| PARAM_VALUE | 0 | inode->i_sb | 4096-ptr_max |
| PARAM_VALUE | 1 | level | 7667477890358845440 |
| PARAM_VALUE | 2 | fmt | 2049462398499340288 |
| BUF_SIZE | 1 | level | 3 |
| BUF_SIZE | 2 | fmt | 31 |
| DATA_SOURCE | 0 | inode | $1 |
| STR_LEN | 0 | inode | 2 |
| STR_LEN | 1 | level | 30 |
| TERMINATED | 1 | level | 1 |
| TERMINATED | 2 | fmt | 1 |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL | |||
| NO_OVERFLOW_SIMPLE | 0 | inode->i_size |
fs/verity/open.c validate_fsverity_descriptor() -> fsverity_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 | 8260339379336744960 |
| PARAM_VALUE | 3 | $ | 0-255 |
| BUF_SIZE | 1 | level | 3 |
| BUF_SIZE | 2 | fmt | 40 |
| DATA_SOURCE | 0 | inode | $0 |
| DATA_SOURCE | 3 | $ | $2 |
| FUZZY_MAX | 3 | $ | 255 |
| STR_LEN | 0 | inode | 2 |
| STR_LEN | 1 | level | 39 |
| TERMINATED | 1 | level | 1 |
| TERMINATED | 2 | fmt | 1 |
| HARD_MAX | 3 | $ | 255 |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL | |||
| NO_OVERFLOW_SIMPLE | 0 | inode->i_size | |
| NO_OVERFLOW_SIMPLE | 3 | $ | |
| UNITS | 3 | $ | unit_byte |
fs/verity/open.c validate_fsverity_descriptor() -> fsverity_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 | 2594104185254359040 |
| PARAM_VALUE | 3 | $ | 0,2-255 |
| BUF_SIZE | 1 | level | 3 |
| BUF_SIZE | 2 | fmt | 36 |
| DATA_SOURCE | 0 | inode | $0 |
| STR_LEN | 0 | inode | 2 |
| STR_LEN | 1 | level | 35 |
| TERMINATED | 1 | level | 1 |
| TERMINATED | 2 | fmt | 1 |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL | |||
| NO_OVERFLOW_SIMPLE | 0 | inode->i_size |
fs/verity/open.c validate_fsverity_descriptor() -> fsverity_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 | 4041904076590137344 |
| BUF_SIZE | 1 | level | 3 |
| BUF_SIZE | 2 | fmt | 32 |
| DATA_SOURCE | 0 | inode | $0 |
| STR_LEN | 0 | inode | 2 |
| STR_LEN | 1 | level | 31 |
| TERMINATED | 1 | level | 1 |
| TERMINATED | 2 | fmt | 1 |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL | |||
| NO_OVERFLOW_SIMPLE | 0 | inode->i_size |
fs/verity/open.c validate_fsverity_descriptor() -> fsverity_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 | 7127117097690144768 |
| PARAM_VALUE | 3 | $ | 33-255 |
| BUF_SIZE | 1 | level | 3 |
| BUF_SIZE | 2 | fmt | 22 |
| DATA_SOURCE | 0 | inode | $0 |
| FUZZY_MAX | 3 | $ | 33 |
| STR_LEN | 0 | inode | 2 |
| STR_LEN | 1 | level | 21 |
| TERMINATED | 1 | level | 1 |
| TERMINATED | 2 | fmt | 1 |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL | |||
| NO_OVERFLOW_SIMPLE | 0 | inode->i_size | |
| UNITS | 3 | $ | unit_byte |
fs/verity/open.c validate_fsverity_descriptor() -> fsverity_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 | 2549072956392644608 |
| BUF_SIZE | 1 | level | 3 |
| BUF_SIZE | 2 | fmt | 45 |
| DATA_SOURCE | 0 | inode | $0 |
| STR_LEN | 0 | inode | 2 |
| STR_LEN | 1 | level | 44 |
| PARAM_COMPARE | 3 | $ | != $0->i_size |
| PARAM_COMPARE | 3 | $ | != $0->i_size |
| PARAM_COMPARE | 4 | $ | != $3 |
| TERMINATED | 1 | level | 1 |
| TERMINATED | 2 | fmt | 1 |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL | |||
| NO_OVERFLOW_SIMPLE | 0 | inode->i_size | |
| NO_OVERFLOW_SIMPLE | 4 | $ |
fs/verity/open.c validate_fsverity_descriptor() -> fsverity_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 | 3988169068775190528 |
| BUF_SIZE | 1 | level | 3 |
| BUF_SIZE | 2 | fmt | 38 |
| CAPPED_DATA | 0 | inode->i_size | 1 |
| DATA_SOURCE | 0 | inode | $0 |
| STR_LEN | 0 | inode | 2 |
| STR_LEN | 1 | level | 37 |
| TERMINATED | 1 | level | 1 |
| TERMINATED | 2 | fmt | 1 |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL | |||
| NO_OVERFLOW_SIMPLE | 0 | inode->i_size |
fs/verity/verify.c verify_data_block() -> fsverity_msg()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | inode | 4096-ptr_max |
| PARAM_VALUE | 1 | level | 7667477890358845440 |
| PARAM_VALUE | 2 | fmt | 6892840519293227008 |
| BUF_SIZE | 1 | level | 3 |
| BUF_SIZE | 2 | fmt | 45 |
| CAPPED_DATA | 0 | inode->i_size | 1 |
| STR_LEN | 0 | inode | 2 |
| STR_LEN | 1 | level | 44 |
| TERMINATED | 1 | level | 1 |
| TERMINATED | 2 | fmt | 1 |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL | |||
| HALF_LOCKED2 | &pool->lock |
fs/verity/verify.c verify_data_block() -> fsverity_msg()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | inode | 4096-ptr_max |
| PARAM_VALUE | 0 | inode->i_sb | 4096-ptr_max |
| PARAM_VALUE | 0 | inode->i_size | s64min-(-1),1-s64max |
| PARAM_VALUE | 1 | level | 7667477890358845440 |
| PARAM_VALUE | 2 | fmt | 407184560580038656 |
| PARAM_VALUE | 3 | $ | (-4095)-(-1) |
| BUF_SIZE | 1 | level | 3 |
| BUF_SIZE | 2 | fmt | 39 |
| STR_LEN | 0 | inode | 2 |
| STR_LEN | 1 | level | 38 |
| TERMINATED | 1 | level | 1 |
| TERMINATED | 2 | fmt | 1 |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL | |||
| HALF_LOCKED2 | &pool->lock |
fs/verity/verify.c verify_data_block() -> fsverity_msg()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | inode | 4096-ptr_max |
| PARAM_VALUE | 0 | inode->i_size | s64min-(-1),1-s64max |
| PARAM_VALUE | 1 | level | 7667477890358845440 |
| PARAM_VALUE | 2 | fmt | 148601102044286976 |
| PARAM_VALUE | 3 | $ | 0-18446744073709551614 |
| BUF_SIZE | 1 | level | 3 |
| BUF_SIZE | 2 | fmt | 75 |
| BUF_SIZE | 7 | $ | 64 |
| BUF_SIZE | 7 | $ | 64 |
| BUF_SIZE | 10 | $ | 64 |
| CAPPED_DATA | 3 | $ | 1 |
| CAPPED_DATA | 3 | $ | 1 |
| CAPPED_DATA | 6 | $ | 1 |
| CAPPED_DATA | 9 | $ | 1 |
| STR_LEN | 0 | inode | 2 |
| STR_LEN | 1 | level | 74 |
| PARAM_COMPARE | 3 | $ | < $0->i_size |
| PARAM_COMPARE | 3 | $ | < $0->i_size |
| CONSTRAINT | 3 | $ | <3994 |
| TERMINATED | 1 | level | 1 |
| TERMINATED | 2 | fmt | 1 |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL | |||
| UNITS | 3 | $ | unit_byte |
| HALF_LOCKED2 | &pool->lock |
fs/verity/signature.c fsverity_verify_signature() -> fsverity_msg()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | inode | 4096-ptr_max |
| PARAM_VALUE | 0 | inode->i_blkbits | 10-255 |
| PARAM_VALUE | 0 | inode->i_sb | 4096-ptr_max |
| PARAM_VALUE | 1 | level | 7667477890358845440 |
| PARAM_VALUE | 2 | fmt | 6292299351958630400 |
| BUF_SIZE | 1 | level | 3 |
| BUF_SIZE | 2 | fmt | 47 |
| STR_LEN | 0 | inode | 2 |
| STR_LEN | 1 | level | 46 |
| TERMINATED | 1 | level | 1 |
| TERMINATED | 2 | fmt | 1 |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL | |||
| NO_OVERFLOW_SIMPLE | 0 | inode->i_size |
fs/verity/signature.c fsverity_verify_signature() -> fsverity_msg()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | inode | 4096-ptr_max |
| PARAM_VALUE | 0 | inode->i_blkbits | 10-255 |
| PARAM_VALUE | 0 | inode->i_sb | 4096-ptr_max |
| PARAM_VALUE | 1 | level | 7667477890358845440 |
| PARAM_VALUE | 2 | fmt | 5749079258299686912 |
| BUF_SIZE | 1 | level | 3 |
| BUF_SIZE | 2 | fmt | 51 |
| STR_LEN | 0 | inode | 2 |
| STR_LEN | 1 | level | 50 |
| TERMINATED | 1 | level | 1 |
| TERMINATED | 2 | fmt | 1 |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL | |||
| NO_OVERFLOW_SIMPLE | 0 | inode->i_size |
fs/verity/signature.c fsverity_verify_signature() -> fsverity_msg()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | inode | 4096-ptr_max |
| PARAM_VALUE | 0 | inode->i_blkbits | 10-255 |
| PARAM_VALUE | 0 | inode->i_sb | 4096-ptr_max |
| PARAM_VALUE | 1 | level | 7667477890358845440 |
| PARAM_VALUE | 2 | fmt | 3657158073298980864 |
| BUF_SIZE | 1 | level | 3 |
| BUF_SIZE | 2 | fmt | 51 |
| STR_LEN | 0 | inode | 2 |
| STR_LEN | 1 | level | 50 |
| TERMINATED | 1 | level | 1 |
| TERMINATED | 2 | fmt | 1 |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL | |||
| NO_OVERFLOW_SIMPLE | 0 | inode->i_size |
fs/verity/signature.c fsverity_verify_signature() -> fsverity_msg()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | inode | 4096-ptr_max |
| PARAM_VALUE | 0 | inode->i_blkbits | 10-255 |
| PARAM_VALUE | 0 | inode->i_sb | 4096-ptr_max |
| PARAM_VALUE | 1 | level | 7667477890358845440 |
| PARAM_VALUE | 2 | fmt | 4849272122672906240 |
| BUF_SIZE | 1 | level | 3 |
| BUF_SIZE | 2 | fmt | 25 |
| STR_LEN | 0 | inode | 2 |
| STR_LEN | 1 | level | 24 |
| TERMINATED | 1 | level | 1 |
| TERMINATED | 2 | fmt | 1 |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL | |||
| NO_OVERFLOW_SIMPLE | 0 | inode->i_size |
fs/verity/signature.c fsverity_verify_signature() -> fsverity_msg()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | inode | 4096-ptr_max |
| PARAM_VALUE | 0 | inode->i_blkbits | 10-255 |
| PARAM_VALUE | 0 | inode->i_sb | 4096-ptr_max |
| PARAM_VALUE | 1 | level | 7667477890358845440 |
| PARAM_VALUE | 2 | fmt | 966101333698461696 |
| BUF_SIZE | 1 | level | 3 |
| BUF_SIZE | 2 | fmt | 25 |
| STR_LEN | 0 | inode | 2 |
| STR_LEN | 1 | level | 24 |
| TERMINATED | 1 | level | 1 |
| TERMINATED | 2 | fmt | 1 |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL | |||
| NO_OVERFLOW_SIMPLE | 0 | inode->i_size |
fs/verity/signature.c fsverity_verify_signature() -> fsverity_msg()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | inode | 4096-ptr_max |
| PARAM_VALUE | 0 | inode->i_blkbits | 10-255 |
| PARAM_VALUE | 0 | inode->i_sb | 4096-ptr_max |
| PARAM_VALUE | 1 | level | 7667477890358845440 |
| PARAM_VALUE | 2 | fmt | 7127440323790344192 |
| PARAM_VALUE | 3 | $ | s32min-(-130),(-128)-(-127),(-125)-(-75),(-73)-(-1),1-s32max |
| BUF_SIZE | 1 | level | 3 |
| BUF_SIZE | 2 | fmt | 34 |
| DATA_SOURCE | 3 | $ | r verify_pkcs7_signature |
| STR_LEN | 0 | inode | 2 |
| STR_LEN | 1 | level | 33 |
| TERMINATED | 1 | level | 1 |
| TERMINATED | 2 | fmt | 1 |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL | |||
| NO_OVERFLOW_SIMPLE | 0 | inode->i_size |
fs/verity/signature.c fsverity_verify_signature() -> fsverity_msg()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | inode | 4096-ptr_max |
| PARAM_VALUE | 0 | inode->i_blkbits | 10-255 |
| PARAM_VALUE | 0 | inode->i_sb | 4096-ptr_max |
| PARAM_VALUE | 1 | level | 7667477890358845440 |
| PARAM_VALUE | 2 | fmt | 8765787155714547712 |
| PARAM_VALUE | 3 | $ | s32min-(-1),1-s32max |
| BUF_SIZE | 1 | level | 3 |
| BUF_SIZE | 2 | fmt | 41 |
| DATA_SOURCE | 3 | $ | r security_inode_setintegrity |
| STR_LEN | 0 | inode | 2 |
| STR_LEN | 1 | level | 40 |
| TERMINATED | 1 | level | 1 |
| TERMINATED | 2 | fmt | 1 |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL | |||
| NO_OVERFLOW_SIMPLE | 0 | inode->i_size |
fs/verity/hash_algs.c fsverity_get_hash_alg() -> fsverity_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 | 7368105541697474560 |
| BUF_SIZE | 1 | level | 3 |
| BUF_SIZE | 2 | fmt | 34 |
| DATA_SOURCE | 0 | inode | $0 |
| DATA_SOURCE | 3 | $ | $1 |
| STR_LEN | 0 | inode | 2 |
| STR_LEN | 1 | level | 33 |
| TERMINATED | 1 | level | 1 |
| TERMINATED | 2 | fmt | 1 |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL | |||
| USER_DATA | 3 | $ | 0-u32max |
| NO_OVERFLOW_SIMPLE | 0 | inode->i_size | |
| UNITS | 3 | $ | unit_array_size |
fs/verity/read_metadata.c fsverity_read_merkle_tree() -> fsverity_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 | 1788606861948129280 |
| PARAM_VALUE | 3 | $ | (-4095)-(-1) |
| PARAM_VALUE | 4 | $ | 0-4503599627370495 |
| BUF_SIZE | 1 | level | 3 |
| BUF_SIZE | 2 | fmt | 38 |
| CAPPED_DATA | 4 | $ | 1 |
| CAPPED_DATA | 4 | $ | 1 |
| DATA_SOURCE | 0 | inode | $0 |
| STR_LEN | 0 | inode | 2 |
| STR_LEN | 1 | level | 37 |
| NOSPEC | 4 | $ | |
| TERMINATED | 1 | level | 1 |
| TERMINATED | 2 | fmt | 1 |
| NOCHECK_CALL | |||
| USER_DATA | 4 | $ | 0-524287[c] |
| UNITS | 4 | $ | unit_page |