函数逻辑报告

Linux Kernel

v5.5.9

Brick Technologies Co., Ltd

Source Code:lib\test_overflow.c Create Date:2022-07-27 07:28:35
Last Modify:2022-05-18 10:03:51 Copyright©Brick
首页 函数Tree
注解内核,赢得工具下载SCCTEnglish

函数名称：Allocator uses a trailing node argument --------+ (e.g. kmalloc_node())* Allocator uses the gfp_t argument -----------+ | (e.g. kmalloc())* Allocator uses a special leading argument + | | (e.g. devm_kmalloc())* | | |

函数原型：static int __attribute__((__section__(".init.text"))) __attribute__((__cold__))test_vmalloc(void *arg)

返回类型：int

参数：

类型参数名称
void *arg
551  a等于5乘4096
551  b等于0的反除5乘4096加1
551  ptr等于vmalloc(1)
551  如果非ptr则
551  printk("\0014"KBUILD_MODNAME": vmalloc failed regular allocation?!\n", )
551  返回:1
551  循环
551  如果(ptr != NULL)则kfree(ptr)
551  当0循环
551  ptr等于vmalloc(a * b)
551  如果非ptr则
551  printk("\0014"KBUILD_MODNAME": vmalloc unexpectedly failed bad wrapping?!\n", )
551  返回:1
551  循环
551  如果(ptr != NULL)则kfree(ptr)
551  当0循环
551  ptr等于vmalloc(array_size() - Calculate size of 2-dimensional array.*@a: dimension one*@b: dimension two* Calculates size of 2-dimensional array: @a *@b.* Returns: number of bytes needed to represent the array or SIZE_MAX on* overflow.)
551  如果ptr则
551  printk("\0014"KBUILD_MODNAME": vmalloc missed saturation!\n", )
551  循环
551  如果(ptr != NULL)则kfree(ptr)
551  当0循环
551  返回:1
551  printk("\0016"KBUILD_MODNAME": vmalloc detected saturation\n", )
551  返回:0
调用者
名称描述
test_overflow_allocationAllocator uses a trailing node argument --------+ (e.g. kmalloc_node())* Allocator uses the gfp_t argument -----------+ | (e.g. kmalloc())* Allocator uses a special leading argument + | | (e.g. devm_kmalloc())* | | |