Making Routing Protocols More Secure

Paper Code

😠 Are you frustrated by unnoticed routing protocol issues causing network instability?

😠 Have you ever complained exsisting testing methods such as fuzzing misses countless bugs?

😠 Have you found it requires too much manual effort to test routing protocols — like handcrafting topologies or calculating routing tables by hand?

🍀 Meet ToDiff — your go-to tool for next-generation routing protocol validation!

🎯 At ToDiff, we are dedicated to revolutionizing routing protocol validation with automated differential testing. By leveraging dedicated network generation algorithm with equivalent topology synthesis, ToDiff detects hidden bugs in routing protocol implementations with unprecedented efficiency:

  • Oracle-Free: No need to build complex topologies or calculate expected results — ToDiff auto-generates equivalent programs and detects bugs via differential analysis.
  • Fully Automated: From random topology generation to differential analysis, the entire process runs with minimal human efforts and scales to hundreds of test cases per hour.
  • Bug Hunter Supreme: With broad test coverage, ToDiff found 30+ zero-day bugs, many causing serious issues like traffic blackholes.
  • Multi-Protocol Support: Testing multiple protocols in interior gateway routing protocol families with ease. ToDiff currently supports OSPF, IS-IS, RIP, BABEL, and OpenFabric, with additional protocol support on the horizon.
  • Easy-to-Customize: Comes with a user-friendly framework and detailed open documentation to help users test new protocols with ease.

Want to see it in action? Check out our demo videos and see how ToDiff validates routing protocol implementations.

Latest News

  • 🎉 (05/2025): ToDiff was accepted to CCS'25.
  • 🎉 (03/2025): ToDiff now can support detecting more protocols including RIP, BABEL and OpenFabric.
  • 🎉 (01/2025): Our preprint paper

    Validating Interior Gateway Routing Protocols via Equivalent Topology Synthesis

    is out!
  • 🎉 (12/2024): ToDiff detects 26 zero-day bugs in OSPF and ISIS protocols.

Bug Report List (Top 10)

Loading bug reports...
ID Protocol Root Causes Link Status Date
View More Bug Reports

How to Start and Contribute

  • For General Users: Get started by checking out our repository’s README. It provides step-by-step guides and usage examples. Our support page gives further guidance on troubleshooting and common concerns.
  • For Domain Experts: Check out our documentation for detailed information. Learn how to extend ToDiff for additional network protocols.

If you find any bugs in open-source projects using ToDiff and get them confirmed, please submit an issue on our bug list. We will acknowledge your contribution by listing the bugs.