PVS-Studio V1042: Как улучшить/расширить диагностику?

Алексей Нежели кто-то всерьез думает, вот зададим мы вопрос на Тостере, и продажи как ломанутся от этого... :) Мне кажется, вопрос вполне уместен. Возможно, кто-то подскажет, какие лицензии ещё добавить или мы услышим другие интересные мысли для развития этого направления. Что плохого в том, чтобы спросить у разработчиков, как улучшить инструмент?

Является ли результат выражения UB?

Ivan Sokolov, Если не ошибась, в Си это по прежнему UB. И это ещё одна причина никогда так не писать.

В чем мои ошибки в коде?

Adamos, Если бы уж я хотел таким способом поспамить, я бы так не стал палился. Я бы в начале аккаунт спрашивающего прокачал. :)

Почему код не работает C++?

Нет. Если честно, случайно забрёл.

Почему код не работает C++?

да, PVS-Studio...или просто учить язык базово, как надо.

Одно другому не мешает. :) Даже профессиональные программисты не застрахованы, например, от опечаток в духе V533 - примеры V533.

Как проверить интересные исходные коды, имеющие отношение к космонавтике? Есть ли что-то открытое?

И что из этого на Си/Си++ является интересным? Какие-то утилиты и приложения про которые никто не знает.

Что печатает этот код?

Ну как он может быть не нужен. :)

Интересные проверки для анализа Си/Си++ кода?

Пока нет. Спасибо за пример.