vma_set_range identifier - Linux source code next-20260811

Projects

linux

Versions

FIXME
- FIXME
  - next-20260811

Defined in 1 files as a function:

mm/vma.c, line 87 (as a function)

Referenced in 1 files:

mm/vma.c

Smatch caller information:

mm/vma.c __install_special_mapping() -> vma_set_range()

Type	Parameter	Key	Value
PARAM_VALUE	0	vma	4096-ptr_max
PARAM_VALUE	0	vma->__vm_anon_pgoff_hi	0
PARAM_VALUE	0	vma->__vm_anon_pgoff_lo	0
PARAM_VALUE	0	vma->anon_name	0
PARAM_VALUE	0	vma->anon_vma	0
PARAM_VALUE	0	vma->numab_state	0
PARAM_VALUE	0	vma->pfnmap_track_ctx	0
PARAM_VALUE	0	vma->shared.rb.__rb_parent_color	0
PARAM_VALUE	0	vma->shared.rb.rb_left	0
PARAM_VALUE	0	vma->shared.rb.rb_right	0
PARAM_VALUE	0	vma->shared.rb_subtree_last	0
PARAM_VALUE	0	vma->swap_readahead_info.counter	0
PARAM_VALUE	0	vma->vm_end	0
PARAM_VALUE	0	vma->vm_file	0
PARAM_VALUE	0	vma->vm_flags	0
PARAM_VALUE	0	vma->vm_freeptr.v	0
PARAM_VALUE	0	vma->vm_lock_seq	u32max
PARAM_VALUE	0	vma->vm_ops	3940715687237373952
PARAM_VALUE	0	vma->vm_pgoff	0
PARAM_VALUE	0	vma->vm_policy	0
PARAM_VALUE	0	vma->vm_private_data	892145475411017728,1799840835957202944,3237031934007959552,6412785758661562368,7306518744887070720
PARAM_VALUE	0	vma->vm_refcnt.refs.counter	0
PARAM_VALUE	0	vma->vm_start	0
PARAM_VALUE	0	vma->vm_userfaultfd_ctx.ctx	0
PARAM_VALUE	0	vma->vmlock_dep_map->name	0-255
PARAM_VALUE	0	vma->vmlock_dep_map.cpu	0
PARAM_VALUE	0	vma->vmlock_dep_map.ip	0
PARAM_VALUE	0	vma->vmlock_dep_map.lock_type	0
PARAM_VALUE	0	vma->vmlock_dep_map.wait_type_outer	0
PARAM_VALUE	3	pgoff	0
PARAM_VALUE	4	anon_pgoff	0-4503599627370495
CAPPED_DATA	1	start	1
CAPPED_DATA	1	start	1
DATA_SOURCE	0	vma	r vm_area_alloc
DATA_SOURCE	1	start	$1
BIT_INFO	0	vma->flags	0x0,0x7fffffffffffffff
NOSPEC	1	start
NOSPEC	1	start
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
USER_DATA	1	start	0-s32max[c]
USER_DATA	4	anon_pgoff	0-524287[c]
UNITS	1	start	unit_byte
UNITS	2	end	unit_byte
UNITS	4	anon_pgoff	unit_page
LOCK2		&mm->mmap_lock
TYPE_LOCK		(struct mm_struct)->mmap_lock

mm/vma.c __mmap_new_vma() -> vma_set_range()

