| 函数逻辑报告 | 
| Source Code: lib\test_kasan.c | Create Date:2022-07-27 07:26:48 | 
| Last Modify:2020-03-12 14:18:49 | Copyright©Brick | 
| 首页 | 函数Tree | 
| 注解内核,赢得工具 | 下载SCCT | English | 
函数名称:copy_user_test
函数原型:static noinline void __init copy_user_test(void)
返回类型:void
参数:无
| 480 | size等于10 | 
| 483 | kmem等于kmalloc(size, GFP_KERNEL) | 
| 484 | 如果非kmem则返回 | 
| 487 | usermem等于vm_mmap(NULL, 0, PAGE_SIZE, page can be read | page can be written | page can be executed , don't use a file | Changes are private , 0) | 
| 490 | 如果是错误则 | 
| 496 | 打印信息("out-of-bounds in copy_from_user()\n") | 
| 497 | unused等于copy_from_user(kmem, usermem, size + 1) | 
| 499 | 打印信息("out-of-bounds in copy_to_user()\n") | 
| 500 | unused等于copy_to_user(usermem, kmem, size + 1) | 
| 502 | 打印信息("out-of-bounds in __copy_from_user()\n") | 
| 503 | unused等于__copy_from_user(kmem, usermem, size + 1) | 
| 505 | 打印信息("out-of-bounds in __copy_to_user()\n") | 
| 506 | unused等于__copy_to_user(usermem, kmem, size + 1) | 
| 508 | 打印信息("out-of-bounds in __copy_from_user_inatomic()\n") | 
| 511 | 打印信息("out-of-bounds in __copy_to_user_inatomic()\n") | 
| 514 | 打印信息("out-of-bounds in strncpy_from_user()\n") | 
| 名称 | 描述 | 
|---|---|
| kmalloc_tests_init | 
| 源代码转换工具 开放的插件接口 | X | 
|---|---|
| 支持:c/c++/esqlc/java Oracle/Informix/Mysql 插件可实现:逻辑报告 代码生成和批量转换代码 |