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

Эксперимент по выявлению уязвимостей во FreeBSD при помощи P..., opennews (??), 06-Апр-17, (0) [смотреть все] +1 Реклама, но все же они делают что то полезное, наверное, Аноним (-), 21:34 , 06-Апр-17, (1) +21 // Они делают что и все люди то от чего они получают удовольствие , Аноним (-), 21:39 , 06-Апр-17, (3) +1 // т е зарабатывают деньгиp s я не против заработка, просто умиляют сотрудники ст, Аноним (-), 21:52 , 06-Апр-17, (8) +15 // а если о продукте трындели бы сами бсд орг, тады бы побежали бы покупать сей про, Sw00p aka Jerom (?), 01:07 , 07-Апр-17, (22) +1 а должны восхвалять Яхве , Клыкастый (ok), 10:54 , 07-Апр-17, (41) –1 так ошибок 22 или 56 так и не понял , Аноним (-), 21:39 , 06-Апр-17, (2) // Всего в коде выявлено 22 ошибки, которые могут привести к проблемам из-за разыме, Alex (??), 21:43 , 06-Апр-17, (4) возможно 56, где 22 точно и написано где , VituS (?), 21:43 , 06-Апр-17, (5) –2 22 - связаны с нулевыми указателями Просто я их считал, пока не надоело и я не , Andrey_Karpov (ok), 21:51 , 06-Апр-17, (6) +2 // Доброго времени суток, Андрей Т е ошибок, всязанных с разыменовыванием null на , Старик (?), 17:30 , 07-Апр-17, (85) // Мне просто наскучило изучать предупреждения, относящиеся к разыменованию нулевых, Andrey_Karpov (ok), 20:57 , 07-Апр-17, (116) +2 Жаль что разработчики FreeBSD не могут воспользоваться утилитой, которую им рекл, Аноним (-), 21:51 , 06-Апр-17, (7) +4 // А они не разработчикам FreeBSD рекламируют, они парaитируют на опенсорсе, продви, Аноним (-), 21:56 , 06-Апр-17, (9) +3 // а опенсурсной альтернативы есть пс и нафиг комерческий продукт не сдался ни од, Sw00p aka Jerom (?), 01:10 , 07-Апр-17, (23) –1   // https clang-analyzer llvm org Про более примитивные штуки типа cppcheck молчу , Аноним (-), 12:11 , 07-Апр-17, (45) +1   не вижу сравнения, Sw00p aka Jerom (?), 18:11 , 07-Апр-17, (95) –1   А что тут сравнивать Cppcheck - игрушечный анализатор, во многом построенный на, Andrey_Karpov (ok), 21:02 , 07-Апр-17, (118)   в основном это говорит о том, что проект все еще в детской стадии развития Шут, пох (?), 22:32 , 07-Апр-17, (124) –1   Ну так и с GCC, который уже давно взрослый, всё тоже самое Проверка GCC - http, Andrey_Karpov (ok), 00:16 , 08-Апр-17, (128) +1   тут скорее не PVS-Studio хвалить рекламировать как обычно думают , а хейтить GC, Sw00p aka Jerom (?), 01:37 , 08-Апр-17, (131) –1   По-поводу clang а - вот этот кодhttps github com llvm-mirror clang blob d9ef43, Vkni (ok), 06:37 , 08-Апр-17, (132) +1   косвенным По-моему, etc ease это как раз основной признак, поддерживаемый пра, пох (?), 13:44 , 08-Апр-17, (141) +1   Дааа, чувствуется тяжёлое дыхание энтерпрайза Вот по этому у вас всё так через , Vkni (ok), 14:10 , 08-Апр-17, (142) –1   кому должен и когда этот кто-то успел в такие долги вляпаться майнтейнер - обы, пох (?), 18:03 , 08-Апр-17, (151)   Зависит Вот это более обычное дело, если человек не разработчик собираемой прогр, Michael Shigorin (ok), 18:56 , 08-Апр-17, (152)   тот который знает за пределами наспех прочитанных методичек - уже давно эффект, пох (?), 15:07 , 10-Апр-17, (172) –1   Зависит но народ продолжаем набирать, да У нас и его текущий майнтейнер весьм, Michael Shigorin (ok), 15:46 , 10-Апр-17, (174) –2   LLVM сейчас - часть графической подсистемы nix Под него заточена инфраструктур, iZEN (ok), 19:51 , 10-Апр-17, (176) –2   Тебе-то, понятно, без разницы - натачиваешь свой эпплекомпайлер, но-- DRM D, Andrey Mitrofanov (?), 10:49 , 11-Апр-17, (177) +2   судя по названиям пакетов, скилл таки забыт, просто destdir с некоторыми не совс, пох (?), 17:17 , 11-Апр-17, (178) –1   Разработчики дистрибутива В момент создания дистрибутива Это в RH, OpenSuse или, Vkni (ok), 19:37 , 08-Апр-17, (156) +1   это вы о ком, о миллионере Марке Эвинге the guy in red baseball hat Ему уже д, пох (?), 15:31 , 10-Апр-17, (173) –1   Чего там нужно такого дорогостоящего в знании того, где находится gcc на платфор, Vkni (ok), 04:47 , 13-Апр-17, (179)   А свой PVS clang ом проверять пробовали Понимаю, что если и попробуете, результ, Аноним (-), 14:26 , 08-Апр-17, (144) +1   Это уже было в Симпсонах https www viva64 com ru b 0270 С тех пор ежедневно в, Andrey_Karpov (ok), 17:51 , 08-Апр-17, (147)   И неважно, что народ активно coverity проверяется ЕМНИП даже linux kernel Cov, llolik (ok), 16:51 , 07-Апр-17, (78) +3   Как будто это что-то плохое , Аноним (-), 09:09 , 07-Апр-17, (36) –1 Ну так и пусть используют Взаимная польза есть же Если вам это не нравится - вы, KonstantinB (ok), 10:53 , 07-Апр-17, (40) Они парaзитируют не на опенсорсе, а на ущербном Си, где всякий изврат, типа прям, robux (ok), 13:04 , 07-Апр-17, (50) –3 Ты пытаешься заменить компилируемый язык интерпретируемым - это глупо Если выби, robux (ok), 13:16 , 07-Апр-17, (53) –2 В этих ваших Паскалях настрелять себе в ногу ничуть не сложней чем в Сях, если п, llolik (ok), 14:36 , 07-Апр-17, (59) +2 Ну ка, клоун покажи мне как ты это сделаешь в Компонентом Паскале Ждёмс , анонпитонер (?), 18:49 , 07-Апр-17, (102) –1 Да, действительно, очень интересно С удовольствием посмотрю на пример Так как, , Старик (?), 20:06 , 07-Апр-17, (112) И ответ и пример ниже , llolik (ok), 21:41 , 07-Апр-17, (122) Ну да, не клоун, сравнить Оберон-2 он же компонентный паскаль , который имеет с, llolik (ok), 21:33 , 07-Апр-17, (121) Очень искуственно Именно то, что приводят во всех учебниках, как демонстрацию п, Старик (?), 08:58 , 08-Апр-17, (134) –3 И тем не менее, это самый простой пример, который вспомнился на ходу Да ладно А, llolik (ok), 10:06 , 08-Апр-17, (135) Вот это, честно говоря, не понял Что и зачем делать в куче, пусть там компилято, Старик (?), 14:16 , 08-Апр-17, (143) +1 И тем не менее часто требуется С первого же момента, как необходимо реализовать, llolik (ok), 17:59 , 08-Апр-17, (150) +1 Бесспорно Именно поэтому я и сказал 171 пусть там компилятор копается 187 , Старик (?), 19:41 , 08-Апр-17, (157) +1 Размах на рупь, удар - на копейку Впрочем чего от пасквилянтов ожидать Ущерб, _ (??), 16:55 , 07-Апр-17, (80) –2 Где пруфы, Билли На нужны пруфы , Старик (?), 20:07 , 07-Апр-17, (113) +1 Тогда уж не Паскаль , а семейство оберонов , Минона (ok), 17:07 , 07-Апр-17, (83) –1 Так Go же изобрели Паскаль с Дельфями и FPC - прошлый век уже , iZEN (ok), 10:38 , 10-Апр-17, (170) –2 бгг, ещё один указателями умученный , dq0s4y71 (ok), 17:57 , 07-Апр-17, (92) +2 Публичного нет, а так было бы желание Мы готовы выдать лог , Andrey_Karpov (ok), 23:15 , 06-Апр-17, (16) –1 прошлый раз они слили мусор с кучей false positive - и предложили девелоперам са, Аноним (-), 22:20 , 06-Апр-17, (12) –2 // А куда сливали-то Тоже во freeBSD , A.Stahl (ok), 22:45 , 06-Апр-17, (13) // Хоть не в даркнет, уже хорошо , Ойвейноним (?), 22:53 , 06-Апр-17, (14) –2 В багтрекере было немного с прошлого поста С первого хз , Ivan_83 (ok), 03:30 , 07-Апр-17, (26) –1 Если это про FreeBSD, то их инструмент крут Сравните время на просмотр 200 мест , не такой (?), 23:20 , 06-Апр-17, (17) +3 Шо, даже не предупредили насчёт фильтровать Ах они такие-сякие, десяток реальных, Michael Shigorin (ok), 00:26 , 07-Апр-17, (21) +2 Если так, то ведь 10 реальных нашлось Польза очевидна , KonstantinB (ok), 10:50 , 07-Апр-17, (39) +2 // попробуй оценить сколько времени потратят на оставшиеся 190 после этого польза, Аноним (-), 18:56 , 07-Апр-17, (104) +1 // Поэтому надо 10 а 10 ли реальных оставить Подумаешь, всего-то 5 реальных ба, Старик (?), 20:12 , 07-Апр-17, (114) пару дней Пару лет, в лучшем случае, если пользователь гораздо раньше не плюнет, Аноним (-), 23:49 , 06-Апр-17, (18) +2 // Именно виснет Я сталкивался с проблемой поедания всей доступной памяти и swap , P.Galloway (ok), 12:58 , 07-Апр-17, (49) –1 // угу, мертво память, пока там еще обновляется top, в избытке, скорее еще что-то т, пох (?), 13:12 , 07-Апр-17, (52) –1 // Ну как бэ, периодически кому-то взбредает в голову вполне так системненько взя, Сандибридж (?), 10:11 , 08-Апр-17, (136) +3 Подкину пруфов , т к ситуация имеет быть https svnweb freebsd org ports view, P.Galloway (ok), 13:11 , 08-Апр-17, (138) –1 Не, не вернули, но в проектах DragonFlyBSD и NetBSD он, вроде как, остался synth, P.Galloway (ok), 13:43 , 08-Апр-17, (140) –1 Написать, что ли, человеку видал уж такую демократию , Michael Shigorin (ok), 19:11 , 08-Апр-17, (153) –2 Ну как бы в любой ОС такая ситуация, если инфы мало, дампов нет, и воспроизводим, P.Galloway (ok), 12:58 , 08-Апр-17, (137) –1 На приснопамятном lists osdn org ua как-то после спешных патчей потекла sympa в, Michael Shigorin (ok), 19:13 , 08-Апр-17, (154) Всего 56 ошибок на такое количество кода - да разработчики FreeBSD просто святые, Аноним (-), 23:52 , 06-Апр-17, (19) –3 // Статью не читай, комментарний пиши скорей 56 вернее 66, если добавить некла, Andrey_Karpov (ok), 23:57 , 06-Апр-17, (20) +1 // Да да Вот только не нужно делать из этого сенсацию а тем более говорить про уязв, Ivan_83 (ok), 03:34 , 07-Апр-17, (27) –2 // Сенсации никакой конечно нет Мы и раньше регулярно находили большое количество , Andrey_Karpov (ok), 09:58 , 07-Апр-17, (37) –1 Вообще то метрики качества в терминах ошибк на тыЩЩи строк кода публиковались не, _ (??), 18:27 , 07-Апр-17, (100) –1 А можно ли оставить реквест на проверку OpenSSH ну или базовой системы FreeBSD, P.Galloway (ok), 13:27 , 08-Апр-17, (139) –1 Offer an interesting project for PVS-Studio analysis https github com viva64 , Andrey_Karpov (ok), 17:52 , 08-Апр-17, (148) –1 Такс Тулза конечно полезная НО Что у нас получается в итоге Софт пишем на, Анонимович (?), 05:14 , 07-Апр-17, (28) // И стоит эта хрень далеко не символические 1 , Аноним (-), 05:18 , 07-Апр-17, (29) // цитата с сайта Это значит, что статический анализатор на самом деле был не нуж, Аноним (-), 05:49 , 07-Апр-17, (32) –1 // А вот если бы кто бесплатно мне умывальники пробивал, то это было бы еще круче Я, Аноним (-), 11:24 , 07-Апр-17, (43) –1 нравится хотим того же, но на халяву Даже довольно номинального реверанса в ст, пох (?), 12:11 , 07-Апр-17, (46) Нахаляву можно взять отладочные и реверсные тулзы и исследовать проявления жадно, ram_scan (?), 15:08 , 07-Апр-17, (64) –2 достаточно sed а и find Но без поддержки у тебя вряд ли получится даже настроит, пох (?), 17:45 , 07-Апр-17, (88) –2 Если бы в свое время товарищи давшие старт GPL думали так же как ты и тебе подо, Аноним (-), 16:22 , 07-Апр-17, (69) +2 товарищи , давшие старт GPL, за пятнадцать или более лет работы произвели из су, пох (?), 17:57 , 07-Апр-17, (93) –2 Чем писать такую длинную телегу, куда продуктивнее было бы вбить в поисковик st, Аноним (-), 13:25 , 07-Апр-17, (54) +1 если б еще и работали к сожалению, не какие-то, а все, и хуже - в разы досюд, пох (?), 14:12 , 07-Апр-17, (57) –1 Периодически прогоняю scan-build по каким-нибудь опенсорсным проектам, и он почт, Аноним (-), 14:49 , 07-Апр-17, (60) –1 и где твои PR всем совершенно необязательно - достаточно одного, только он еще , пох (?), 18:05 , 07-Апр-17, (94) –1 А зачем мне пиариться Что нашлось 8212 то нашёл, что посчитал нужным 8212 , Аноним (-), 19:15 , 07-Апр-17, (106) +1 как зачем Перечитай последний абзац А зачем еще ты всю ту муть сюда понаписал , пох (?), 21:00 , 07-Апр-17, (117) Меня не интересует работа в компании, в которую принимают по результатам специал, Аноним (-), 14:32 , 08-Апр-17, (145) –2 Все правильно Нужность необходимость Не необходимость не нужность вр, Аноним (-), 16:06 , 07-Апр-17, (66) Мне может быть Ооочень нужен какой-то определенный софт пусть даже также PV, Аноним (-), 16:36 , 07-Апр-17, (73) Как использовать PVS-Studio бесплатно - https www viva64 com ru b 0457 , Andrey_Karpov (ok), 21:20 , 07-Апр-17, (119) –1 Вообще-то этой тулзой и бесплатно проверять можно добавив в начало каждого файла, Аноним (-), 05:37 , 07-Апр-17, (30) // Вы таки верите, что это чудо-п0делие нашло все без исключения ошибки Если б оно, Аноним (-), 12:19 , 07-Апр-17, (47) +1 А ГНУ линукс проверяли Вообще, по собственному опыту, данная прожка не видит уте, лютый жабист__ (?), 05:43 , 07-Апр-17, (31) // Обновляемый список статей, в которых мы рассказываем об ошибках, найденных с пом, Andrey_Karpov (ok), 10:05 , 07-Апр-17, (38) –1 // Вот когда в следующий раз надумаете тут пиариться, будьте любезны выкладывать ре, Аноним (-), 12:22 , 07-Апр-17, (48) // неверующий дурак так и отается дураком Тебе ничто не мешает прогнать другой анал, пох (?), 14:20 , 07-Апр-17, (58) я так понимаю, что ты и тебе подобного мнения это верующие дураки , кверти (ok), 15:00 , 07-Апр-17, (62) Это один из тех, у кого и я в девяностых учился nix, если что В 58 субъектив, Michael Shigorin (ok), 16:05 , 07-Апр-17, (65) Что это дает Типа авторитет и его мнение однозначно верное Ключевое слово - суб, кверти (ok), 16:23 , 07-Апр-17, (70) Типа совет перечитать внимательней cosa vostra , Michael Shigorin (ok), 17:39 , 07-Апр-17, (87) –1 Миша, зачем мне перечитывать твоего учителя , если Я его мнение не разделяю , кверти (ok), 17:51 , 07-Апр-17, (89) Можно прочесть невнимательно и понять неправильно, речь о таком , Michael Shigorin (ok), 18:15 , 07-Апр-17, (96) –1 Можно, но не тот случай Я предельно четко понимаю, по какую сторону этот чело, кверти (ok), 18:19 , 07-Апр-17, (98) и это вам важнее любых аргументов Оно и видно P S да, я давно на темной сторон, пох (?), 22:37 , 07-Апр-17, (125) Эх - Думаю, помнящие те деньки и так могут узнать по почерку хотя он тоже с го, Michael Shigorin (ok), 19:20 , 08-Апр-17, (155) –1 Во-первых, здесь нет никаких аргументов, здесь только мотивы поведения Во-вторы, кверти (ok), 19:54 , 08-Апр-17, (158) Эх, и когда эти буйные головы научатся хотя бы читать, не то что прочитанное пон, Michael Shigorin (ok), 20:12 , 08-Апр-17, (159) –1 Цитату чего , кверти (ok), 01:28 , 09-Апр-17, (163) Моей позиции в моём изложении, которую можно понять так, как Вы изложили Хотя пр, Michael Shigorin (ok), 20:01 , 09-Апр-17, (166) Нет, дураком всегда был и останется навеки тот, кто верит всем подряд А я привы, Аноним (-), 15:03 , 07-Апр-17, (63) +1 ну, так спроси - я полагаю, последний iso стянули, они обычно не парятся потому, пох (?), 18:18 , 07-Апр-17, (97) –1 А если я потенциальный клиент Имею я право увидеть объективное сравнение с конк, Аноним (-), 19:23 , 07-Апр-17, (107) Мы пришли к заключению, что как бы не делали сравнения, нас всегда обвинят в пре, Andrey_Karpov (ok), 21:27 , 07-Апр-17, (120) +1 Ну ок, только ввиду отсутствия у меня свободного времени и желания геморрроиться, Аноним (-), 15:18 , 08-Апр-17, (146) –1 Здесь будет уместно процетировать фрагмент из статьи Отказались от демо и фрими, Andrey_Karpov (ok), 17:54 , 08-Апр-17, (149) Ну что я могу сказать, удачи вам на поприще борьбы со шлаком , Аноним (-), 21:26 , 08-Апр-17, (160) –1 Впрочем, таки поясню на всякий случай Я технарь Я могу сказать начальству, чт, Аноним (-), 21:44 , 08-Апр-17, (161) Не верю Вот и запилили этсамое сравнение с тем же Coverity своими руками , Michael Shigorin (ok), 22:28 , 08-Апр-17, (162) –1 Да какая разница Коллектив или чувствует необходимость контролировать качество , Andrey_Karpov (ok), 19:09 , 09-Апр-17, (165) Ещё раз я технарь, что бы там по этому поводу не думал местный хам-модератор В, Аноним (-), 23:21 , 09-Апр-17, (167) Вы уже потратили сил на дискуссию здесь больше, чем требовалось для получения кл, Andrey_Karpov (ok), 23:29 , 09-Апр-17, (168) +1 О, да пацан тут не просто рекламу проплатил - он здесь место застолбил , Led (ok), 10:08 , 10-Апр-17, (169) –1 Уже смешно Потенциальный клиент бы не с козырей фекального типа заходил, а про, Michael Shigorin (ok), 22:15 , 07-Апр-17, (123) –1 поверила - ООО МММ Я эти объективные сравнения писал э читал с выражениям, пох (?), 22:56 , 07-Апр-17, (126) +1 Дык Это надо быть умственно неполноценным, чтобы верить в сравнения с конкурен, Vkni (ok), 03:55 , 09-Апр-17, (164) Хоть и реклама, но это действительно полезная реклама, вся бы реклама была такой, Аноним (-), 16:52 , 07-Апр-17, (79) +2 // В чем польза от этой рекламы Лучше поинтересуйтесь у них - почему они свою же п, Гость (??), 17:05 , 07-Апр-17, (82) –4 // https habrahabr ru company pvs-studio blog 279437 , Andrey_Karpov (ok), 17:16 , 07-Апр-17, (84) В коментариях выливают тонны грязи на компанию, инженеры которой разработали про, Аноним (-), 07:39 , 08-Апр-17, (133) Это все хорошо, а было ли хоть, что отправленное , Аноним (-), 17:53 , 07-Апр-17, (90) –2 // Не понял вопрос Вы о чём Если о патчах, то совсем чуть чуть, так как времени м, Andrey_Karpov (ok), 00:23 , 08-Апр-17, (129) Ну вообще-то да https bugs freebsd org bugzilla buglist cgi email2 viva64 emai, Аноним (-), 00:33 , 08-Апр-17, (130) +1 P S Мы перепроверили с помощью PVS-Studio свежую версию исходных кодов проекта F, Andrey_Karpov (ok), 15:43 , 13-Апр-17, (180) –1 1,2,7,12,18,19,28,30,31,79,90,180

