函数逻辑报告 |
Source Code:lib\test_kasan.c |
Create Date:2022-07-27 07:26:45 |
| Last Modify:2020-03-12 14:18:49 | Copyright©Brick |
| 首页 | 函数Tree |
| 注解内核,赢得工具 | 下载SCCT | English |
函数名称:kfree_via_page
函数原型:static noinline void __init kfree_via_page(void)
返回类型:void
参数:无
| 348 | size等于8 |
| 352 | 打印信息("invalid-free false positive (via page)\n") |
| 353 | ptr等于kmalloc(size, GFP_KERNEL) |
| 354 | 如果非ptr则 |
| 355 | 打印错误信息("Allocation failed\n") |
| 356 | 返回 |
| 359 | page等于virt_to_page(kaddr) returns a valid pointer if and only if* virt_addr_valid(kaddr) returns true.(ptr) |
| 360 | offset等于offset_in_page(ptr) |
| 361 | kfree(page_address(page) + offset) |
| 名称 | 描述 |
|---|---|
| kmalloc_tests_init |
| 源代码转换工具 开放的插件接口 | X |
|---|---|
| 支持:c/c++/esqlc/java Oracle/Informix/Mysql 插件可实现:逻辑报告 代码生成和批量转换代码 |