Function report |
Source Code:kernel\bpf\verifier.c |
Create Date:2022-07-28 12:56:14 |
| Last Modify:2022-05-19 20:02:10 | Copyright©Brick |
| home page | Tree |
| Annotation kernel can get tool activity | Download SCCT | Chinese |
Name:Acquire a pointer id from the env and update the state->refs to include* this new pointer reference.* On success, returns a valid pointer id to associate with the register* On failure, returns a negative errno.
Proto:static int acquire_reference_state(struct bpf_verifier_env *env, int insn_idx)
Type:int
Parameter:
| Type | Parameter | Name |
|---|---|---|
| struct bpf_verifier_env * | env | |
| int | insn_idx |
| 681 | err = alloc_reference_state() |
| 684 | id = ++used to generate unique reg IDs |
| 685 | Track each reference created with a unique id, even if the same * instruction creates the reference multiple times (eg, via CALL). = id |
| 686 | Instruction where the allocation of this reference occurred. This * is used purely to inform the user of a reference leak. = insn_idx |
| 688 | Return id |
| Name | Describe |
|---|---|
| check_helper_call |
| 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 |