Open Menu /

Defined in 1 files as a prototype:

Defined in 3 files as a function:

Referenced in 1 files:

Smatch caller information:

mm/kasan/common.c __kasan_check_byte() -> kasan_byte_accessible()

Type Parameter Key Value
BUF_SIZE 0 addr->common.type (-1),24
BUF_SIZE 0 addr->dev_id (-1)-s32max
BUF_SIZE 0 addr->grp.attrs (-1),8
BUF_SIZE 0 addr->grp.name (-1),11
BUF_SIZE 0 addr->limiter.permitted_waiters (-1),16
BUF_SIZE 0 addr->started (-1),96
DATA_SOURCE 0 addr $0
STR_LEN 0 addr (-1)-1010101
STR_LEN 0 addr (-1)-1010101
STR_LEN 0 addr->grp.name (-1),10
STR_LEN 0 addr->owning_target->error (-1)
STR_LEN 0 addr->thread_function (-1),6-7,9
PREEMPT_ADD
RX_PATH
TASK_NOT_RUNNING
HOST_DATA 0 *addr s64min-s64max
NO_OVERFLOW_SIMPLE 0 addr->admin.completion.vdo->geometry.index_config.mem
NO_OVERFLOW_SIMPLE 0 addr->admin.completion.vdo->states.vdo.config.physical_blocks
NO_OVERFLOW_SIMPLE 0 addr->admin.completion.vdo->thread_config.bio_thread_count
NO_OVERFLOW_SIMPLE 0 addr->admin.completion.vdo->thread_config.hash_zone_count
NO_OVERFLOW_SIMPLE 0 addr->admin.completion.vdo->thread_config.logical_zone_count
NO_OVERFLOW_SIMPLE 0 addr->admin.completion.vdo->thread_config.physical_zone_count
NO_OVERFLOW_SIMPLE 0 addr->admin.completion.vdo->thread_config.thread_count
NO_OVERFLOW_SIMPLE 0 addr->begin_update_barrier.thread_count
NO_OVERFLOW_SIMPLE 0 addr->block_map_maximum_age
NO_OVERFLOW_SIMPLE 0 addr->cache_size
NO_OVERFLOW_SIMPLE 0 addr->capacity
NO_OVERFLOW_SIMPLE 0 addr->client->block_size
NO_OVERFLOW_SIMPLE 0 addr->client->dm_io->bios.rescue_workqueue->rescuer->task->dl.pi_se->dl_runtime
NO_OVERFLOW_SIMPLE 0 addr->completion.vdo->geometry.index_config.mem
NO_OVERFLOW_SIMPLE 0 addr->completion.vdo->states.vdo.config.physical_blocks
NO_OVERFLOW_SIMPLE 0 addr->completion.vdo->thread_config.bio_thread_count
NO_OVERFLOW_SIMPLE 0 addr->completion.vdo->thread_config.hash_zone_count
NO_OVERFLOW_SIMPLE 0 addr->completion.vdo->thread_config.logical_zone_count
NO_OVERFLOW_SIMPLE 0 addr->completion.vdo->thread_config.physical_zone_count
NO_OVERFLOW_SIMPLE 0 addr->completion.vdo->thread_config.thread_count
NO_OVERFLOW_SIMPLE 0 addr->delta_index.zone_count
NO_OVERFLOW_SIMPLE 0 addr->device_config->index_memory
NO_OVERFLOW_SIMPLE 0 addr->device_config->max_discard_blocks
NO_OVERFLOW_SIMPLE 0 addr->device_config->physical_blocks
NO_OVERFLOW_SIMPLE 0 addr->device_config->thread_counts.bio_ack_threads
NO_OVERFLOW_SIMPLE 0 addr->device_config->thread_counts.bio_rotation_interval
NO_OVERFLOW_SIMPLE 0 addr->device_config->thread_counts.bio_threads
NO_OVERFLOW_SIMPLE 0 addr->device_config->thread_counts.cpu_threads
NO_OVERFLOW_SIMPLE 0 addr->device_config->thread_counts.hash_zones
NO_OVERFLOW_SIMPLE 0 addr->device_config->thread_counts.logical_zones
NO_OVERFLOW_SIMPLE 0 addr->device_config->thread_counts.physical_zones
NO_OVERFLOW_SIMPLE 0 addr->discard_limiter.limit
NO_OVERFLOW_SIMPLE 0 addr->encoded_size
NO_OVERFLOW_SIMPLE 0 addr->end_update_barrier.thread_count
NO_OVERFLOW_SIMPLE 0 addr->geometry->records_per_page
NO_OVERFLOW_SIMPLE 0 addr->geometry.index_config.mem
NO_OVERFLOW_SIMPLE 0 addr->geometry_block.vio.completion.vdo->geometry.index_config.mem
NO_OVERFLOW_SIMPLE 0 addr->geometry_block.vio.completion.vdo->states.vdo.config.physical_blocks
NO_OVERFLOW_SIMPLE 0 addr->geometry_block.vio.completion.vdo->thread_config.bio_thread_count
NO_OVERFLOW_SIMPLE 0 addr->geometry_block.vio.completion.vdo->thread_config.hash_zone_count
NO_OVERFLOW_SIMPLE 0 addr->geometry_block.vio.completion.vdo->thread_config.logical_zone_count
NO_OVERFLOW_SIMPLE 0 addr->geometry_block.vio.completion.vdo->thread_config.physical_zone_count
NO_OVERFLOW_SIMPLE 0 addr->geometry_block.vio.completion.vdo->thread_config.thread_count
NO_OVERFLOW_SIMPLE 0 addr->header.payload
NO_OVERFLOW_SIMPLE 0 addr->header.region_count
NO_OVERFLOW_SIMPLE 0 addr->index->zone_count
NO_OVERFLOW_SIMPLE 0 addr->info->size
NO_OVERFLOW_SIMPLE 0 addr->limiter.limit
NO_OVERFLOW_SIMPLE 0 addr->limiter.pool->discard_limiter.limit
NO_OVERFLOW_SIMPLE 0 addr->map->root_count
NO_OVERFLOW_SIMPLE 0 addr->max_discard_blocks
NO_OVERFLOW_SIMPLE 0 addr->ndescs
NO_OVERFLOW_SIMPLE 0 addr->new_slab_count
NO_OVERFLOW_SIMPLE 0 addr->next_forest->segments
NO_OVERFLOW_SIMPLE 0 addr->num_service_queues
NO_OVERFLOW_SIMPLE 0 addr->open_chapter->slot_count
NO_OVERFLOW_SIMPLE 0 addr->open_chapter_index->delta_index.zone_count
NO_OVERFLOW_SIMPLE 0 addr->owning_target->begin
NO_OVERFLOW_SIMPLE 0 addr->owning_target->len
NO_OVERFLOW_SIMPLE 0 addr->page_cache.cache_slots
NO_OVERFLOW_SIMPLE 0 addr->page_cache.indexable_pages
NO_OVERFLOW_SIMPLE 0 addr->page_cache.zone_count
NO_OVERFLOW_SIMPLE 0 addr->physical_blocks
NO_OVERFLOW_SIMPLE 0 addr->read_threads
NO_OVERFLOW_SIMPLE 0 addr->reference_block_count
NO_OVERFLOW_SIMPLE 0 addr->root_count
NO_OVERFLOW_SIMPLE 0 addr->segments
NO_OVERFLOW_SIMPLE 0 addr->size
NO_OVERFLOW_SIMPLE 0 addr->slot_count
NO_OVERFLOW_SIMPLE 0 addr->sparse_cache->begin_update_barrier.thread_count
NO_OVERFLOW_SIMPLE 0 addr->sparse_cache->end_update_barrier.thread_count
NO_OVERFLOW_SIMPLE 0 addr->sparse_cache->zone_count
NO_OVERFLOW_SIMPLE 0 addr->states.vdo.config.physical_blocks
NO_OVERFLOW_SIMPLE 0 addr->super.max_saves
NO_OVERFLOW_SIMPLE 0 addr->super_block.vio.completion.vdo->geometry.index_config.mem
NO_OVERFLOW_SIMPLE 0 addr->super_block.vio.completion.vdo->states.vdo.config.physical_blocks
NO_OVERFLOW_SIMPLE 0 addr->super_block.vio.completion.vdo->thread_config.bio_thread_count
NO_OVERFLOW_SIMPLE 0 addr->super_block.vio.completion.vdo->thread_config.hash_zone_count
NO_OVERFLOW_SIMPLE 0 addr->super_block.vio.completion.vdo->thread_config.logical_zone_count
NO_OVERFLOW_SIMPLE 0 addr->super_block.vio.completion.vdo->thread_config.physical_zone_count
NO_OVERFLOW_SIMPLE 0 addr->super_block.vio.completion.vdo->thread_config.thread_count
NO_OVERFLOW_SIMPLE 0 addr->thread_config.bio_thread_count
NO_OVERFLOW_SIMPLE 0 addr->thread_config.hash_zone_count
NO_OVERFLOW_SIMPLE 0 addr->thread_config.logical_zone_count
NO_OVERFLOW_SIMPLE 0 addr->thread_config.physical_zone_count
NO_OVERFLOW_SIMPLE 0 addr->thread_counts.bio_ack_threads
NO_OVERFLOW_SIMPLE 0 addr->thread_counts.bio_rotation_interval
NO_OVERFLOW_SIMPLE 0 addr->thread_counts.bio_threads
NO_OVERFLOW_SIMPLE 0 addr->thread_counts.cpu_threads
NO_OVERFLOW_SIMPLE 0 addr->thread_counts.hash_zones
NO_OVERFLOW_SIMPLE 0 addr->thread_counts.logical_zones
NO_OVERFLOW_SIMPLE 0 addr->thread_counts.physical_zones
NO_OVERFLOW_SIMPLE 0 addr->vdo->geometry.index_config.mem
NO_OVERFLOW_SIMPLE 0 addr->vdo->states.vdo.config.physical_blocks
NO_OVERFLOW_SIMPLE 0 addr->vdo->thread_config.bio_thread_count
NO_OVERFLOW_SIMPLE 0 addr->vdo->thread_config.hash_zone_count
NO_OVERFLOW_SIMPLE 0 addr->vdo->thread_config.logical_zone_count
NO_OVERFLOW_SIMPLE 0 addr->vdo->thread_config.physical_zone_count
NO_OVERFLOW_SIMPLE 0 addr->vdo->thread_config.thread_count
NO_OVERFLOW_SIMPLE 0 addr->vi_hook.delta_index.zone_count
NO_OVERFLOW_SIMPLE 0 addr->vi_hook.zone_count
NO_OVERFLOW_SIMPLE 0 addr->vi_non_hook.delta_index.zone_count
NO_OVERFLOW_SIMPLE 0 addr->vi_non_hook.zone_count
NO_OVERFLOW_SIMPLE 0 addr->volume->page_cache.cache_slots
NO_OVERFLOW_SIMPLE 0 addr->volume->page_cache.indexable_pages
NO_OVERFLOW_SIMPLE 0 addr->volume->page_cache.zone_count
NO_OVERFLOW_SIMPLE 0 addr->volume_index->vi_hook.delta_index.zone_count
NO_OVERFLOW_SIMPLE 0 addr->volume_index->vi_hook.zone_count
NO_OVERFLOW_SIMPLE 0 addr->volume_index->vi_non_hook.delta_index.zone_count
NO_OVERFLOW_SIMPLE 0 addr->volume_index->vi_non_hook.zone_count
NO_OVERFLOW_SIMPLE 0 addr->volume_index->zone_count
NO_OVERFLOW_SIMPLE 0 addr->writing_chapter->slot_count
NO_OVERFLOW_SIMPLE 0 addr->zone_count
UNITS 0 addr unit_byte

mm/kasan/common.c check_page_allocation() -> kasan_byte_accessible()

Type Parameter Key Value
PARAM_VALUE 0 addr 18379471554275704832,18446612682070032384
BUF_SIZE 0 addr (-1)-s32max
BUF_SIZE 0 addr (-1)-s32max
CAPPED_DATA 0 addr 1
DATA_SOURCE 0 addr $0
PREEMPT_ADD
RX_PATH
TASK_NOT_RUNNING
NO_OVERFLOW_SIMPLE 0 addr->buf->nr_bvecs
NO_OVERFLOW_SIMPLE 0 addr->nr_bvecs
UNITS 0 addr unit_byte

mm/kasan/common.c check_slab_allocation() -> kasan_byte_accessible()

Type Parameter Key Value
BUF_SIZE 0 addr (-1)-s32max
BUF_SIZE 0 addr (-1)-s32max
PREEMPT_ADD
RX_PATH
TASK_NOT_RUNNING
UNITS 0 addr unit_byte