-
Notifications
You must be signed in to change notification settings - Fork 4
Expand file tree
/
Copy pathtodiff.html
More file actions
129 lines (119 loc) · 5.72 KB
/
Copy pathtodiff.html
File metadata and controls
129 lines (119 loc) · 5.72 KB
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
97
98
99
100
101
102
103
104
105
106
107
108
109
110
111
112
113
114
115
116
117
118
119
120
121
122
123
124
125
126
127
128
129
<!DOCTYPE html>
<html lang="en" class="scroll-smooth">
<head>
<meta charset="utf-8">
<script>(function(){var t=localStorage.getItem("cs-lab-theme");if(t==="light")document.documentElement.setAttribute("data-theme","light");})()</script>
<meta name="description" content="ToDiff — Automated differential testing for interior gateway routing protocols.">
<meta name="viewport" content="width=device-width, initial-scale=1">
<title>ToDiff — The Lab for Compiler and Security Technology</title>
<link rel="preconnect" href="https://fonts.googleapis.com">
<link rel="preconnect" href="https://fonts.gstatic.com" crossorigin>
<link href="https://fonts.googleapis.com/css2?family=Inter:ital,wght@0,300;0,400;0,500;0,600;0,700;0,800;1,400;1,700&family=JetBrains+Mono&display=swap" rel="stylesheet">
<link rel="stylesheet" href="static/css/fontawesome.all.min.css">
<link rel="stylesheet" href="https://cdn.jsdelivr.net/npm/academicons@1.9.2/css/academicons.min.css">
<link rel="stylesheet" href="static/css/index.css">
<link rel="icon" href="static/images/favicon.html">
<script defer src="static/js/fontawesome.all.min.js"></script>
<script src="static/js/index.js"></script>
</head>
<body data-project="todiff">
<div class="bg-pattern"></div>
<div class="site-content">
<nav class="navbar" role="navigation" aria-label="main navigation">
<div class="navbar-inner">
<a id="nav-back" href="works.html" class="nav-back" style="display:none;">
<span class="back-arrow">←</span> Works
</a>
<a href="index.html" class="navbar-logo">
<span class="navbar-logo-dot"></span>
<span id="logo-text"></span>
</a>
<ul id="nav-links" class="navbar-links"></ul>
<div class="navbar-actions">
<button id="theme-toggle" class="theme-toggle" aria-label="Toggle theme">
<span id="theme-toggle-icon">☀️</span>
</button>
<button class="navbar-burger" aria-label="menu" aria-expanded="false">
<span aria-hidden="true"></span><span aria-hidden="true"></span><span aria-hidden="true"></span>
</button>
</div>
</div>
</nav>
<section class="hero">
<div class="hero-inner">
<span class="hero-label">Differential Testing for Routing Protocols</span>
<h1 class="hero-title">
<span class="hero-title-line gradient-text">ToDiff</span>
</h1>
<p class="hero-subtitle">
Automated differential testing for interior gateway routing protocols.
Oracle-free, fully automated, multi-protocol — detecting hidden bugs
through equivalent topology synthesis.
</p>
<div class="stats-bar">
<div class="stat-item"><div class="stat-value c1">30+</div><div class="stat-label">Zero-Day Bugs</div></div>
<div class="stat-item"><div class="stat-value c2">5</div><div class="stat-label">Protocols</div></div>
<div class="stat-item"><div class="stat-value c3">CCS'25</div><div class="stat-label">Published</div></div>
</div>
<div class="flex justify-center gap-2">
<a href="https://github.com/Compiler-Security/ToDiff/blob/main/doc/paper.pdf" class="btn btn-primary" target="_blank">
<span class="icon"><i class="ai ai-acm"></i></span> Paper
</a>
<a href="https://github.com/Compiler-Security/ToDiff" class="btn btn-outline" target="_blank">
<span class="icon"><i class="fab fa-github"></i></span> Code
</a>
</div>
</div>
</section>
<section class="section">
<div class="section-inner">
<p style="text-align:center;color:var(--text-secondary);max-width:650px;margin:0 auto 2rem;font-size:1.1rem;line-height:1.7;">
Tired of routing protocol bugs slipping through? <strong>ToDiff</strong> brings fully automated
differential testing to interior gateway protocols — oracle-free, multi-protocol, battle-tested
with 30+ zero-day bugs found.
</p>
<div class="feature-grid">
<div class="card reveal">
<div class="feature-icon">🎯</div>
<h4>Oracle-Free</h4>
<p>No need for handcrafted topologies — ToDiff auto-generates equivalent programs and detects bugs via differential analysis.</p>
</div>
<div class="card reveal">
<div class="feature-icon">⚡</div>
<h4>Fully Automated</h4>
<p>From topology generation to differential analysis, the entire pipeline runs at 100+ test cases per hour.</p>
</div>
<div class="card reveal">
<div class="feature-icon">🐛</div>
<h4>Bug Hunter Supreme</h4>
<p>30+ zero-day bugs found, including traffic blackholes and routing loops in production-grade implementations.</p>
</div>
<div class="card reveal">
<div class="feature-icon">🔀</div>
<h4>Multi-Protocol</h4>
<p>Supports OSPF, IS-IS, RIP, BABEL, and OpenFabric. Extensible framework for adding new protocols.</p>
</div>
<div class="card reveal">
<div class="feature-icon">📖</div>
<h4>Easy to Customize</h4>
<p>User-friendly framework with detailed open documentation — add support for new protocols with ease.</p>
</div>
<div class="video-card feature-video reveal">
<video controls muted loop poster="static/videos/intro_preview.jpg"><source src="static/videos/Intro.mp4" type="video/mp4"></video>
</div>
<div class="video-card feature-video reveal">
<video controls muted loop poster="static/videos/demo_preview.jpg"><source src="static/videos/demo.mp4" type="video/mp4"></video>
</div>
</div>
</div>
</section>
<footer class="footer">
<div class="footer-brand">The Lab for Compiler and Security Technology</div>
<div class="footer-copy">
School of Computer Science · Nanjing University |
<a href="mailto:qingkaishi@nju.edu.cn">Contact</a>
</div>
</footer>
</div>
</body>
</html>