Differential Testing for Routing Protocols

ToDiff

Automated differential testing for interior gateway routing protocols. Oracle-free, fully automated, multi-protocol — detecting hidden bugs through equivalent topology synthesis.

30+
Zero-Day Bugs
5
Protocols
CCS'25
Published
Paper Code

Tired of routing protocol bugs slipping through? ToDiff brings fully automated differential testing to interior gateway protocols — oracle-free, multi-protocol, battle-tested with 30+ zero-day bugs found.

🎯

Oracle-Free

No need for handcrafted topologies — ToDiff auto-generates equivalent programs and detects bugs via differential analysis.

⚡

Fully Automated

From topology generation to differential analysis, the entire pipeline runs at 100+ test cases per hour.

🐛

Bug Hunter Supreme

30+ zero-day bugs found, including traffic blackholes and routing loops in production-grade implementations.

🔀

Multi-Protocol

Supports OSPF, IS-IS, RIP, BABEL, and OpenFabric. Extensible framework for adding new protocols.

📖

Easy to Customize

User-friendly framework with detailed open documentation — add support for new protocols with ease.