函数逻辑报告 |
Source Code:lib\test_overflow.c |
Create Date:2022-07-27 07:28:38 |
Last Modify:2022-05-18 10:03:51 | Copyright©Brick |
首页 | 函数Tree |
注解内核,赢得工具 | 下载SCCT | English |
函数名称: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_vzalloc_node(void *arg)
返回类型:int
参数:
类型 | 参数 | 名称 |
---|---|---|
void * | arg |
554 | a等于5乘4096 |
554 | b等于0的反除5乘4096加1 |
554 | ptr等于vzalloc_node(1, ( - 1)) |
554 | 如果非ptr则 |
554 | printk("\0014"KBUILD_MODNAME": vzalloc_node failed regular allocation?!\n", ) |
554 | 返回:1 |
554 | 循环 |
554 | 当0循环 |
554 | ptr等于vzalloc_node(a * b, ( - 1)) |
554 | 如果非ptr则 |
554 | printk("\0014"KBUILD_MODNAME": vzalloc_node unexpectedly failed bad wrapping?!\n", ) |
554 | 返回:1 |
554 | 循环 |
554 | 当0循环 |
554 | 如果ptr则 |
554 | printk("\0016"KBUILD_MODNAME": vzalloc_node detected saturation\n", ) |
554 | 返回:0 |
名称 | 描述 |
---|---|
test_overflow_allocation | 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())* | | | |
源代码转换工具 开放的插件接口 | X |
---|---|
支持:c/c++/esqlc/java Oracle/Informix/Mysql 插件可实现:逻辑报告 代码生成和批量转换代码 |