Xr0 是一款针对 C 语言的静态调试器，它可以在编译阶段分析程序，并显示每行代码的状态。与传统的运行时调试器不同，Xr0 不需要执行程序就能进行分析，因此可以发现程序在所有可能执行路径上的问题。Xr0 的目标是消除 C 语言中的未定义行为，目前支持 C89 的一个子集，但正在不断扩展。