Documented in 1 files:

Defined in 31 files as a prototype:

Defined in 2 files as a member:

Defined in 16 files as a macro:

Defined in 4 files as a label:

Defined in 24 files as a function:

Referenced in 7641 files:

Smatch caller information:

lib/crypto/sha256.c __sha256_update() -> memcpy()

Type Parameter Key Value
PARAM_VALUE 0 dest 4096-ptr_max
PARAM_VALUE 0 *dest 0-255
PARAM_VALUE 2 n 1-63
DATA_SOURCE 1 src $1
STR_LEN 0 dest (-1)-s32max
PREEMPT_ADD
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
UNITS 1 src unit_byte
UNITS 2 n unit_byte
USER_PTR 1 src
HALF_LOCKED2 &chip->ops_sem
HALF_LOCKED2 &chip->tpm_mutex
HALF_LOCKED2 &con->mutex
HALF_LOCKED2 &ctx->rwsem
HALF_LOCKED2 &md->io_barrier
HALF_LOCKED2 &of->mutex

lib/crypto/sha256.c __sha256_update() -> memcpy()

Type Parameter Key Value
PARAM_VALUE 0 dest 4096-ptr_max
PARAM_VALUE 0 *dest 0-255
PARAM_VALUE 2 n 1-u64max
DATA_SOURCE 1 src $1 [m]
DATA_SOURCE 2 n $2 [m]
FUZZY_MAX 2 n 4096
STR_LEN 0 dest (-1)-s32max
NOSPEC 2 n
PREEMPT_ADD
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HOST_DATA 2 n 1-s32max,u32max[c]
USER_DATA 2 n 1-u32max
UNITS 1 src unit_byte
UNITS 2 n unit_byte
USER_PTR 1 src
HALF_LOCKED2 &chip->ops_sem
HALF_LOCKED2 &chip->tpm_mutex
HALF_LOCKED2 &con->mutex
HALF_LOCKED2 &ctx->rwsem
HALF_LOCKED2 &md->io_barrier
HALF_LOCKED2 &of->mutex

drivers/firmware/efi/libstub/efi-stub-helper.c efi_measure_tagged_event() -> memcpy()

Type Parameter Key Value
PARAM_VALUE 1 *src 0-255
PARAM_VALUE 2 n 13,26
BUF_SIZE 1 src 52
NOCHECK_CALL

drivers/firmware/efi/libstub/efi-stub-helper.c efi_parse_options() -> memcpy()

Type Parameter Key Value
PARAM_VALUE 0 dest 0
PARAM_VALUE 1 src 1-u64max
PARAM_VALUE 2 n 0-2047
DATA_SOURCE 1 src $0
STR_LEN 0 dest (-1)-0
NOCHECK_CALL

arch/x86/platform/efi/memmap.c efi_memmap_insert() -> memcpy()

Type Parameter Key Value
PARAM_VALUE 1 src 0-18446744073709551614
CAPPED_DATA 1 src 1
NOCHECK_CALL
UNITS 1 src unit_byte
UNITS 2 n unit_byte
HALF_LOCKED2 irq

arch/x86/platform/efi/memmap.c efi_memmap_insert() -> memcpy()

Type Parameter Key Value
PARAM_VALUE 1 src 0-18446744073709551614
CAPPED_DATA 1 src 1
NOCHECK_CALL
UNITS 1 src unit_byte
UNITS 2 n unit_byte
HALF_LOCKED2 irq

arch/x86/platform/efi/memmap.c efi_memmap_insert() -> memcpy()

Type Parameter Key Value
PARAM_VALUE 1 src 0-18446744073709551614
CAPPED_DATA 1 src 1
NOCHECK_CALL
UNITS 1 src unit_byte
UNITS 2 n unit_byte
HALF_LOCKED2 irq

arch/x86/platform/efi/memmap.c efi_memmap_insert() -> memcpy()

Type Parameter Key Value
PARAM_VALUE 1 src 0-18446744073709551614
CAPPED_DATA 1 src 1
NOCHECK_CALL
UNITS 1 src unit_byte
UNITS 2 n unit_byte
HALF_LOCKED2 irq

arch/x86/platform/efi/memmap.c efi_memmap_insert() -> memcpy()

Type Parameter Key Value
PARAM_VALUE 1 src 0-18446744073709551614
CAPPED_DATA 1 src 1
NOCHECK_CALL
UNITS 1 src unit_byte
UNITS 2 n unit_byte
HALF_LOCKED2 irq

