By applying symbolic execution and the Z3 theorem prover to BPF | Tech Twitter

Finding signal on Twitter is more difficult than it used to be. We curate the best tweets on topics like AI, startups, and product development every weekday so you can focus on what matters.

Trendingwhat is spiking in the last 24 hours Pulse Checkwhat people say about tools, with sources Time Travelreplay any day in the archive Topicsclusters the feed keeps returning to Profilesthe accounts we watch

//

Articleslong-form writeups pulled from the feed Threadspublished editions, start to finish

//Products//Agents//Newsletter//About//

Focus

Press Space to continue

Built by Daniel Hunter

By applying symbolic execution and the Z3 theorem prover to BPF | Tech Twitter

Press Space to continue

By applying symbolic execution and the Z3 theorem prover to BPF bytecode, we’ve automated the generation of malware trigger packets, cutting analysis time from hours to seconds. Here's how: https://cfl.re/4c6gYqA

From bytecode to bytes- automated magic packet generation

From bytecode to bytes- automated magic packet generation

Previous tweet Next tweet More from @Cloudflare