Xr0验证器：编译时保障C程序安全

Xr0是一个创新的C程序验证器，能在编译时消除多种未定义行为，如使用后释放、双重释放、空指针解引用和未初始化内存问题。它通过C-like注释表达函数安全语义，确保安全信息在函数调用中正确分发，防止微妙错误。目前验证C89子集，尚未实现循环和递归函数验证，但目标是为C编程实现无未定义行为。该工具用纯C编写，开源可用，鼓励开发者试用、调试并参与社区讨论。