函数逻辑报告 |
Source Code:mm\usercopy.c |
Create Date:2022-07-27 18:11:09 |
| Last Modify:2020-03-12 14:18:49 | Copyright©Brick |
| 首页 | 函数Tree |
| 注解内核,赢得工具 | 下载SCCT | English |
函数名称:Validates 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
函数原型:void __check_object_size(const void *ptr, unsigned long n, bool to_user)
返回类型:void
参数:
| 类型 | 参数 | 名称 |
|---|---|---|
| const void * | ptr | |
| unsigned long | n | |
| bool | to_user |
| 258 | 如果static_branch_unlikely( & bypass_usercopy_checks)则返回 |
| 262 | 如果非n则返回 |
| 266 | check_bogus_address((constunsignedlong)ptr, n, to_user) |
| 272 | 退出 |
| 273 | 当:Checks if a given pointer and length is contained by the current* stack frame (if possible)恒等于GOOD_FRAME |
| 280 | 返回 |
| 281 | 默认 |
| 282 | usercopy_abort("process stack", NULL, to_user, 0, n) |
| 286 | check_heap_object(ptr, n, to_user) |
| 源代码转换工具 开放的插件接口 | X |
|---|---|
| 支持:c/c++/esqlc/java Oracle/Informix/Mysql 插件可实现:逻辑报告 代码生成和批量转换代码 |