函数逻辑报告

Linux Kernel

v5.5.9

Brick Technologies Co., Ltd

Source Code:mm\kasan\generic.c Create Date:2022-07-27 17:27:36
Last Modify:2020-03-12 14:18:49 Copyright©Brick
首页 函数Tree
注解内核,赢得工具下载SCCTEnglish

函数名称：check_memory_region_inline

函数原型：static __always_inline bool check_memory_region_inline(unsigned long addr, size_t size, bool write, unsigned long ret_ip)

返回类型：bool

参数：

类型参数名称
unsigned longaddr
size_tsize
boolwrite
unsigned longret_ip
173  如果此条件成立可能性小(为编译器优化)(size == 0)则返回:true
176  如果此条件成立可能性小(为编译器优化)((void * )addr < kasan_shadow_to_mem((void * )Compiler uses shadow offset assuming that addresses start* from 0. Kernel addresses don't start from 0, so shadow* for kernel really starts from compiler's shadow offset +* 'kernel address space start' >> KASAN_SHADOW_SCALE_SHIFT))则
178  kasan_report(addr, size, write, ret_ip)
179  返回:false
182  如果此条件成立可能性大(为编译器优化)(!memory_is_poisoned(addr, size))则返回:true
185  kasan_report(addr, size, write, ret_ip)
186  返回:false
调用者
名称描述
check_memory_region
__asan_load1
__asan_store1
__asan_load2
__asan_store2
__asan_load4
__asan_store4
__asan_load8
__asan_store8
__asan_load16
__asan_store16