C++中有没有用于编译断言的工具?

前几天我在C++中写了一个函数,它让我觉得编译器可以做更多的事情来帮助我防范错误。我的代码的要点如下-

void method(SomeType* p)
{
    assert(p != 0);
    p->something();
}

它的名字是这样的

SomeType p = NULL;
if (SomeCondition)
{
    p = some_real_value;
}

method(p);

很明显,p在运行时可能为null,因此在调试构建中该方法的断言可能会失败。我的错误。

然而,编译器似乎可能在编译时捕获到了这一点,并发出警告说它已经检测到它发现了可能违反断言的可能性。

好的,这是一个简单的例子,编译器根据对程序的一些流分析和对每个点上可能的变量范围的跟踪,很容易发现指针在该点可能为空。

我知道很难确定是否会违反许多断言,但如果编译器能够告诉我,即使是很小的次数,我已经编写了可能违反断言的代码,这将有助于使我的程序更加安全。

assert(index >= 0 && index < array_size);

我认为在许多情况下,编译器可以在编译时证明索引变量可能超出这些界限,并在编译时发出警告。

我意识到,对于一个编译器来说,这可能是太多的工作,无法正常完成,但也许有一些工具可以执行这种分析?我在谷歌上找不到任何东西,但我想知道是否有这种东西存在?或者说,要做到足够好而有用太难了?