函数逻辑报告 |
Source Code:fs\read_write.c |
Create Date:2022-07-29 10:31:32 |
Last Modify:2020-03-18 10:18:51 | Copyright©Brick |
首页 | 函数Tree |
注解内核,赢得工具 | 下载SCCT | English |
函数名称:remap_verify_area
函数原型:static int remap_verify_area(struct file *file, loff_t pos, loff_t len, bool write)
返回类型:int
参数:
类型 | 参数 | 名称 |
---|---|---|
struct file * | file | |
loff_t | pos | |
loff_t | len | |
bool | write |
1755 | inode等于file_inode(file) |
1757 | 如果此条件成立可能性小(为编译器优化)(pos < 0 || len < 0)则返回:负EINVAL |
1760 | 如果此条件成立可能性小(为编译器优化)((loff_t)(pos + len) < 0)则返回:负EINVAL |
1763 | 如果此条件成立可能性小(为编译器优化)(i_flctx && mandatory_lock(inode))则 |
1773 | 返回:security_file_permission(file, write ? MAY_WRITE : MAY_READ) |
源代码转换工具 开放的插件接口 | X |
---|---|
支持:c/c++/esqlc/java Oracle/Informix/Mysql 插件可实现:逻辑报告 代码生成和批量转换代码 |