Вариант для распечатки		Пред. тема | След. тема
Форум Разговоры, обсуждение новостей
Режим отображения отдельной подветви беседы		[ Отслеживать ]

Результаты статического анализа кода библиотеки GTK+, opennews (??), 18-Мрт-16, (0) [смотреть все] чет дохрена пвс студии стало - совсем не покупают что ли , Аноним (-), 18:28 , 18-Мрт-16, (1) +21 // Причём раньше они хоть какой-то уровень своего спама поддерживали -- иногда там , A.Stahl (ok), 18:36 , 18-Мрт-16, (2) +8 // И главное ж лезут повсюду Опеннет, ЛОР Везде все засрали , Шурек Табуреткин (ok), 18:38 , 18-Мрт-16, (3) +2 // Главное к опенсорсу никак не относятся Требуют вьюжлстудию, которой никто из вм, Аноним (-), 18:49 , 18-Мрт-16, (9) +12 А чем вменяемые пользуются, простите , Roman (??), 18:57 , 18-Мрт-16, (11) –2 Вменяемые пользуются всем тем, куда g можно прикрутить без танцев с бубном Qt, Аноним (-), 19:25 , 18-Мрт-16, (15) +8 Gcc и clang с редактором или ide на выбор А MSVC не умеет C99 в 2016 году, это , Аноним (-), 19:36 , 18-Мрт-16, (17) +8 Visual Studio умеет в clang Пруф http i imgur com UKjpoER png, другойАнонимус (?), 02:59 , 19-Мрт-16, (54) –2 Кто будет доделывать за микрософтом их сопли и что о них можно сказать - понятно, Аноним (-), 03:22 , 19-Мрт-16, (57) +1 очешуеть, Аноним (-), 04:33 , 19-Мрт-16, (59) Это перемо 1169 а , Аноним (-), 15:32 , 19-Мрт-16, (68) –1 Там видновс10 в комплекте, Любитель сладких персиков (?), 21:04 , 19-Мрт-16, (85) Как же быстро люди объединяются против чужого успеха Ребята делают анализ многих, Oleg (??), 13:21 , 19-Мрт-16, (62) +3 О, флюродросеры приехали Статьи скорее, статья про огрехи была бы действитель, Аноним (-), 15:13 , 19-Мрт-16, (65) –2 На самом деле у нас очень много хороших познавательных статей Несколько примеро, Andrey_Karpov (ok), 19:12 , 19-Мрт-16, (75) +1 Здесь граждане верят в 171 стандарты Си 187 8212 они точно знают, что ко, Sabakwaka (ok), 09:45 , 21-Мрт-16, (101) –1 Большое спасибо за поддержку , Andrey_Karpov (ok), 18:57 , 19-Мрт-16, (74) –1 Если ты придешь на микрософтовские форумы и там что-нибудь ляпнешь про Linux - т, Аноним (-), 23:33 , 19-Мрт-16, (86) +3 По поводу Visual Studio Вы не правы Это один из наиболее популярных и используе, Andrey_Karpov (ok), 19:37 , 19-Мрт-16, (82) –1 Особенно у тех кто что-то связанное с gtk программирует Если вы делаете продук, Аноним (-), 23:52 , 19-Мрт-16, (87) +2 Можем И занимаемся этим тоже Анализ С C открытых проектов компании Microsoft , Andrey_Karpov (ok), 00:29 , 20-Мрт-16, (91) –1 Я конечно понимаю что в пиарщики идут не гроссмейстеры, но догадаться насколько , Аноним (-), 02:23 , 20-Мрт-16, (93) +2 А откуда у вас право решать за всех их интерес к опенсорцу мс , Наркоман (?), 09:08 , 21-Мрт-16, (100) –1 Пламенная любовь опеннетовских троллей к опенсорцу M - это их личные половые тр, тоже Аноним (ok), 09:58 , 21-Мрт-16, (103) +2 Забавно Часто не мы выкладываем какие-то новости Просто людям нравятся наши за, Andrey_Karpov (ok), 18:49 , 19-Мрт-16, (73) Нас тоже журят, притом то за рекламу , то за про вас ничего не слышно Не п, Michael Shigorin (ok), 16:22 , 21-Мрт-16, (104) –1 Потому что ваша реклама - хуже, чем если про вас ничего не слышно было бы Пр, chinarulezzz (ok), 13:36 , 22-Мрт-16, (107) А здесь не куски кода http www viva64 com ru b 0383 , Служба ИБ (?), 19:50 , 18-Мрт-16, (21) +1 // Ты предлагаешь мне бегать по каким-то ссылкам чтобы ознакомиться с рекламой Это , A.Stahl (ok), 20:08 , 18-Мрт-16, (23) –3 Ну так адекватнЕйте же наконец -- сами просили иногда там даже были куски заба, Michael Shigorin (ok), 20:32 , 18-Мрт-16, (25) +1 Вот именно, а то эти товарищи имеют наглость регулярно спамить рекламой своей PV, Аноним (-), 21:01 , 18-Мрт-16, (26) +2 дружище, тебе забесплатно проверили твой любимый GTK на ошибки Сказал бы спаси, виндотролль (ok), 21:47 , 18-Мрт-16, (31) +3 то есть на складе есть, а в магазине нет привезут только под заказ и без коробк, Яйцассыром (?), 22:03 , 18-Мрт-16, (32) отличается совсем другим позиционированием Почему-то, когда вам предлагают вмес, виндотролль (ok), 22:29 , 18-Мрт-16, (35) +1 Их никто не заставляется делать чтобы работало всегда и везде Есть ынтерпрайзный, gogo (?), 01:41 , 19-Мрт-16, (50) Вот вы так говорите, как будто коммерческая компания вам чем-то обязана Я уже ле, виндотролль (ok), 02:46 , 19-Мрт-16, (52) +1 А толку-то - доказывать Если Я уже лет 5 как пользуюсь только линуксом с ни, Led (ok), 02:58 , 19-Мрт-16, (53) +3 Тот 8212 кто считает, что ему обязан весь мир , виндотролль (ok), 03:05 , 19-Мрт-16, (55) Разумеется обязана А что интересно, мы за свои деньги должны им ещё и дифирамбы, Аноним (-), 15:21 , 19-Мрт-16, (66) –3 Даже так А сами-то они об этом где-то пишут или без клещей и везения не узнать, Michael Shigorin (ok), 16:24 , 21-Мрт-16, (105) С нетерпением жду этого момента Пользователи откровенного г-на должны приплачив, Аноним (-), 04:20 , 19-Мрт-16, (58) –2 понятия не имею Но я бы предположил, что итоговая цена будет, возможно, даже вы, виндотролль (ok), 22:31 , 18-Мрт-16, (36) –2 команда cp сломалась , Илья (??), 22:03 , 18-Мрт-16, (33) Версию под линукс они продать не могут Вообще не могут, потому что её нет, и не, Аноним (-), 15:06 , 19-Мрт-16, (64) +2 Ну насчет Watcom C -лучшим я бы его не назвал ,исследовал опен версию Оптимизац, maximnik0 (?), 16:28 , 19-Мрт-16, (71) +1 Ну, я помню, что на хабре представители компании на вопрос о линукс версии предл, виндотролль (ok), 20:39 , 19-Мрт-16, (83) Не читайте этот сборник слухов в и предположений Если Вы сотрудник компании, то, Andrey_Karpov (ok), 21:03 , 19-Мрт-16, (84) +1 То есть одно из главных утверждений 8212 что вы продаёте только компаниям 8, Аноним (-), 01:42 , 20-Мрт-16, (92) Да Причина - индивидуальным разработчикам не нужен статический анализатор Или , Andrey_Karpov (ok), 10:08 , 20-Мрт-16, (94) Я бы сказал по-другому Наш клиент 8212 это человек, обычно работающий в сред, Andrey_Karpov (ok), 19:17 , 19-Мрт-16, (76) +2 При этом не понятно что вы забыли на опеннете, спамеры Тут процент таких людей , Аноним (-), 23:56 , 19-Мрт-16, (88) Эти нормальные ребята к опенсорцу отношения не имеют Статических анализаторов с, Аноним (-), 03:07 , 19-Мрт-16, (56) +1 Всегда стараюсь писать if CONSTANT variable Но мне говорят ты чо, сейчас ж, АнонимХ (ok), 18:39 , 18-Мрт-16, (4) –4 // Интересно было бы посмотреть на компилятор, который бы это не поправил, и на код, Аноним (-), 18:41 , 18-Мрт-16, (5) // Это сторонники i должны доказывать правильность своей позиции А то дойдем и д, АнонимХ (ok), 18:46 , 18-Мрт-16, (7) –3 // к черту бизнесс-логику даешь микрооптимизации, Илья (??), 22:06 , 18-Мрт-16, (34) +2 const - промашка языка Но, на сколько я знаю, в gcc можно переключит на mutable, Аноним (-), 16:14 , 19-Мрт-16, (69) Никто никому ничего не должен, Аноним (-), 16:15 , 19-Мрт-16, (70) +1 Ты ИДИОТ , Sabakwaka (ok), 00:27 , 21-Мрт-16, (98) –1 На интах уже много лет пофиг А вот для всяких итераторов все еще важно Проблем, Аноним (-), 19:28 , 18-Мрт-16, (16) // Это всё равно не имеет значения, даже без оптимизации такая операция довольно де, all_glory_to_the_hypnotoad (ok), 23:09 , 18-Мрт-16, (40) Смысл писать i есть Моя статья на эту тему Есть ли практический смысл использ, Andrey_Karpov (ok), 19:26 , 19-Мрт-16, (77) –1 И конечно же компилируете свое с выключенными варнингами , Аноним (-), 18:44 , 18-Мрт-16, (6) –1 // Конечно нет, не переводите тему Варнинги так же должны рефлекторно воспринимать, АнонимХ (ok), 18:56 , 18-Мрт-16, (10) +1 Это вполне легитимная и используемая операция т е присваивание в if , ни, all_glory_to_the_hypnotoad (ok), 23:11 , 18-Мрт-16, (41) // да, предупреждение на самом деле есть, предлагает в скобки завернуть Ну тогда в, all_glory_to_the_hypnotoad (ok), 23:14 , 18-Мрт-16, (42) да, и присаоение в if е - не от большого ума , Led (ok), 23:22 , 18-Мрт-16, (44) Дарю идею define IF constant, var и потом в коде IF constant, var , Аноним (-), 19:40 , 18-Мрт-16, (18) –4 Всегда спотыкаюсь, когда читаю такой код Привыкнуть конечно можно, но считаю, ч, Другой Омномним (?), 19:49 , 18-Мрт-16, (20) +5 // Наверное еще на int const n вместо const int n спотыкаешься А ведь это best p, АнонимХ (ok), 20:10 , 18-Мрт-16, (24) +1 чо, серьезно , Annimzus (ok), 23:03 , 18-Мрт-16, (39) +1 // Саттер об этом пишет в Сложных задачах Вот тут http herbsutter com 2013 05, Мяут (ok), 12:35 , 19-Мрт-16, (60) // А ничего то, что его величество компилятор это дело крутит как хочет Причем разн, soarin (ok), 14:12 , 19-Мрт-16, (63) –1 А если надо сравнить две переменные , Аноним (-), 00:09 , 19-Мрт-16, (49) Код должен быть в первую очередь понятным, а уже потом всё остальное, поэтому то, Аноним (-), 15:26 , 19-Мрт-16, (67) +2 Да они задрали спамить, когда уже загнутся , Я (??), 19:03 , 18-Мрт-16, (12) // задрал спамить, загнись , Аноним (45), 23:23 , 18-Мрт-16, (45) +3 Раньше они по крайней мере открывали баги, а с Gtk не пожелали Странно , Андрей (??), 19:17 , 18-Мрт-16, (13) +2 // Что странно Просто не поместилось нигде , Led (ok), 23:23 , 18-Мрт-16, (46) // Отчёт на листе формата А4 С чего бы это не поместилось , Андрей (??), 00:03 , 19-Мрт-16, (48) –1 При проверке open source проектов мы всегда сообщаем разработчикам Если мы публ, Andrey_Karpov (ok), 19:29 , 19-Мрт-16, (79)   // То-есть фирмочка всучит бинарный плагин, а дальше тесь как хотите, дорогие кл, Аноним (-), 00:20 , 20-Мрт-16, (89) –1   // Продают анализатор, но не услуги по исправлению найденных им ошибок Ты чего ожи, Аноним (-), 02:25 , 21-Мрт-16, (99) –1   Просто в конце статьи вы не упомянули, что сделаете это И какому именно автору , Андрей (??), 05:17 , 22-Мрт-16, (106)   Ох 8230 еть Это, типа, 171 опечатки и мелкие недочеты 187 Тогда и 171 , Старик (?), 19:17 , 18-Мрт-16, (14) +11 А компиляторы разве не ругаются на такое , Аноним (-), 19:43 , 18-Мрт-16, (19) // for int i 0 i child size i if value child i value useValu, тоже Аноним (ok), 20:01 , 18-Мрт-16, (22) –1 // if value child i value И никакого предупреждения от компилятора не будет , другое Имя (?), 21:08 , 18-Мрт-16, (27) // Давненько на C писал, но -Wall -Wextra должно помочь, Анон1 (?), 21:26 , 18-Мрт-16, (28) Верно, компилятор предупреждает пока не найдет доп скобки , Андрей (??), 21:27 , 18-Мрт-16, (29) +2 Ну, уж если стараться над кодом, то стоит явно прописать сравнение с нулем, чтоб, тоже Аноним (ok), 22:43 , 18-Мрт-16, (37) if int value child i value уже явно не очепятка, но это уже кресты , Аноним (-), 22:46 , 18-Мрт-16, (38) –1 // Кресты Крассные Т е - клиника , Led (ok), 23:25 , 18-Мрт-16, (47) Вот бы PVS-Studio могла бы найти такой баг, как в path_name в git http www , Андрей (??), 02:36 , 19-Мрт-16, (51) –1 // Называется american fuzzy lophttp lcamtuf coredump cx afl , Аноним (-), 19:26 , 19-Мрт-16, (78) // Отличный тул, опенсорсный и в отличие от плагина для студии работает под Linux , Аноним (-), 00:25 , 20-Мрт-16, (90) это должен отлавливать компилятор, Аноним (-), 12:43 , 19-Мрт-16, (61) // Ничего он никому не должен И подтверждение этому ошибки, которые мы нашли во мн, Andrey_Karpov (ok), 19:33 , 19-Мрт-16, (80) Толку от этого маловато - в C C с этой задачей хорошо справляется компилятор , Аноним (-), 17:52 , 19-Мрт-16, (72) // Не совсем понятно, про что речь Но если о том, что для С С статический анализ, Andrey_Karpov (ok), 19:34 , 19-Мрт-16, (81) 1,4,12,13,14,19,51,61,72