drivers/firmware/efi/libstub/random.c efi_random_get_seed() -> memcpy()

Type Parameter Key Value
PARAM_VALUE 0 dest 4096-ptr_max
PARAM_VALUE 0 *dest 0-255
PARAM_VALUE 2 n 1-512
NOCHECK_CALL
UNITS 2 n unit_byte

arch/x86/boot/startup/sev-startup.c setup_cpuid_table() -> memcpy()

Type Parameter Key Value
PARAM_VALUE 1 src 4096-ptr_max
PARAM_VALUE 2 n 3088
DATA_SOURCE 0 dest r snp_cpuid_get_table
NOCHECK_CALL
UNITS 2 n unit_byte

drivers/firmware/efi/libstub/x86-stub.c exit_boot_func() -> memcpy()

Type Parameter Key Value
PARAM_VALUE 1 src 2362183088324341760,7479731608358006784
PARAM_VALUE 2 n 4
BUF_SIZE 0 dest 4
BUF_SIZE 1 src 5
STR_LEN 0 dest 4
BIT_INFO 1 src 0x20c80800a200b000,0x67cd7944fb71f000
TERMINATED 1 src 1
NOCHECK_CALL
UNITS 2 n unit_byte

drivers/firmware/efi/libstub/x86-stub.c preserve_pci_rom_image() -> memcpy()

Type Parameter Key Value
PARAM_VALUE 0 dest 0
PARAM_VALUE 1 src 1-u64max
PARAM_VALUE 2 n 1-16777216
NOCHECK_CALL
UNITS 2 n unit_byte

drivers/firmware/efi/libstub/gop.c setup_edid_info() -> memcpy()

Type Parameter Key Value
PARAM_VALUE 0 dest 0
PARAM_VALUE 1 src 1-u64max
PARAM_VALUE 2 n 128
BUF_SIZE 0 dest 128
DATA_SOURCE 1 src $2
NOCHECK_CALL
UNITS 2 n unit_byte

arch/x86/kernel/kexec-bzimage64.c bzImage64_load() -> memcpy()

Type Parameter Key Value
PARAM_VALUE 0 dest 4096-ptr_max
PARAM_VALUE 1 *src 0-255
PARAM_VALUE 2 n 17-272
BUF_SIZE 0 dest 123
NOCHECK_CALL

arch/x86/kernel/kexec-bzimage64.c setup_boot_parameters() -> memcpy()

Type Parameter Key Value
PARAM_VALUE 0 dest 4096-ptr_max
PARAM_VALUE 1 src 8120101424662679552
PARAM_VALUE 2 n 64
BUF_SIZE 0 dest 64
BUF_SIZE 1 src 64
NOCHECK_CALL
UNITS 2 n unit_byte

arch/x86/kernel/kexec-bzimage64.c setup_boot_parameters() -> memcpy()

Type Parameter Key Value
PARAM_VALUE 2 n 492
BUF_SIZE 0 dest 492
BUF_SIZE 1 src 492
NOCHECK_CALL

arch/x86/kernel/kexec-bzimage64.c setup_boot_parameters() -> memcpy()

Type Parameter Key Value
PARAM_VALUE 2 n 64
BUF_SIZE 0 dest 64
BUF_SIZE 1 src 64
NOCHECK_CALL

arch/x86/kernel/kexec-bzimage64.c setup_cmdline() -> memcpy()

Type Parameter Key Value
PARAM_VALUE 0 *dest 0-255
PARAM_VALUE 2 n 0-u32max
BUF_SIZE 1 src 1-s32max
CAPPED_DATA 2 n 1
CAPPED_DATA 2 n 1
DATA_SOURCE 1 src $4
DATA_SOURCE 2 n $5
NOSPEC 2 n
NOSPEC 2 n
NOCHECK_CALL
USER_DATA 2 n 1-s32max[c]
UNITS 0 dest unit_byte
UNITS 2 n unit_byte
USER_PTR 1 src

arch/x86/kernel/kexec-bzimage64.c setup_dtb() -> memcpy()

Type Parameter Key Value
PARAM_VALUE 1 src 4096-ptr_max
PARAM_VALUE 2 n 0-u32max
DATA_SOURCE 2 n r fdt32_ld
NOCHECK_CALL

arch/x86/kernel/kexec-bzimage64.c setup_e820_entries() -> memcpy()

