Cloudflare
Security•2026-04-08
From bytecode to bytes: automated magic packet generation
This post introduces a tool that uses symbolic execution and the Z3 theorem prover to automatically generate magic packets capable of triggering BPF-based Linux backdoors.
