Function report |
Source Code:kernel\bpf\verifier.c |
Create Date:2022-07-28 12:57:16 |
Last Modify:2022-05-19 20:02:10 | Copyright©Brick |
home page | Tree |
Annotation kernel can get tool activity | Download SCCT | Chinese |
Name:he scalar precision tracking algorithm:* . at the start all registers have precise=false.* . scalar ranges are tracked as normal through alu and jmp insns.* . once precise value of the scalar register is used in:* . ptr + scalar alu*
Proto:static void mark_all_scalars_precise(struct bpf_verifier_env *env, struct bpf_verifier_state *st)
Type:void
Parameter:
Type | Parameter | Name |
---|---|---|
struct bpf_verifier_env * | env | |
struct bpf_verifier_state * | st |
1709 | func = call stack tracking [i] |
1710 | When j < BPF_REG_FP cycle |
1712 | If Ordering of fields matters. See states_equal() != g doesn't contain a valid pointer Then Continue |
1716 | When j < allocated_stack / size of eBPF register in bytes cycle |
1717 | If slot_type[0] != register spilled into stack Then Continue |
1719 | reg = spilled_ptr |
1720 | If Ordering of fields matters. See states_equal() != g doesn't contain a valid pointer Then Continue |
Name | Describe |
---|---|
__mark_chain_precision |
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 |