Open Menu /

Documented in 1 files:

Defined in 1 files as a prototype:

Defined in 1 files as a function:

Referenced in 5 files:

Smatch caller information:

mm/madvise.c madvise_update_vma() -> vma_modify_flags()

Type Parameter Key Value
PARAM_VALUE 0 vmi 4195764768921808896
PARAM_VALUE 0 vmi->mas.end 0
PARAM_VALUE 0 vmi->mas.last 0
PARAM_VALUE 0 vmi->mas.max 0
PARAM_VALUE 0 vmi->mas.min 0
PARAM_VALUE 0 vmi->mas.node 0
PARAM_VALUE 0 vmi->mas.status 1
PARAM_VALUE 2 vma 4096-ptr_max
PARAM_VALUE 2 vma->vm_mm 4096-ptr_max
PARAM_VALUE 5 vma_flags_ptr 5916538581272805376
NOSPEC 4 end
NOSPEC 4 end
RX_PATH
TASK_NOT_RUNNING
USER_DATA 0 vmi->mas.index 0-u64max
USER_DATA 1 prev->vm_start 1-u64max[c]
USER_DATA 3 start 0-u64max
USER_DATA 4 end 0-u64max
UNITS 3 start unit_byte
UNITS 4 end unit_byte
HALF_LOCKED2 &madv_behavior->mm->mmap_lock

mm/mseal.c __mseal_range() -> vma_modify_flags()

Type Parameter Key Value
PARAM_VALUE 0 vmi 2883308150567555072
PARAM_VALUE 0 vmi->mas.status 0,2-3
PARAM_VALUE 2 vma 4096-ptr_max
PARAM_VALUE 2 vma->flags.__vma_flags 4096-ptr_max
PARAM_VALUE 5 vma_flags_ptr 3530033066665009152
CAPPED_DATA 3 start 1
CAPPED_DATA 3 start 1
CAPPED_DATA 4 end 1
CAPPED_DATA 4 end 1
DATA_SOURCE 2 vma r vma_find
USER_DATA 0 vmi->mas.index 0-u64max
USER_DATA 0 vmi->mas.last 0-u64max
USER_DATA 1 prev->vm_pgoff 0-4503599627370495[c]
USER_DATA 1 prev->vm_start 1-u64max[c]
USER_DATA 3 start 0-u64max[c]
USER_DATA 4 end 0-s32max[c]
UNITS 3 start unit_byte
UNITS 4 end unit_byte

mm/mprotect.c mprotect_fixup() -> vma_modify_flags()

Type Parameter Key Value
PARAM_VALUE 0 vmi 5985223385738014720,6391229382859632640
PARAM_VALUE 0 vmi->mas.status 0-3
PARAM_VALUE 2 vma 4096-ptr_max
PARAM_VALUE 2 vma->vm_file->f_inode->i_sb->s_cop->inode_info_offs 1632,1720,2632,2648
PARAM_VALUE 2 vma->vm_file->f_mapping->i_mmap_rwsem.first_waiter->handoff_set 0-1
PARAM_VALUE 2 vma->vm_file->f_mapping->i_mmap_rwsem.first_waiter->type 0-1
PARAM_VALUE 2 vma->vm_ops 0,4096-ptr_max
PARAM_VALUE 5 vma_flags_ptr 2002330160899121152
DATA_SOURCE 0 vmi $0
DATA_SOURCE 2 vma $2
DATA_SOURCE 3 start $4
DATA_SOURCE 4 end $5
NOSPEC 0 vmi->mas.last
NOSPEC 3 start
NOSPEC 3 start
NOSPEC 4 end
NOSPEC 4 end
USER_DATA 0 vmi->mas.index 0-u64max
USER_DATA 0 vmi->mas.last 0-18446744073709551614
USER_DATA 3 start 0-u64max
USER_DATA 4 end 1-s32max[c]
NO_OVERFLOW_SIMPLE 2 vma->vm_end
NO_OVERFLOW_SIMPLE 2 vma->vm_start
NO_OVERFLOW_SIMPLE 4 end
UNITS 3 start unit_byte
UNITS 4 end unit_byte
HALF_LOCKED2 &mm->mmap_lock
HALF_LOCKED2 &tsk->signal->exec_update_lock

mm/mlock.c mlock_fixup() -> vma_modify_flags()

Type Parameter Key Value
PARAM_VALUE 0 vmi 3231920455427690496,5802402509652905984
PARAM_VALUE 0 vmi->mas.status 0,2-3
PARAM_VALUE 2 vma 4096-ptr_max
PARAM_VALUE 2 vma->vm_file 0,4096-ptr_max
PARAM_VALUE 2 vma->vm_file->f_mapping->i_mmap_rwsem.first_waiter->handoff_set 0-1
PARAM_VALUE 2 vma->vm_file->f_mapping->i_mmap_rwsem.first_waiter->type 0-1
PARAM_VALUE 2 vma->vm_ops 0-3942320277142892543,3942320277142892545-u64max
PARAM_VALUE 5 vma_flags_ptr 6749589187608195072,6827399240625045504
CAPPED_DATA 2 vma 1
DATA_SOURCE 0 vmi $0
DATA_SOURCE 2 vma $1
DATA_SOURCE 3 start $3
DATA_SOURCE 4 end $4
DATA_SOURCE 5 vma_flags_ptr $5
USER_DATA 0 vmi->mas.index 0,4096-u64max
USER_DATA 0 vmi->mas.last 0-u64max
USER_DATA 3 start 0,4096-u64max[c]
USER_DATA 4 end 0,4096-s32max[c]
NO_OVERFLOW_SIMPLE 2 vma->vm_end
NO_OVERFLOW_SIMPLE 2 vma->vm_start
NO_OVERFLOW_SIMPLE 3 start
NO_OVERFLOW_SIMPLE 4 end
UNITS 3 start unit_byte
UNITS 4 end unit_byte