Function report |
Source Code:kernel\bpf\verifier.c |
Create Date:2022-07-28 13:04:21 |
| Last Modify:2022-05-19 20:02:10 | Copyright©Brick |
| home page | Tree |
| Annotation kernel can get tool activity | Download SCCT | Chinese |
Name:The verifier does more data flow analysis than llvm and will not* explore branches that are dead at run time. Malicious programs can* have dead code too. Therefore replace all dead at-run-time code* with 'ja -1'.* Just nops are not optimal, e
Proto:static void sanitize_dead_code(struct bpf_verifier_env *env)
Type:void
Parameter:
| Type | Parameter | Name |
|---|---|---|
| struct bpf_verifier_env * | env |
| 8565 | aux_data = array of per-insn state |
| 8566 | trap = Conditional jumps against immediates, if (dst_reg 'op' imm32) goto pc + off16 (BPF_JA, 0, 0, - 1) |
| 8568 | insn_cnt = Number of filter blocks |
| 8572 | If this insn was processed by the verifier Then Continue |
| 8574 | No 3D Now!(insn + i, & trap, size of trap ) |
| Name | Describe |
|---|---|
| bpf_check |
| 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 |