Сообщения

[Сортировка по времени | RSS]

	79. "Результаты статического анализа кода библиотеки GTK+"	+/–
	Сообщение от Andrey_Karpov (ok), 19-Мрт-16, 19:29
	> Раньше они по крайней мере открывали баги, а с Gtk+ не пожелали. При проверке open source проектов мы всегда сообщаем разработчикам. Если мы публикуем статью о проверке этого проекта, то ссылку стараемся отправить авторам проекта. Если мы проверили проект, но ошибок на отдельную статью не набралось, то мы все-равно отправляем авторам то, что есть. При этом мы никогда не отправляем патчи и не открываем отдельные баги. Причин этому сразу несколько: * Мы не знакомы с кодом и не знаем, реальную ли ошибку мы в нем нашли или все-таки нет. Для понимания этого нужно очень глубокое погружение в проект. * Это очень много работы. Сейчас в базе уже около 10000 ошибок http://www.viva64.com/ru/examples/ . Представляете какой это объем работ? * Наконец цель написания наших статей – показать возможность анализатора кода, который мы разрабатываем. То есть показать, что наш инструмент реально находит ошибки в настоящем, живом коде. Нам надо показать только лишь, что инструмент их находит.
	Ответить | Правка | К родителю #13 | Наверх | Cообщить модератору

	89. "Результаты статического анализа кода библиотеки GTK+"	–1 +/–
	Сообщение от Аноним (-), 20-Мрт-16, 00:20
	То-есть фирмочка всучит бинарный плагин, а дальше #%$тесь как хотите, дорогие клиенты, сами разбирая 10 000 ошибок. Тем временем, есть уже несколько онлайн сервисов, которые помогают заниматься вопросами качества, интеграции и отлова ошибок. В случае открытых проектов они из git проекта таскают коммиты и присылают отчеты, близко к реальному времени. Поэтому у них работа строится в виде накосячил - получи репорт через полчаса. А не так что вот тебе 10 000 ошибок раз в 10 лет и бодайся как умеешь. А потом эти люди с вьюжлстудией удивляются почему их считают за каких-то динозавров, с такими то практичными технологиями.
	Ответить | Правка | Наверх | Cообщить модератору

	99. "Результаты статического анализа кода библиотеки GTK+"	–1 +/–
	Сообщение от Аноним (-), 21-Мрт-16, 02:25
	> сами разбирая 10 000 ошибок Продают анализатор, но не услуги по исправлению найденных им ошибок. Ты чего ожидал, что он сам исправлять ошибки будет? А может и код писать? А на кой хрен ты тогда нужен? > — Во-первых, пирожного! Во-вторых… Вы, чего, и пальцы за меня загибать будете? > — Ага! > — Во-вторых, конфет! В-третьих… ну, загибайте, загибайте! А в-третьих, мороженого… > (позже) > — Вы, чего, и конфеты за меня есть будете? > — Ага!
	Ответить | Правка | Наверх | Cообщить модератору

	106. "Результаты статического анализа кода библиотеки GTK+"	+/–
	Сообщение от Андрей (??), 22-Мрт-16, 05:17
	> Если мы публикуем статью о проверке этого проекта, то ссылку стараемся отправить авторам проекта. Просто в конце статьи вы не упомянули, что сделаете это. И какому именно автору/ам вы отправите. Ведь проект имеет публичную почтовую рассылку. Да, действительно, 20 марта исправления были внесены в Gtk+. Не уточнял ещё все ли, но те, что видел вошли в релиз Gtk+ 3.20. > При этом мы никогда не отправляем патчи и не открываем отдельные баги В GNOME можно даже патчи слать, они и их успешно игнорируют. Удивлён, что в этот раз хватило просто ссылки на статью. Впечатлились, наверное, постыдились и не стали откладывать на год-другой-третий. Кстати, а пробовали уже coreboot обследовать? Должно быть крепкий орешек, т.к. low level C. А FreeRTOS, contiki-os?
	Ответить | Правка | К родителю #79 | Наверх | Cообщить модератору

Архив | Удалить

Рекомендовать для помещения в FAQ | Индекс форумов | Темы | Пред. тема | След. тема