函数逻辑报告 |
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 插件可实现:逻辑报告 代码生成和批量转换代码 |