From bytecode to bytes: automated magic packet generationCloudflare / Apr 8, 2026BPFを自動逆解析Z3でシンボリック実行scapyでパケット生成bpfz3symbolic-executionscapyreverse-engineeringpacket-crafting