Здравствуйте, sergey2b, Вы писали:

S>а можно пример кода с ассертами плиз

Хм, их же миллионы, куда ни ткни. Мои ничем не уникальны.

void MediaType::SetFormat (BYTE * const Format, UINT const FormatSize) {

  if (Format != nullptr && FormatSize != nullptr) {

    Assert (FormatSize >= sizeof (WAVEFORMATEX));
    AssertValidReadPtr (Format, FormatSize);

   }

  AMT.pbFormat = Format;
  AMT.cbFormat = FormatSize;

  Debug (6, L"Format set to %p:%u", Format, FormatSize);

}

Здравствуйте, Shmj, Вы писали:

S>Кто что использует?

S>Некоторые принципиально не используют, типа пользы особой нет.

SonarQube. Не сказать чтобы заметно помогал.

Здравствуйте, Shmj, Вы писали:

S>Кто что использует?

1. Roslyn Analyzers

Автор: Qbit86
Дата: 11.07.19

2. Rider

S>Некоторые принципиально не используют, типа пользы особой нет.

Польза определённо есть.

Кто что использует?

Некоторые принципиально не используют, типа пользы особой нет.

Здравствуйте, Shmj, Вы писали:

S>Кто что использует?

S>Некоторые принципиально не используют, типа пользы особой нет.

Уже много лет же пиарят ПВС, каждый день пишут как они null референс нашли где-нибудь в .net core или .net библиотеке.

Здравствуйте, okon, Вы писали:

O>Уже много лет же пиарят ПВС, каждый день пишут как они null референс нашли где-нибудь в .net core или .net библиотеке.

Как то давно его ставил — после Решарпера он не нашел ничего.

Здравствуйте, Shmj, Вы писали:

S>Кто что использует?

S>Некоторые принципиально не используют, типа пользы особой нет.

PVS, от ms встроенные анализаторы. Полезно, особенно если где-то dispose прозивал...

Здравствуйте, Shmj, Вы писали:

S>Некоторые принципиально не используют, типа пользы особой нет.

После того, как я лет двадцать назад привык включать все поддерживаемые компилятором предупреждения, и набивать код assert'ами, статический анализатор уже неспособен найти что-нибудь мало-мальски критичное.

Здравствуйте, Евгений Музыченко, Вы писали:

ЕМ>Здравствуйте, Shmj, Вы писали:

S>>Некоторые принципиально не используют, типа пользы особой нет.

ЕМ>После того, как я лет двадцать назад привык включать все поддерживаемые компилятором предупреждения, и набивать код assert'ами, статический анализатор уже неспособен найти что-нибудь мало-мальски критичное.

а можно пример кода с ассертами плиз

Я месяц использовал PVS, но как-то не заметил особой пользы.
Очень мало было сообщений и они практически не отличались от сообщений компилятора на уровне "все сообщения".