Function report |
Source Code:kernel\bpf\verifier.c |
Create Date:2022-07-28 12:56:22 |
Last Modify:2022-05-19 20:02:10 | Copyright©Brick |
home page | Tree |
Annotation kernel can get tool activity | Download SCCT | Chinese |
Name:copy_verifier_state
Proto:static int copy_verifier_state(struct bpf_verifier_state *dst_state, const struct bpf_verifier_state *src)
Type:int
Parameter:
Type | Parameter | Name |
---|---|---|
struct bpf_verifier_state * | dst_state | |
const struct bpf_verifier_state * | src |
775 | jmp_sz = sizeof(structbpf_idx_pair) * jmp_history_cnt |
778 | If jmp_history_cnt < jmp_history_cnt Then |
779 | kfree( jmp history recorded from first to last. * backtracking is using it to go from last to first. * For most states jmp_history_cnt is [0-3]. * For loops can go up to ~40.) |
789 | free_func_state( call stack tracking [i]) |
790 | call stack tracking [i] = NULL |
792 | speculative = speculative |
798 | last_insn_idx = last_insn_idx |
800 | dst = call stack tracking [i] |
801 | If Not dst Then |
802 | dst = kzalloc - allocate memory. The memory is set to zero.*@size: how many bytes of memory are required.*@flags: the type of memory to allocate (see kmalloc). |
805 | call stack tracking [i] = dst |
811 | Return 0 |
Name | Describe |
---|---|
pop_stack | |
push_stack | |
is_state_visited |
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 |