Я хочу автоматически находить ошибки, где потенциальный указатель NULL разыменовывается. В частности, я хочу проверить, что все функции в моем проекте правильно обрабатывают NULL как значение для указателей.
Вот краткий пример:
void foo(int *x) {
*x = 5;
}
Для этой функции я хочу получить предупреждение, потому что функция foo разыменовывает указатель NULL, если x равен NULL.
Я пытался использовать Clang Stati c Analyzer , но анализатор делает не сообщить о проблеме.
Существует ли способ автоматического поиска подобных проблем?