Type Parameter Key Value
PARAM_VALUE 0 dest 4096-ptr_max
PARAM_VALUE 1 src 4096-ptr_max
PARAM_VALUE 2 n 0-2560
BUF_SIZE 0 dest 2560
BUF_SIZE 1 src 64000
NOCHECK_CALL

drivers/firmware/efi/libstub/x86-5lvl.c efi_5level_switch() -> memcpy()

Type Parameter Key Value
PARAM_VALUE 0 dest 4096-ptr_max
PARAM_VALUE 1 src 4294967296-4503599627366400
PARAM_VALUE 2 n 4096
UNITS 0 dest unit_byte
UNITS 2 n unit_byte

drivers/firmware/efi/libstub/x86-5lvl.c efi_setup_5level_paging() -> memcpy()

Type Parameter Key Value
PARAM_VALUE 2 n 0

drivers/firmware/efi/libstub/tpm.c __calc_tpm2_event_size() -> memcpy()

Type Parameter Key Value
PARAM_VALUE 0 dest 1965737790118416384
PARAM_VALUE 1 src 4096-u64max
PARAM_VALUE 2 n 2
BUF_SIZE 0 dest 2
NOCHECK_CALL
UNITS 1 src unit_byte
UNITS 2 n unit_byte

drivers/firmware/efi/libstub/tpm.c efi_retrieve_tcg2_eventlog() -> memcpy()

Type Parameter Key Value
PARAM_VALUE 0 dest 0
PARAM_VALUE 1 src 1-u64max
PARAM_VALUE 2 n 0-2147483635,18446744073709551604-u64max
DATA_SOURCE 1 src $1
BIT_INFO 1 src 0x0,0x0
NOCHECK_CALL
UNITS 2 n unit_byte

arch/x86/platform/efi/efi.c efi_clean_memmap() -> memcpy()

Type Parameter Key Value
PARAM_VALUE 1 src 4096-18446744073709547519
PARAM_COMPARE 0 dest != $1
PARAM_COMPARE 1 src != $0
PARAM_COMPARE 1 src >= $1
PARAM_COMPARE 2 n <= $1
NOCHECK_CALL
UNITS 0 dest unit_byte
UNITS 1 src unit_byte
UNITS 2 n unit_byte
LOCK2 irq

arch/x86/platform/efi/efi.c efi_map_regions() -> memcpy()

Type Parameter Key Value
PARAM_VALUE 1 src 4096-ptr_max
CAPPED_DATA 2 n 1
CAPPED_DATA 2 n 1
NOCHECK_CALL
UNITS 1 src unit_byte
UNITS 2 n unit_byte

arch/x86/platform/efi/efi.c realloc_pages() -> memcpy()

Type Parameter Key Value
PARAM_VALUE 0 dest 18379471554275704832,18446612682070032384
PARAM_VALUE 1 src 18379471554275704832,18446612682070032384
DATA_SOURCE 0 dest r get_free_pages_noprof
DATA_SOURCE 1 src $0
NOCHECK_CALL

arch/x86/platform/efi/quirks.c efi_unmap_boot_services() -> memcpy()

Type Parameter Key Value
PARAM_VALUE 1 src 4096-ptr_max
NOCHECK_CALL
UNITS 1 src unit_byte
UNITS 2 n unit_byte

drivers/firmware/efi/libstub/file.c efi_open_device_path() -> memcpy()

Type Parameter Key Value
PARAM_VALUE 2 n 0-512
BUF_SIZE 0 dest 512
CAPPED_DATA 2 n 1
NOCHECK_CALL
UNITS 2 n unit_byte

drivers/firmware/efi/libstub/file.c handle_cmdline_files() -> memcpy()

Type Parameter Key Value
PARAM_VALUE 1 src 1-u64max
NOCHECK_CALL
UNITS 2 n unit_byte

arch/x86/platform/efi/efi_64.c efi_sync_low_kernel_mappings() -> memcpy()

Type Parameter Key Value
PARAM_VALUE 2 n 0,1904,4088
DATA_SOURCE 1 src r pgd_offset_pgd
PREEMPT_ADD
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL

arch/x86/platform/efi/efi_64.c efi_sync_low_kernel_mappings() -> memcpy()

Type Parameter Key Value
PARAM_VALUE 2 n 0,4088
CAPPED_DATA 2 n 1
PREEMPT_ADD
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
UNITS 1 src unit_byte

