PPhying中文
Curated security research, vulnerabilities, advisories and tools for practitioners.

Announcing Automated Reverse Engineering Trainings

blog.trailofbits.com | blog | #reverse-engineering | #training | #tools | #static-analysis | #binary-ninja
📄 Raw .md⬇️ Download .md🔗 Original ↗

Summary

Trail of Bits announces hands-on trainings for automated reverse engineering with Binary Ninja, drawing on work like CTF exploit generation, EVM disassembly, and McSema control-flow recovery.
Published
Collected

Related coverage

tool · github.com
Droid ASC: High-Performance On-Demand Android Decompiler Front-End for Mobile Security & AI Agents
Radically reduces Android reverse-engineering overhead from tens of minutes and gigabytes of memory to milliseconds and megabytes, providing an ideal, stateless code analysis primitive for autonomous security agents and vulnerability researchers.
blog · blog.trailofbits.com
Auditing in the age of (good enough) AI
Trail of Bits explains how agents built tooling and a Lean model for the Miden zkVM audit, finding a flaw enabling Falcon signature forgery and yielding 95 machine-checked proofs.
blog · blog.trailofbits.com
Rust-proof your code with our new Testing Handbook chapter
Trail of Bits added a Rust testing chapter to its Testing Handbook: Miri, property testing, Clippy, zeroization, Kani model checking and dependency vetting, plus the rust-review Claude Code plugin.
blog · blog.trailofbits.com
“Unstripping” binaries: Restoring debugging information in GDB with Pwndbg
Trail of Bits extends Pwndbg with Binary Ninja integration—syncing symbols, signatures, and stack variables with decompilation—and Go type parsing to debug stripped binaries in GDB more like an IDE.
blog · blog.trailofbits.com
MUI: Visualizing symbolic execution with Manticore and Binary Ninja
MUI pairs the Manticore symbolic execution engine with Binary Ninja's interface, making state exploration visual and interactive, with custom hooks to tame state explosion during analysis.
blog · blog.trailofbits.com
Revisiting 2000 cuts using Binary Ninja’s new decompiler
Four years after the original 2000 cuts post, the author revisits the challenge with Binary Ninja's new decompiler, showing how High Level IL shrinks 43 assembly instructions down to six.
Back