Type	Parameter	Key	Value
PARAM_VALUE	0	vma	4096-ptr_max
PARAM_VALUE	0	vma->__vm_anon_pgoff_hi	0
PARAM_VALUE	0	vma->__vm_anon_pgoff_lo	0
PARAM_VALUE	0	vma->anon_name	0
PARAM_VALUE	0	vma->anon_vma	0
PARAM_VALUE	0	vma->numab_state	0
PARAM_VALUE	0	vma->pfnmap_track_ctx	0
PARAM_VALUE	0	vma->shared.rb.__rb_parent_color	0
PARAM_VALUE	0	vma->shared.rb.rb_left	0
PARAM_VALUE	0	vma->shared.rb.rb_right	0
PARAM_VALUE	0	vma->shared.rb_subtree_last	0
PARAM_VALUE	0	vma->swap_readahead_info.counter	0
PARAM_VALUE	0	vma->vm_end	0
PARAM_VALUE	0	vma->vm_file	0
PARAM_VALUE	0	vma->vm_flags	0
PARAM_VALUE	0	vma->vm_freeptr.v	0
PARAM_VALUE	0	vma->vm_lock_seq	u32max
PARAM_VALUE	0	vma->vm_ops	0,6756087424609792000
PARAM_VALUE	0	vma->vm_page_prot.pgprot	0
PARAM_VALUE	0	vma->vm_pgoff	0
PARAM_VALUE	0	vma->vm_policy	0
PARAM_VALUE	0	vma->vm_private_data	0
PARAM_VALUE	0	vma->vm_refcnt.refs.counter	0
PARAM_VALUE	0	vma->vm_start	0
PARAM_VALUE	0	vma->vm_userfaultfd_ctx.ctx	0
PARAM_VALUE	0	vma->vmlock_dep_map->name	0-255
PARAM_VALUE	0	vma->vmlock_dep_map.cpu	0
PARAM_VALUE	0	vma->vmlock_dep_map.ip	0
PARAM_VALUE	0	vma->vmlock_dep_map.lock_type	0
PARAM_VALUE	0	vma->vmlock_dep_map.wait_type_outer	0
PARAM_VALUE	1	start	0-18446744073709547520
PARAM_VALUE	3	pgoff	0-4503599627370495
PARAM_VALUE	4	anon_pgoff	0-4503599627370495
DATA_SOURCE	0	vma	r vm_area_alloc
NOCHECK_CALL
NO_OVERFLOW_SIMPLE	3	pgoff
UNITS	1	start	unit_byte
UNITS	2	end	unit_byte
UNITS	3	pgoff	unit_page
UNITS	4	anon_pgoff	unit_page

mm/vma.c commit_merge() -> vma_set_range()

Type	Parameter	Key	Value
PARAM_VALUE	0	vma	4096-ptr_max
PARAM_VALUE	0	vma->vm_file	0,4096-ptr_max
PARAM_VALUE	0	vma->vm_mm	4096-ptr_max
PARAM_VALUE	1	start	1-u64max
PARAM_VALUE	2	end	1-u64max
NOSPEC	1	start
NOSPEC	1	start
NOSPEC	2	end
NOSPEC	2	end
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
USER_DATA	1	start	1-s32max[c]
USER_DATA	2	end	1-u64max
USER_DATA	3	pgoff	0-524287[c]
UNITS	1	start	unit_byte
UNITS	2	end	unit_byte
HALF_LOCKED2		&mm->mmap_lock

mm/vma.c copy_vma() -> vma_set_range()

Type	Parameter	Key	Value
PARAM_VALUE	0	vma	4096-ptr_max
PARAM_VALUE	0	vma->anon_name	0,4096-ptr_max
PARAM_VALUE	0	vma->anon_vma_chain.next	4096-ptr_max
PARAM_VALUE	0	vma->anon_vma_chain.next->next	4096-ptr_max
PARAM_VALUE	0	vma->anon_vma_chain.prev	4096-ptr_max
PARAM_VALUE	0	vma->anon_vma_chain.prev->next	4096-ptr_max
PARAM_VALUE	0	vma->anon_vma_chain.prev->prev	4096-ptr_max
PARAM_VALUE	0	vma->numab_state	0
PARAM_VALUE	0	vma->pfnmap_track_ctx	0,4096-ptr_max
PARAM_VALUE	0	vma->vm_lock_seq	u32max
PARAM_VALUE	0	vma->vm_refcnt.refs.counter	0
PARAM_VALUE	0	vma->vmlock_dep_map->name	0-255
PARAM_VALUE	0	vma->vmlock_dep_map.cpu	0
PARAM_VALUE	0	vma->vmlock_dep_map.lock_type	0
PARAM_VALUE	0	vma->vmlock_dep_map.wait_type_outer	0
PARAM_VALUE	1	start	0-18446744073709547520
DATA_SOURCE	0	vma	r vm_area_dup
DATA_SOURCE	1	start	$1 [m]
DATA_SOURCE	3	pgoff	$3 [m]
DATA_SOURCE	4	anon_pgoff	$4 [m]
NOCHECK_CALL
USER_DATA	1	start	0-s32max[c]
USER_DATA	3	pgoff	0-524287[c]
USER_DATA	4	anon_pgoff	0-524287[c]
NO_OVERFLOW_SIMPLE	0	vma->vm_start
UNITS	1	start	unit_byte
UNITS	2	end	unit_byte
UNITS	3	pgoff	unit_page
UNITS	4	anon_pgoff	unit_page
LOCK2		&mm->mmap_lock
TYPE_LOCK		(struct mm_struct)->mmap_lock

