¥
в шланге вроде
-Weverything или тип того был-WeverythingSize: a a a
2021 November 08
gо
не надо использовать
gо
он для дебага самого шланга
там содержатся противоречащие друг другу варнинги, например
там содержатся противоречащие друг другу варнинги, например
gо
A
да не, не обязательно цепляться к тому, что умеет компилятор. Лучше взять нормальный статический анализатор
ДП
это же чит
АД
Ну хз, я бы сказал так, сначала прогоняешь через компиль, потом через стат анализатор
АД
Потому что если на некоторые придирки статанализа можно закрыть глаза (а некоторые и вовсе ложные), то вот компиль тебе в 99.9% случаев говорит всё правильно
DL
как может правильно говорить компиль языка, полного UB?
A
однажды мне по работе пришлось сравнивать два статических анализатора. А именно coverity с klockwork insight
A
проверяли на модифицированном ядре линукса
A
крч у инсайта было больше фолс позитивов, но все-таки он усмотрел пару штук, которые коверити проморгал
A
это было правда лет 15 назад, с тех пор они продвинулись конечно
АД
По первому предложению подумал что будет стандартная паста про pvs-studio и clang-tidy
A
в те времена клангов и pvs не было 8)
A
но вот я после пары месяцев возни с анализаторами наверно еще пару лет был ходячим статическим анализатором -- все UB невооруженным взглядом видел
EZ
Coverity ваще заебка, его использую
АД
Хотелось бы когда-нибудь потыкаться в valgrind и gdb