Сообщения

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

	23. "Эксперимент по выявлению уязвимостей во FreeBSD при помощи P..."	–1 +/–
	Сообщение от Sw00p aka Jerom (?), 07-Апр-17, 01:10
	> продвигая свою проприетарную поделку а опенсурсной альтернативы есть ? пс: и нафиг комерческий продукт не сдался ни одному опенсурс сообществу, кому нужно они купят, просто на опенсурсе они и оттачивают продукт и хорошо его рекламируют Ынтерпрайз компаниям.
	Ответить | Правка | Наверх | Cообщить модератору

	45. "Эксперимент по выявлению уязвимостей во FreeBSD при помощи P..."	+1 +/–
	Сообщение от Аноним (-), 07-Апр-17, 12:11
	> а опенсурсной альтернативы есть ? https://clang-analyzer.llvm.org/ Про более примитивные штуки типа cppcheck молчу.
	Ответить | Правка | Наверх | Cообщить модератору

	95. "Эксперимент по выявлению уязвимостей во FreeBSD при помощи P..."	–1 +/–
	Сообщение от Sw00p aka Jerom (?), 07-Апр-17, 18:11
	не вижу сравнения
	Ответить | Правка | Наверх | Cообщить модератору

	118. "Эксперимент по выявлению уязвимостей во FreeBSD при помощи P..."	+/–
	Сообщение от Andrey_Karpov (ok), 07-Апр-17, 21:02
	> не вижу сравнения А что тут сравнивать. Cppcheck - игрушечный анализатор, во многом построенный на основе регулярных выражений. Регулярные выражения - это не серьезно. Моя бородатая статья на эту тему: https://www.viva64.com/ru/b/0087/ На тему Clang. Вещь конечно хорошая и полезная. Но вот только, как мы не проверим их код, так находим ошибки. Это говорит о многом. Собственно, статьи про баги внутри Clang: https://www.viva64.com/ru/b/0108/ https://www.viva64.com/ru/b/0155/ https://www.viva64.com/ru/b/0446/
	Ответить | Правка | Наверх | Cообщить модератору

	124. "Эксперимент по выявлению уязвимостей во FreeBSD при помощи P..."	–1 +/–
	Сообщение от пох (?), 07-Апр-17, 22:32
	> Это говорит о многом. в основном это говорит о том, что проект все еще в "детской" стадии развития. Шутка ли - новый gcc+binutils переписать, причем не 2.7.2.1, а сразу с современными std, в десять раз сложнее, и еще чтоб работало (one true 2.7.2 валился на примитивном плюсовом коде тех времен, и никого особо это не огорчало, времени у девелоперов были десятки лет). Может, чем чорт не шутит, и анализатор допишут до рабочего состояния. Я, правда, к сожалению, в это не верю. https://svnweb.freebsd.org/base?view=revision&revision=309142 (но да, sponsored by. У них есть теперь _очень_ серьезный стимул тратить деньги и время - в виде libgcc_s, это вам не awk)
	Ответить | Правка | Наверх | Cообщить модератору

	128. "Эксперимент по выявлению уязвимостей во FreeBSD при помощи P..."	+1 +/–
	Сообщение от Andrey_Karpov (ok), 08-Апр-17, 00:16
	> в основном это говорит о том, что проект все еще в "детской" > стадии развития. > Шутка ли - новый gcc+binutils переписать, Ну так и с GCC, который уже давно взрослый, всё тоже самое :) Проверка GCC - https://www.viva64.com/ru/b/0425/ Для того и нужны специализированные инструменты, такие как PVS-Studio. Их смысл быть впереди компиляторов в плане анализа.
	Ответить | Правка | Наверх | Cообщить модератору

	131. "Эксперимент по выявлению уязвимостей во FreeBSD при помощи P..."	–1 +/–
	Сообщение от Sw00p aka Jerom (?), 08-Апр-17, 01:37
	тут скорее не PVS-Studio хвалить (рекламировать как обычно думают), а хейтить GCC
	Ответить | Правка | Наверх | Cообщить модератору

	132. "Эксперимент по выявлению уязвимостей во FreeBSD при помощи P..."	+1 +/–
	Сообщение от Vkni (ok), 08-Апр-17, 06:37
	По-поводу clang'а - вот этот код https://github.com/llvm-mirror/clang/blob/d9ef432625798f824c... заставляет сомневаться в умственных способностях разработчиков компилятора. Это C++ код, распознающий по косвенным признакам дистрибутив Linux'а, в котором запущен компилятор. Человеку, который хотя бы немного понимает, как именно устроена экосистема Linux, очевидно, что runtime определение дистрибутива не реализуемо и не нужно.
	Ответить | Правка | К родителю #118 | Наверх | Cообщить модератору

	141. "Эксперимент по выявлению уязвимостей во FreeBSD при помощи P..."	+1 +/–
	Сообщение от пох (?), 08-Апр-17, 13:44
	> Это C++ код, распознающий по косвенным признакам косвенным? По-моему, /etc/*ease это как раз основной признак, поддерживаемый практически всеми вменяемыми. Главное, как оракл, не делать там grep 2 && grep 4 (это они версию так определяли - к моему когдатошнему счастью, неведомый мне "turbolinux" совпал по этим грепам с текущей версией чего-тоужезабыл, неведомого ораклу, хотя совпали цифирки не в том порядке). Если не нашли - можно смело считать, что запущены на васян-форк и подстраиваться соответственно (оракл вот говорил "поставь нормальный дистрибутив, потом поговорим").
	Ответить | Правка | Наверх | Cообщить модератору

	142. "Эксперимент по выявлению уязвимостей во FreeBSD при помощи P..."	–1 +/–
	Сообщение от Vkni (ok), 08-Апр-17, 14:10
	> косвенным? По-моему, /etc/*ease это как раз основной признак Дааа, чувствуется тяжёлое дыхание энтерпрайза. Вот по этому у вас всё так через задницу и устраивается. Объясняю для посторонних - в Линуксах запускаемый софт должен быть запакетирован. При пакетировании maintainer 100% знает о дистрибутиве, под который собирает, не только версию, не только расположение всех нужных clang'у программ, но и груду вещей, о которых авторы clang'а в принципе не догадываются - например, механизме альтернатив. Поэтому всё, что нужно было сделать - это попросить указать в configure или его аналоге правильное расположение тех программ, что нужны clang'у. А не городить 5-ти колёсный велосипед с автоопределением (над такими вещами ржали ещё в 90-е).
	Ответить | Правка | Наверх | Cообщить модератору

	151. "Эксперимент по выявлению уязвимостей во FreeBSD при помощи P..."	+/–
	Сообщение от пох (?), 08-Апр-17, 18:03
	> Объясняю для посторонних - в Линуксах запускаемый софт должен быть запакетирован. При кому должен и когда этот кто-то успел в такие долги вляпаться? > пакетировании maintainer 100% знает о дистрибутиве, под который собирает, не только "майнтейнер" - обычный мидсаммер стьюдент, ничего он о дистрибутиве не знает, кроме наспех прочитанных док - если есть, если вместо них не вики или вообще туманные рассуждения и отсылки в рассылку. Если тебе рассказали об ангелах с крылышками, "100% знающих о дистрибутиве", тебя жестко развели. Они и о собираемой программе чаще всего не знают нишиша. Умеет он заполнять поля Source: , Group и Version. Доверять этим странным людям, если только за ними сзади не стоят с палкой топ-топы редхата (а это бывает только в отдельных случаях) не надо никогда и никому. К счастью, в тривиальных случаях, за них прекрасно справляется скриптовый механизм, написанный еще во времена, когда компьютеры не помеща...не гнулись в кармане на жопе, и еще относительно руками - rpmbuild, dpkg и т д. Ну и еще сбоку приглядывают товарищи постарше, но в основном они смотрят, чтоб он те скрипты не поотключал нахрен ради простоты достижения результата. А нетривиальный - это вот тот самый oracle, который, собственно, тоже в пакете, но своем уникальном, предназначенном не удовлетворять копченого, писавшего (портившего) те скрипты, а для того чтобы уже установленные части не задеть, ненароком, учитывая, что там может быть уже на миллионы нефти (и знать, соответственно, ему надо не тонкости горе-дистрибутива, а тонкости своей внутренней стуктуры и взаимосвязи компонентов - получается, правда, плохо, но rpm тут точно не поможет, нет в rpmmacros оракла). И (не знаю что с 11, но вряд ли что поменялось) оно при сборке старательно линкует себя из тонны .o, что процесс непростой, не всегда удачно заканчивающийся, и очень специфичный для каждой конкретной системы (но он на ней проверен, а если не проверен, тебе нарисуют окошко, где написано, куда пойти). Какое, в ^опу, конфигуре? Ну или для опенотсосеров и на порядок попроще - посмотрите в механику установки и запуска virtualbox, причем что совой об пень, что пнем об сову - что addons, что сервер. Да, оно запаковано в пакет, но пользы от этого совершенно никакой.
	Ответить | Правка | Наверх | Cообщить модератору

	152. "Эксперимент по выявлению уязвимостей во FreeBSD при помощи P..."	+/–
	Сообщение от Michael Shigorin (ok), 08-Апр-17, 18:56
	> "майнтейнер" - обычный мидсаммер стьюдент, ничего он о дистрибутиве не знает Зависит. > Они и о собираемой программе чаще всего не знают нишиша. Вот это более обычное дело, если человек не разработчик собираемой программы или не применяет её давно и плотно. > Ну и еще сбоку приглядывают товарищи постарше, но в основном они смотрят, > чтоб он те скрипты не поотключал нахрен ради простоты достижения результата. Кое-где местами можно хоть понаотключаться, просто в репозиторий не пройдёт ;-)
	Ответить | Правка | Наверх | Cообщить модератору

	172. "Эксперимент по выявлению уязвимостей во FreeBSD при помощи P..."	–1 +/–
	Сообщение от пох (?), 10-Апр-17, 15:07
	>> "майнтейнер" - обычный мидсаммер стьюдент, ничего он о дистрибутиве не знает > Зависит. тот который знает (за пределами наспех прочитанных методичек) - уже давно эффективный менеджер, у него нет времени самому собирать сложные пакеты >> Они и о собираемой программе чаще всего не знают нишиша. > Вот это более обычное дело, если человек не разработчик собираемой программы или не > применяет её давно и плотно. напоминаю, первые выдернутые из моей памяти примеры: virtualbox, oracle (представим, что оракл вдруг осенился великой благодатью и лично кому-то из ваших майнтейнеров отдал схему сборки). Применяя то и другое давно и плотно, ты по прежнему очень плохо будешь представлять себе, как оно устроено внутри. И если с первым еще при желании (а откуда оно возьмется?) разберешься (хотя правильней для дистрибутива потратить это время на разборки с его http-интерфейсом, кластеризацией и 3d-party мордами, чтобы это все уинтегрировать правильно - пользователи оценят), то второе - полный тупик, не бывает таких людей. с проектами уровня llvm (с которого начался разговор) - ну я вот видел один раз в _одном_ дистрибутиве майнтейнера, который понимал как работает (сборка, а не как вызывать уже кем-то собранный) gcc в деталях, но это было давно, ему наверняка давно уже  надоело. К тому же, это его великое понимание вовсе не принесло тому дистрибутиву пяток разных gcc, переключающихся alternatives. Странно, почему?
	Ответить | Правка | Наверх | Cообщить модератору

	174. "Эксперимент по выявлению уязвимостей во FreeBSD при помощи P..."	–2 +/–
	Сообщение от Michael Shigorin (ok), 10-Апр-17, 15:46
	>>> "майнтейнер" - обычный мидсаммер стьюдент, ничего он о дистрибутиве не знает >> Зависит. > тот который знает (за пределами наспех прочитанных методичек) - уже давно > эффективный менеджер, у него нет времени самому собирать сложные пакеты Зависит... но народ продолжаем набирать, да. > напоминаю, первые выдернутые из моей памяти примеры: virtualbox У нас и его текущий майнтейнер весьма лазит внутрь, и предыдущий (который из проекта никуда не девался, но последний год или около того ударно занимается самбовыми потрохами). > И если с первым еще при желании (а откуда оно возьмется?) разберешься (хотя правильней > для дистрибутива потратить это время на разборки с его http-интерфейсом, кластеризацией > и 3d-party мордами, чтобы это все уинтегрировать правильно - пользователи оценят) А вот здесь можно и потратить время на FR вида ТЗ при желании.  В идеале бы сразу в bugzilla.altlinux.org, но можно и мне в почту. > с проектами уровня llvm (с которого начался разговор) - ну я вот > видел один раз в _одном_ дистрибутиве майнтейнера, который понимал как работает > (сборка, а не как вызывать уже кем-то собранный) gcc в деталях, > но это было давно, ему наверняка давно уже  надоело. Не буду расхваливать, но у нас его вроде как тоже довольно неплохо понимают; при этом llvm в проекте довольно внимательно занимаются тоже два разных человека. > К тому же, это его великое понимание вовсе не принесло тому дистрибутиву > пяток разных gcc, переключающихся alternatives. Странно, почему? Вспомнилось ещё одно насчёт подзабытого скилла содержания разных gcc на хосте -- у нас так: https://packages.altlinux.org/ru/search?branch=Sisyphus&quer... (от 3.3.4 до 6.3.1 почти со всеми остановками).  Даже для спеков есть обвязка в виде %set_gcc_version, если уж совсем надо.
	Ответить | Правка | Наверх | Cообщить модератору

	176. "Эксперимент по выявлению уязвимостей во FreeBSD при помощи P..."	–2 +/–
	Сообщение от iZEN (ok), 10-Апр-17, 19:51
	>> с проектами уровня llvm (с которого начался разговор) - ну я вот >> видел один раз в _одном_ дистрибутиве майнтейнера, который понимал как работает >> (сборка, а не как вызывать уже кем-то собранный) gcc в деталях, >> но это было давно, ему наверняка давно уже  надоело. > Не буду расхваливать, но у нас его вроде как тоже довольно неплохо > понимают; при этом llvm в проекте довольно внимательно занимаются тоже два > разных человека. LLVM сейчас - часть графической подсистемы *nix. Под него заточена инфраструктура DRM, X.org Server: % pkg info -dr dri-13.0.6,2 dri-13.0.6,2 Depends on     :     libxshmfence-1.2_1     libXxf86vm-1.1.4_1     libXvMC-1.0.10     libXv-1.0.11,1     libXfixes-5.0.3     libXext-1.3.3_1,1     libXdamage-1.1.4_3     libX11-1.6.5,1     expat-2.2.0_1     libdrm-2.4.78,1     llvm39-3.9.1_4 Required by    :     xorg-server-1.18.4,1
	Ответить | Правка | К родителю #174 | Наверх | Cообщить модератору

	177. "Эксперимент по выявлению уязвимостей во FreeBSD при помощи P..."	+2 +/–
	Сообщение от Andrey Mitrofanov (?), 11-Апр-17, 10:49
	> LLVM сейчас - часть >Под него заточена инфраструктура DRM, Тебе-то, понятно, без разницы - натачиваешь свой эпплекомпайлер, но-- > % pkg info -dr dri-13.0.6,2 > dri-13.0.6,2 "DRM" != "DRI"   //https://dri.freedesktop.org/wiki/DRM/#inwhatwaydoesthedrmsup...
	Ответить | Правка | К родителю #176 | Наверх | Cообщить модератору

	178. "Эксперимент по выявлению уязвимостей во FreeBSD при помощи P..."	–1 +/–
	Сообщение от пох (?), 11-Апр-17, 17:17
	> Вспомнилось ещё одно насчёт подзабытого скилла содержания разных gcc на хосте судя по названиям пакетов, скилл таки забыт, просто destdir с некоторыми не совсем приятными последствиями в виде намертво вбитых путей к libgcc/libstdc++, отличающихся от общепринятых. > Даже для спеков есть обвязка в виде %set_gcc_version так вот правильный скилл позволял выбирать компилятор через, сюрприз, CFLAGS! (есть/был такой интересный ключик -V и -b еще. с последним я, правда, не подружился)
	Ответить | Правка | К родителю #174 | Наверх | Cообщить модератору

	156. "Эксперимент по выявлению уязвимостей во FreeBSD при помощи P..."	+1 +/–
	Сообщение от Vkni (ok), 08-Апр-17, 19:37
	> кому должен и когда этот кто-то успел в такие долги вляпаться? Разработчики дистрибутива. В момент создания дистрибутива. > "майнтейнер" - обычный мидсаммер стьюдент, ничего он о дистрибутиве не знает Это в RH, OpenSuse или Debian'е, сборщик потенциально БАЗОВОГО пакета? У вас какие-то дикие представления о современных Линуксах. > Какое, в ^опу, конфигуре? Вас понесло. Вот цЫтата из инструкций по сборке: " Build LLVM and Clang:     mkdir build (in-tree build is not supported)     cd build     cmake -G "Unix Makefiles" ../llvm     make " Т.е. при сборке clang'а используется обычный cmake. Ну он позволяет задавать внешние настройки. В частности, путь к gcc.
	Ответить | Правка | К родителю #151 | Наверх | Cообщить модератору

	173. "Эксперимент по выявлению уязвимостей во FreeBSD при помощи P..."	–1 +/–
	Сообщение от пох (?), 10-Апр-17, 15:31
	>> кому должен и когда этот кто-то успел в такие долги вляпаться? > Разработчики дистрибутива. В момент создания дистрибутива. это вы о ком, о миллионере Марке Эвинге (the guy in red baseball hat)? Ему уже давно похрен ваши проблемы, он вам не должен, хотя нормально на лохах денег поднял. ЛаРош миллионером, кажется, так и не стал, и ушел куда-то в туман, вряд ли он будет вам пересобирать пакеты единственноправильным образом. Кто там был в дебиане, не помню, за неинтересностью, но они вообще ничего не умели. >> "майнтейнер" - обычный мидсаммер стьюдент, ничего он о дистрибутиве не знает > Это в RH, OpenSuse или Debian'е, сборщик потенциально БАЗОВОГО пакета? У вас конечно. Кто ж на совершенно обезьянью работу будет нанимать кого-то более дорогостоящего? И с чего, кстати, 3-d party не-gpl компилятору быть "потенциально базовым пакетом" хотя бы в отдаленной перспективе? > какие-то дикие представления о современных Линуксах. это у вас какие-то фантастические, что ЛаРош лично вам по сей день тщательно собирает пакетики (а он этим и в детстве-то не увлекался, у него три студента были на подхвате) >> Какое, в ^опу, конфигуре? > Вас понесло. Вот цЫтата из инструкций по сборке: я предложил вам глянуть на другой софт, тоже вынужденный определять тип системы, чтобы знать, как ему устанавливаться. Вы, похоже, ни одного слова не поняли, потому что на локалхосте такого не употребляют. > Т.е. при сборке clang'а используется обычный cmake. Ну он позволяет задавать внешние > настройки. В частности, путь к gcc. эти настройки для бутстрэпа в основном, не для работы. впрочем, совершенно неизвестно, как там внутри используется полученная информация - может и никак, или запихивается в крэшдамп/дебагхедеры, чтобы потом проанализировать, кто кривее собирает, убунта или центось. повторяю, для тугоухих: в самой процедуре определения типа дистрибутива ровно тем методом, который является признанным стандартом, ничего неправильного нет.
	Ответить | Правка | Наверх | Cообщить модератору

	179. "Эксперимент по выявлению уязвимостей во FreeBSD при помощи P..."	+/–
	Сообщение от Vkni (ok), 13-Апр-17, 04:47
	> конечно. Кто ж на совершенно обезьянью работу будет нанимать кого-то более дорогостоящего? Чего там нужно такого дорогостоящего в знании того, где находится gcc на платформе? Её достаточно просто использовать. Я понимаю, патчи к этому gcc писать. Что, впрочем, тоже не высшая математика. > И с чего, кстати, 3-d party не-gpl компилятору быть "потенциально базовым пакетом" хотя бы в отдаленной перспективе? А с чего бы и нет? Какие, собственно, препятствия? Для дистрибутива gcc ровно такой же 3-d party. > я предложил вам глянуть на другой софт, тоже вынужденный определять тип системы, чтобы знать, как ему устанавливаться. Ну и? Ещё один пример диковатых людей, пришедших с системы, не обладающей пакетным менеджером и репозитариями. Я же говорю, что типичный ИТшник - человек дремучий. apt-get был ещё в 1998-м, а dselect ещё раньше. Однако же многие до сих пор делают windows-style инсталляшки, тот же Wolfram с Mathematica. Ну что с них взять? Хорошо хоть без вирусов. > Вы, похоже, ни одного слова не поняли, потому что на локалхосте такого не употребляют. Разумеется. За полётом корпоративной мысли тяжело уследить. > эти настройки для бутстрэпа в основном, не для работы. Охххх. > повторяю, для тугоухих: в самой процедуре определения типа дистрибутива ровно тем методом, который является признанным стандартом, ничего неправильного нет. Простите, откуда вы взяли, что /etc/*-release - стандарт? Хочу вас обрадовать, но у меня в дистрибутиве в каталоге /etc есть файл redhat-release. Хотя дистрибутив совсем не RedHat. И на всяких Mandriva'х тоже этот файлик имеется. С вопросами, как этот файл появился, обращайтесь по адресу mike@altlinux.org или тут. Михаил отличную историю расскажет. Длинную и поучительную. Стандартом определения дистрибутива является команда lsb_release. Она да, у меня работает как надо. --------------------------- Вы, честно говоря, утомляете. Михаил, похоже, вас по какой-то причине уважает, наверно, эта причина веская. Ну ладно. Всего Вам доброго, хорошего настроения и здоровья!
	Ответить | Правка | Наверх | Cообщить модератору

	144. "Эксперимент по выявлению уязвимостей во FreeBSD при помощи P..."	+1 +/–
	Сообщение от Аноним (-), 08-Апр-17, 14:26
	А свой PVS clang'ом проверять пробовали? Понимаю, что если и попробуете, результатов мы не увидим, но может быть хоть немножко самоуверенности у Вас убавится.
	Ответить | Правка | К родителю #118 | Наверх | Cообщить модератору

	147. "Эксперимент по выявлению уязвимостей во FreeBSD при помощи P..."	+/–
	Сообщение от Andrey_Karpov (ok), 08-Апр-17, 17:51
	> А свой PVS clang'ом проверять пробовали? Понимаю, что если и попробуете, результатов > мы не увидим, но может быть хоть немножко самоуверенности у Вас > убавится. Это уже было в Симпсонах: https://www.viva64.com/ru/b/0270/ С тех пор ежедневно выполняется анализ с помощью Clang. Но потом за всё время было найдено только 1 или 2 ошибки в новом коде.
	Ответить | Правка | Наверх | Cообщить модератору

	78. "Эксперимент по выявлению уязвимостей во FreeBSD при помощи P..."	+3 +/–
	Сообщение от llolik (ok), 07-Апр-17, 16:51
	> и нафиг комерческий продукт не сдался ни одному опенсурс сообществу И неважно, что народ активно coverity проверяется (ЕМНИП даже linux kernel). Coverity уже не коммерческий продукт? Хоть и опенсоурс дают, при определённых небольших ограничениях, проверять бесплатно.
	Ответить | Правка | К родителю #23 | Наверх | Cообщить модератору

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

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