函数逻辑报告

Linux Kernel

v5.5.9

Brick Technologies Co., Ltd

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

函数名称：Checks if a given pointer and length is contained by the current* stack frame (if possible)

函数原型：static noinline int check_stack_object(const void *obj, unsigned long len)

返回类型：int

参数：

类型参数名称
const void *obj
unsigned longlen
36  stack等于task_stack_page(当前进程)
37  stackend等于stack加THREAD_SIZE
41  如果obj加len小于等于stack或stackend小于等于obj则返回:NOT_STACK
49  如果obj小于stack或stackend小于obj加len则返回:BAD_STACK
53  ret等于Walks up the stack frames to make sure that the specified object is* entirely contained by a single stack frame
54  如果ret则返回:ret
57  返回:GOOD_STACK
调用者
名称描述
__check_object_sizeValidates that the given object is:* - not bogus address* - fully contained by stack (or stack frame, when available)* - fully within SLAB object (or object whitelist area, when available)* - not in kernel text