函数逻辑报告 |
Source Code:mm\usercopy.c |
Create Date:2022-07-27 18:11:04 |
| Last Modify:2020-03-12 14:18:49 | Copyright©Brick |
| 首页 | 函数Tree |
| 注解内核,赢得工具 | 下载SCCT | English |
函数名称:Is this address range in the kernel text area?
函数原型:static inline void check_kernel_text_object(const unsigned long ptr, unsigned long n, bool to_user)
返回类型:void
参数:
| 类型 | 参数 | 名称 |
|---|---|---|
| const unsigned long | ptr | |
| unsigned long | n | |
| bool | to_user |
| 124 | 如果Returns true if any portion of [ptr,ptr+n) over laps with [low,high). 则usercopy_abort("kernel text", NULL, to_user, ptr - textlow, n) |
| 135 | textlow_linear等于lm_alias(textlow) |
| 137 | 如果textlow_linear恒等于textlow则返回 |
| 141 | texthigh_linear等于lm_alias(texthigh) |
| 142 | 如果Returns true if any portion of [ptr,ptr+n) over laps with [low,high). 则usercopy_abort("linear kernel text", NULL, to_user, ptr - textlow_linear, n) |
| 名称 | 描述 |
|---|---|
| __check_object_size | 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 |
| 源代码转换工具 开放的插件接口 | X |
|---|---|
| 支持:c/c++/esqlc/java Oracle/Informix/Mysql 插件可实现:逻辑报告 代码生成和批量转换代码 |