Function report |
Source Code:lib\test_kasan.c |
Create Date:2022-07-28 06:29:21 |
| Last Modify:2020-03-12 14:18:49 | Copyright©Brick |
| home page | Tree |
| Annotation kernel can get tool activity | Download SCCT | Chinese |
Name:kfree_via_page
Proto:static noinline void __init kfree_via_page(void)
Type:void
Parameter:Nothing
| 348 | size = 8 |
| 352 | pr_info("invalid-free false positive (via page)\n") |
| 353 | ptr = kmalloc(size, GFP_KERNEL) |
| 354 | If Not ptr Then |
| 355 | pr_err("Allocation failed\n") |
| 356 | Return |
| 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) |
| Name | Describe |
|---|---|
| kmalloc_tests_init |
| Source code conversion tool public plug-in interface | X |
|---|---|
| Support c/c++/esqlc/java Oracle/Informix/Mysql Plug-in can realize: logical Report Code generation and batch code conversion |