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 |