mm/vma.c do_brk_flags() -> vma_set_range()

Type	Parameter	Key	Value
PARAM_VALUE	0	vma	4096-ptr_max
PARAM_VALUE	0	vma->__vm_anon_pgoff_hi	0
PARAM_VALUE	0	vma->__vm_anon_pgoff_lo	0
PARAM_VALUE	0	vma->anon_name	0
PARAM_VALUE	0	vma->anon_vma	0
PARAM_VALUE	0	vma->numab_state	0
PARAM_VALUE	0	vma->pfnmap_track_ctx	0
PARAM_VALUE	0	vma->shared.rb.__rb_parent_color	0
PARAM_VALUE	0	vma->shared.rb.rb_left	0
PARAM_VALUE	0	vma->shared.rb.rb_right	0
PARAM_VALUE	0	vma->shared.rb_subtree_last	0
PARAM_VALUE	0	vma->swap_readahead_info.counter	0
PARAM_VALUE	0	vma->vm_end	0
PARAM_VALUE	0	vma->vm_file	0
PARAM_VALUE	0	vma->vm_flags	0
PARAM_VALUE	0	vma->vm_freeptr.v	0
PARAM_VALUE	0	vma->vm_lock_seq	u32max
PARAM_VALUE	0	vma->vm_ops	0
PARAM_VALUE	0	vma->vm_page_prot.pgprot	0
PARAM_VALUE	0	vma->vm_pgoff	0
PARAM_VALUE	0	vma->vm_policy	0
PARAM_VALUE	0	vma->vm_private_data	0
PARAM_VALUE	0	vma->vm_refcnt.refs.counter	0
PARAM_VALUE	0	vma->vm_start	0
PARAM_VALUE	0	vma->vm_userfaultfd_ctx.ctx	0
PARAM_VALUE	0	vma->vmlock_dep_map->name	0-255
PARAM_VALUE	0	vma->vmlock_dep_map.cpu	0
PARAM_VALUE	0	vma->vmlock_dep_map.ip	0
PARAM_VALUE	0	vma->vmlock_dep_map.lock_type	0
PARAM_VALUE	0	vma->vmlock_dep_map.wait_type_outer	0
PARAM_VALUE	1	start	0,4096-u64max
PARAM_VALUE	3	pgoff	0-4503599627370495
PARAM_VALUE	4	anon_pgoff	0-4503599627370495
CAPPED_DATA	1	start	1
CAPPED_DATA	1	start	1
CAPPED_DATA	2	end	1
DATA_SOURCE	0	vma	r vm_area_alloc
DATA_SOURCE	1	start	$2
PARAM_COMPARE	1	start	== $3
BIT_INFO	1	start	0x0,0xfffffffffffff000
BIT_INFO	1	start	0x0,0xfffffffffffff000
NOCHECK_CALL
USER_DATA	2	end	0,4096-u64max[c]
UNITS	1	start	unit_byte
UNITS	2	end	unit_byte
UNITS	3	pgoff	unit_page
UNITS	4	anon_pgoff	unit_page
LOCK2		&mm->mmap_lock
TYPE_LOCK		(struct mm_struct)->mmap_lock