Cyber Risks · Trail of Bits Blog

April means Infiltrate

Summary: Trail of Bits is attending and sponsoring Infiltrate, sending 18 people, and will give attendees early access to Manticore, its binary symbolic and concolic execution engine supporting x86, x86-64, and ARM, ahead of open-sourcing it. Sophia d'Antoine is presenting "Be a Binary Rockstar: Next-level static analyses for vulnerability research" with two Binary Ninja developers, expanding on her prior work bringing abstract interpretation to Binary Ninja.

What you should know: The tooling on display - a symbolic and concolic execution engine moving toward open source, and abstract interpretation folded into a commercial disassembler - is the same class of automation your vulnerability researchers will be expected to use, and the conference circuit is where it surfaces first.

Read the original at Trail of Bits Blog ↗

Topics
Supply Chain & AppSec
Related
Kitesurf is now open source Cyber Risks · Nov 13, 2026