arch/x86/platform/efi/efi_64.c efi_sync_low_kernel_mappings() -> memcpy()

Type Parameter Key Value
PARAM_VALUE 2 n 3552
DATA_SOURCE 0 dest r pud_offset
DATA_SOURCE 1 src r pud_offset
PREEMPT_ADD
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL

arch/x86/platform/efi/efi_64.c efi_sync_low_kernel_mappings() -> memcpy()

Type Parameter Key Value
PARAM_VALUE 2 n 32
DATA_SOURCE 0 dest r pud_offset
DATA_SOURCE 1 src r pud_offset
PREEMPT_ADD
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
UNITS 1 src unit_byte

drivers/firmware/efi/capsule.c efi_capsule_supported() -> memcpy()

Type Parameter Key Value
PARAM_VALUE 0 dest 8146017356433539072
PARAM_VALUE 2 n 16
BUF_SIZE 0 dest 16
BUF_SIZE 1 src 16
NOCHECK_CALL
UNITS 2 n unit_byte

arch/x86/boot/startup/gdt_idt.c native_write_idt_entry() -> memcpy()

Type Parameter Key Value
PARAM_VALUE 0 dest 4096-ptr_max
PARAM_VALUE 1 src 2361311746542837760
PARAM_VALUE 2 n 16
DATA_SOURCE 1 src $2
NOCHECK_CALL
UNITS 2 n unit_byte

arch/x86/kernel/setup.c copy_edd() -> memcpy()

Type Parameter Key Value
PARAM_VALUE 2 n 64
BUF_SIZE 0 dest 64
BUF_SIZE 1 src 64
NOCHECK_CALL
UNITS 2 n unit_byte
LOCK2 irq

arch/x86/kernel/setup.c copy_edd() -> memcpy()

Type Parameter Key Value
PARAM_VALUE 2 n 492
BUF_SIZE 0 dest 492
BUF_SIZE 1 src 492
NOCHECK_CALL
UNITS 2 n unit_byte
LOCK2 irq

arch/x86/platform/efi/runtime-map.c add_sysfs_runtime_map_entry() -> memcpy()

Type Parameter Key Value
PARAM_VALUE 0 dest 4096-ptr_max
PARAM_VALUE 1 src 1-u64max
PARAM_VALUE 2 n 40
BUF_SIZE 0 dest 40
DATA_SOURCE 1 src $2
NOCHECK_CALL
UNITS 1 src unit_byte
UNITS 2 n unit_byte

arch/x86/platform/efi/runtime-map.c efi_runtime_map_copy() -> memcpy()

Type Parameter Key Value
PARAM_VALUE 0 dest 4096-ptr_max
PARAM_VALUE 2 n 0-u32max
CAPPED_DATA 2 n 1
CAPPED_DATA 2 n 1
DATA_SOURCE 0 dest $0
BIT_INFO 2 n 0x0,0x7fffffff
BIT_INFO 2 n 0x0,0x7fffffff
NOCHECK_CALL
UNITS 0 dest unit_byte
UNITS 1 src unit_byte

arch/x86/kernel/module.c __write_relocate_add() -> __write_relocate_add param 5()

Type Parameter Key Value
PARAM_VALUE 0 dest 4096-ptr_max
PARAM_VALUE 1 src 4096-ptr_max
PARAM_VALUE 2 n 4,8
BUF_SIZE 1 src 8
CAPPED_DATA 2 n 1
CAPPED_DATA 2 n 1
FUZZY_MAX 2 n 8
BIT_INFO 2 n 0x0,0xc
BIT_INFO 2 n 0x0,0xc
HARD_MAX 2 n 8
NOCHECK_CALL
UNITS 0 dest unit_byte
HALF_LOCKED2 global &text_mutex

arch/x86/kernel/module.c __write_relocate_add() -> __write_relocate_add param 5()

Type Parameter Key Value
PARAM_VALUE 0 dest 4096-ptr_max
PARAM_VALUE 1 src 5806169824584171520
PARAM_VALUE 1 *src 0
PARAM_VALUE 2 n 4,8
BUF_SIZE 1 src 8
CAPPED_DATA 2 n 1
CAPPED_DATA 2 n 1
FUZZY_MAX 2 n 8
BIT_INFO 2 n 0x0,0xc
BIT_INFO 2 n 0x0,0xc
HARD_MAX 2 n 8
NOCHECK_CALL
UNITS 0 dest unit_byte
HALF_LOCKED2 global &text_mutex