バイトコードからバイトへ: 自動化されたマジックパケット生成Cloudflare / 2026/04/08BPFを自動逆解析Z3でシンボリック実行scapyでパケット生成bpfz3symbolic-executionscapyreverse-engineeringpacket-crafting