PVS-Studio проверяет OpenMW: во вселенной Morrowind не всё гладко

[Nikobraz]

Скачайте спелчекер и вы сэкономите массу времени на устранение опечаток и разнообразнейших ошибок. Все что нашел за один проход в ЛС скинул.

[datacompboy]

Методология использование спеллчекера предполагает постоянное использование его. Разовые проверки неэффективны.

[burjui]

Спеллчекеры уже давно встроены в браузеры, но всё равно находятся те, кто их не использует.

[GuessWho]

Исходный код доступен по адресу: code.google.com/p/openmw/

Погодите, я наверное чего-то не понимаю, но там же версия 0.28, а вот-вот должна появиться уже 0.30?

[Andrey2008]

Проверялась версия 0.29.0.

[corristo]

github.com/OpenMW/openmw/ основной репозиторий тут

[ivan_kolmycheck]

А вы сообщили разработчикам? А патч отправили?
А есть версия PVS-Studio и CppCat под Linux? А когда будет?
Вы проверяли PVS-Studio с помощью PVS-Studio? Проверяли CppCat с помощью CppCat? Где статья о результатах проверки?
^_^

[corristo]

я просил проверить, сообщу разработчикам обязательно.

[ivan_kolmycheck]

Кстати, разработчики OpenMW преимущественно сидят на Linux'е, им cppcat не особо удобен будет:

It seems we just can’t get enough testing on the Windows version done. To tell you the truth, Windows gives us some problems since most of our developers work with Linux, so the code they write might not work as well as it should on other operating systems.

[ivan_kolmycheck]

Для тех, кто не знает английский в достаточной мере:

Похоже, мы просто не можем достаточно протестировать Windows-версию. На самом деле, с Windows у нас небольшие проблемы, потому что большинство наших разработчиков работают с Linux, так что код, который они пишут, может работать на других операционных системах не столь же хорошо, как должен.

[VFedyk]

Да поправте уже заголовок, провереяетель.

[VFedyk]

Ребята, а почему минусуете? Школоты набегло или есть конкретная мотивация?

[Andrey2008]

Видимо, из-за того, что про ошибки принято отписывать в личную почту. Читать подобные комментарии не интересно.

[VFedyk]

Также я думал, что на Хабре грамматические ошибки принято исправлять до публикации. Плюс, у меня нет возможности удалить комментарий. Не вижу смысла минусовать для изменения его прозрачности: скроллить все равно придется.

[burjui]

Не вижу смысла читать очередной комментарий об ошибке, которой не будет на момент прочтения, очередной ожидаемый вопрос про минусы, ответ на этот вопрос, и, не дай баг, ещё и обсуждение ответа. Всего этого можно было бы избежать, если бы вы включили логику в самом начале этой цепочки.

[VFedyk]

Логику можно включать в разные стороны. Большинству нравится просто плюсовать/минусовать. Не сложно же просто пройти мимо комментария, но нужно именно «проучить подлеца», даже если комментарий был по делу.

[Andrey2008]

Не усугубляйте. :)

[VFedyk]

Да, вы правы. Поразвлекался и хватит.

[corristo]

спасибо за проверку

[AEP]

По третьему найденному фрагменту — как cppcat догадывается, что имеет место именно deallocation? Какой-то словарь подстрок, которые, если встречаются в имени, с большой вероятностью указывают на разрушительный характер функции?

[Andrey2008]

Внутри CppCat и PVS-Studio есть огромная, постепенно пополняемая таблица, содержавшая характеристики и свойства основных системных функций и функций класса. Благодаря этому, например, анализатор заподозрит неладное, если кто-то не использует результат работы функции std::vector::empty(). Эта функция помечена маркером, что её результат должен обязательно использоваться.

[naum]

Как у вас лежит база правил, кстати? Это какой-то сторонний формат хранилища / свой, либо она размазана в коде непосредственно? Расскажите больше про ваш продукт изнутри.

[Andrey2008]

Ближе к «размазана по коду». Запланирован цикл статей про устройство PVS-Studio. Но напишу я его не быстро. Потерпите.

[naum]

На сколько вообще такие нетривиальные правила могут быть формализованы и сериализованы?

[Andrey2008]

Поскольку мы больше всего ориентируемся на опечатки, то в основном у нас различные эвристики. Придумывается правило, а затем к нему делается десяток исключений, когда аномалия в коде разумна и полезна.

[Andrey2008]

Расскажите больше про ваш продукт изнутри.

Цикл статей пока не осилил, но одну написал: https://habrahabr.ru/company/pvs-studio/blog/319382/

[Maccimo]

А напишите статью про то, как задаются правила внутри PVS-Studio!
Какие структуры данных и архитектурные решения применяются и прочие интимные подробности.
В сотый раз читать про V595 всё же не так интересно, как в первый.

[Andrey2008]

Напишу.

[Andrey2008]

Написал: Как PVS-Studio ищет ошибки: методики и технологии.

[dimitrimus]

а кот такой грустный потому что его печалит, что ошибки все время такие типичные или потому что мало, кто пользуется статическим анализатором?