Xr0:一款针对 C 语言的静态调试器

2024-05-25

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

阅读更多
42
未分类 调试器