ПК-линт Gimpel не может проследить висящий указатель?

Question

Я использую PC-lint9, чтобы узнать об ошибках в последнее время, и это действительно взорвало мой разум, но, похоже, PC-lint9 не может проследить висящий указатель, вот снимок кода, с которым я сдавал экзамен.

int* pkInt = new int; 
int* pkDangInt = pkInt; 
delete pkInt; 
(*pkDangInt) = 1; 

Обнаружена ошибка ПК-Lint. Я думаю, что может быть что-то не так с конфигурацией (я не подавлял никаких ошибок и устанавливал уровень предупреждения на 3), так как в рекламе говорится: «Обнаружение болтающихся и неинициализированных указателей». Кто-нибудь знает, как это решить?

Answer 1

Возможно, рекламу следует читать как «Обнаружение болтается ...». Старая дилемма между ложными срабатываниями и ложными негативами ...

Теперь я ожидаю, что вы думаете, что PC-lint будет обнаруживать какой-либо обвисший указатель, он должен обнаружить один ваш пример, который действительно довольно прост. Но, возможно, более структурный один ниже проще и действительно единственным обнаруженным видом. Не могли бы вы попробовать?

int* pkDangInt; 
{ 
    int x; 
    pkDangInt = &x; 
} 
(*pkDangInt) = 1;