在C ++中是否存在自动未定义的行为检查器？

Question

一个工具，它检查每个语句，声明...并标记它，如果标准说它是一个未定义的行为（例如使用未初始化的int）。