函数逻辑报告 |
Source Code:lib\usercopy.c |
Create Date:2022-07-27 07:22:37 |
| Last Modify:2020-03-12 14:18:49 | Copyright©Brick |
| 首页 | 函数Tree |
| 注解内核,赢得工具 | 下载SCCT | English |
函数名称:heck_zeroed_user: check if a userspace buffer only contains zero bytes*@from: Source address, in userspace
函数原型:int check_zeroed_user(const void __user *from, size_t size)
返回类型:int
参数:
| 类型 | 参数 | 名称 |
|---|---|---|
| const void __user * | from | |
| size_t | size |
| 55 | 如果此条件成立可能性小(为编译器优化)(size == 0)则返回:1 |
| 61 | 如果非user_access_begin(from, size)则返回:负EFAULT |
| 64 | unsafe_get_user(val, (unsignedlong__user * )from, err_fault) |
| 65 | 如果align则val与等于aligned_byte_mask(align)的反 |
| 69 | 如果此条件成立可能性小(为编译器优化)(val)则转到:done |
| 75 | unsafe_get_user(val, (unsignedlong__user * )from, err_fault) |
| 78 | 如果size小于sizeof(unsignedlong)则val与等于aligned_byte_mask(size) |
| 81 | done : |
| 82 | user_access_end() |
| 83 | 返回:val恒等于0 |
| 84 | err_fault : |
| 85 | user_access_end() |
| 86 | 返回:负EFAULT |
| 名称 | 描述 |
|---|---|
| test_check_nonzero_user | |
| copy_struct_from_user | py_struct_from_user: copy a struct from userspace*@dst: Destination address, in kernel space |
| 源代码转换工具 开放的插件接口 | X |
|---|---|
| 支持:c/c++/esqlc/java Oracle/Informix/Mysql 插件可实现:逻辑报告 代码生成和批量转换代码 |