函数逻辑报告 |
Source Code:kernel\bpf\tnum.c |
Create Date:2022-07-27 14:24:29 |
| Last Modify:2020-03-12 14:18:49 | Copyright©Brick |
| 首页 | 函数Tree |
| 注解内核,赢得工具 | 下载SCCT | English |
函数名称:tnum_strn
函数原型:int tnum_strn(char *str, size_t size, struct tnum a)
返回类型:int
参数:
| 类型 | 参数 | 名称 |
|---|---|---|
| char * | str | |
| size_t | size | |
| struct tnum | a |
| 名称 | 描述 |
|---|---|
| check_stack_access | |
| check_pkt_ptr_alignment | |
| check_generic_ptr_alignment | |
| check_ctx_reg | |
| check_tp_buffer_access | |
| check_ptr_to_btf_access | |
| __check_stack_boundary | |
| check_stack_boundary | when register 'regno' is passed into function that will read 'access_size'* bytes from that pointer, make sure that it's within stack boundary* and all elements of stack are initialized |
| check_return_code | |
| print_verifier_state |
| 源代码转换工具 开放的插件接口 | X |
|---|---|
| 支持:c/c++/esqlc/java Oracle/Informix/Mysql 插件可实现:逻辑报告 代码生成和批量转换代码 |