
Alexander
18.10.2018
12:52:48

Alexey
18.10.2018
12:52:55
угу

Alexander
18.10.2018
12:53:01
ну.... дыа ?
ближайший опенсорс аналог - Clang Static Analyzer, но он похуже будет

Google

Alexander
18.10.2018
12:54:00
но не стоит его недооценивать - -Weverything + CSA ловят действительно очень много

Alexey
18.10.2018
12:54:06
а cppcheck и рядом не валялся

Alexander
18.10.2018
12:54:16

Vitaly
18.10.2018
12:54:31

Evgeniy
18.10.2018
12:55:06

Egor
18.10.2018
12:55:18
я ничего не сказал)

Alex Фэils?︙
18.10.2018
12:55:32

Alexey
18.10.2018
12:58:08
@xvitaly : ссылку-то пожевал

Vitaly
18.10.2018
12:59:47
@xvitaly : ссылку-то пожевал
Да ибо пост целиком рекламный, в корпоративном блоге. Я не против их наполовину рекламных постов, в которых они берут какой-то opensource проект и находят в нём ошибки. Такие посты полезны.

Alex Фэils?︙
18.10.2018
13:00:09
а на опуннете чеждлог не публиковали?

Egor
18.10.2018
13:00:27
их там опять засмеют)

Alex Фэils?︙
18.10.2018
13:00:38
"опять"?)

Egor
18.10.2018
13:00:54
пвс там неоднократно появлялся

Google

Alexey
18.10.2018
13:01:07
там походу своя тусовка

Vitaly
18.10.2018
13:01:15

Alex Фэils?︙
18.10.2018
13:01:20
а
жалко у пвс непрозрачная ценовая политика; были б еще промо-коды какие-нибудь... для чата)

Egor
18.10.2018
13:01:58
например, тогда было про проверку опенсорса бесплатно, но с изменением хедеров

Alex Фэils?︙
18.10.2018
13:02:32
ну да, я помню эту тему, ну, норм

Vitaly
18.10.2018
13:02:54

Alex Фэils?︙
18.10.2018
13:03:03

Egor
18.10.2018
13:04:06
зажали будь здоров, с переобуваниями и тд

Alexey
18.10.2018
13:09:23
они там в релизе одну багу поправили, которую я им закидывал и которая сильно мешала жить
судя по тому, сколько было fwd у писем в процессе переписки и заголовков cc, мозговой штурм там был конкретный

Alexander
18.10.2018
13:10:03
что за бага?

Alexey
18.10.2018
13:10:38
когда отчёт генерился, имена файлов к нижнему регистру приводились
в результате ссылки на репозитории нельзя было корректно построить при обработке отчёта вне рабочей машины разработчика
притом бага внешняя - в компиляторе MSVS

Alexander
18.10.2018
13:11:55
аааа, про эту штуку я знаю :)

Alexey
18.10.2018
13:12:04
я про такой use case на хабре писал, заодно поплакался про эту багу

Xessao
18.10.2018
13:12:06

Alexander
18.10.2018
13:12:21

Alexey
18.10.2018
13:12:35
будем знакомы :D

Google

Alexey
18.10.2018
13:13:32
я им сначала баг-репорт написал, они попросили более развёрнуто описать, что нам надо, и что работает не так как ожидалось

Alexander
18.10.2018
13:13:45
@alexey_tkachenko_by а у тебя нет статистики какой-нибудь по Clang Static Analyzer vs PVS?

Alexey
18.10.2018
13:14:00
решил совместить неприятное с бесполезным и вместо описания в письме сделал описание на хабре
тут по-хорошему проект достаточно большой надо брать

Alexander
18.10.2018
13:15:34
или сорцы самого LLVM

Alexey
18.10.2018
13:18:10
в далёкие студенческие времена у меня одногруппник колупал Gentoo, больше суток компилял Open Office. 30 часов.
После пары таких проектов плюнул и поставил что-то пакетное, что в те времена было

Alexander
18.10.2018
13:18:52

Egor
18.10.2018
13:19:20
у либре даже оплачиваемый таск был по улучшению системы сборки, хз закрыли его или нет

Alexey
18.10.2018
13:19:42

Alexander
18.10.2018
13:20:28

Alexey
18.10.2018
13:22:02
ща сюда приглашу их лучше

Spoonson
18.10.2018
13:22:28
кроме пиваса есть же и попопулярнее штуки, всякие coverity, они не получше будут?

Alexey
18.10.2018
13:22:51
про coverity я как-то давно не слышал

Alexander
18.10.2018
13:23:25

Редван
18.10.2018
13:24:07
я могу ответить на них

Alexey
18.10.2018
13:24:18
ага, вещай
тебя и ждали

Google

Spoonson
18.10.2018
13:24:53
да, я знаю. Я даже работал немножко над одной из таких :) Просто когда я работал общее мнение внутри было таково, что пивас хорош в пиаре, а чекеры у него не очень хорошие, мол нету анализа графа исполнения

Alexander
18.10.2018
13:25:16
@JacobJa что можете сказать за Clang Static Analyzer?

Редван
18.10.2018
13:26:44
Могу сказать что опыт работы с ним сводится опыту работы с Clion куда он встроен.

Spoonson
18.10.2018
13:28:03
какой конкретно CFG анализ нужен?
я сейчас не очень понял, про что вы. Я скорее что часть чекеров делается не на AST дереве самом, а на уже графе представления кода самом (не помню, как он точно называется, условно блок-схема самого кода, по ней можно ходить и проверять что к чему).

Редван
18.10.2018
13:28:11
По качеству анализа - pvs вне конкуренции, cppcheck - тоже хорошо иногда находит то, что pvs не находит, clang analyzer после этого лишь дублирует уже найденные проблемы

Igor
18.10.2018
13:28:58

Alexander
18.10.2018
13:30:20

Alex
18.10.2018
13:30:31

Alexander
18.10.2018
13:31:04
кстати, в PVS-Studio есть lifetime checker?

Alex
18.10.2018
13:32:03
в Qt Creator новом крутые профили clang, clang-tidy и clazy, есть, из чего выбрать
Только clang c ними тормозит

Spoonson
18.10.2018
13:32:26

Alexey
18.10.2018
13:32:27

Alex Фэils?︙
18.10.2018
13:44:12

Alex
18.10.2018
13:45:42
(Хотя мой был первым)

Alexey
18.10.2018
13:46:16
https://pastebin.com/6bwKAMZb

Google

Constantine
18.10.2018
13:46:39

Alexey
18.10.2018
13:46:40
если в строке 8 return 1, то варнинг на 15
если *p + 1 - то ещё и две ошибки в 8 и 15 строках
он за 3 года неплохо проэволюционировал на тонких моментах всяких

Редван
18.10.2018
13:48:12

Constantine
18.10.2018
13:48:13

Alex Фэils?︙
18.10.2018
13:48:41

Constantine
18.10.2018
13:49:20

Alexey
18.10.2018
13:49:40
давайте сейчас проверим

Редван
18.10.2018
13:49:44

Alexey
18.10.2018
13:50:41
эммм... тут код пахнет по полной программе, по моему мнению
ошибка есть

Constantine
18.10.2018
13:51:14