函数逻辑报告

函数名称：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

函数原型：static void sanitize_dead_code(struct bpf_verifier_env *env)

返回类型：void

参数：