В ядре FreeBSD выявлено как минимум 40 ошибок с помощью анализатора кода PVS-Studio

......... Вы похоже просто живете в каком-то параллельном мире, где удобно это когда утилита прибита гвоздями к какой-то одной конкретной неудобной(для многих пользователей GNU/Linux) кривой IDE и работает только в виндах. ......... и т.д.

Дискуссия начинается длинная и неинтересная. Вы нас не убедите, поскольку у нас есть другое видение и представление о продукте, который мы делаем. Оно не совпадает с Linux-way. Хорошо или плохо это, я не знаю. Но поскольку наша команда и доходы растут, пожалуй, мы движемся все-таки в верном направлении. Прошу прощения, но разрешите отклонится. Можно написать много текста по каждому пункту, но в этом нет смысла. Каждый останется всё равно при своём мнении о правильно устроенном мире :).

Вы нас не убедите, поскольку у нас есть другое видение и представление о продукте, который мы делаем. Оно не совпадает с Linux-way.

Ну если она не совпадает с UNIX-way (это совершенно очевидно) то на что тут пиар вашего продукта, если большинство из здешних обитателей не пользуются Windows и Visual Studio как средой разработки? Это примерно как пытаться продать в Африку снегоуборочные машины, не находите?

разрешите отклонится.

Отличная опечатка.

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

Можно ссылку?

надеюсь не хеловорлды по калашникову в винде? если демосцена или железки, то гуд)

нашел за того анона умею в С. удалёнка. запасайся попкорном

Под VAX ассемблер писал и запускал в эмуле, под x86 под дос в реалмоде рисовал на 320x200 разрешении через INT 10H переключал, но на демосцену это не тянет совешнено.

Жду новой новости: «Мы проанализировали код ОС Windows 10».
Можете прям здесь отписаться! Будет очень интересно!

Да, кстати, по поводу самой статьи. Процитирую

mfi_tbolt_adp_reset(struct mfi_softc *sc)
{
  ....
  for (i=0; i < 10; i++) {
    for (i = 0; i < 10000; i++);
  }
  ....
}

Этот небольшой код скорее всего используется для создания задержки, только суммарно тут выполняется 10000 итераций, а не 10*10000, тогда зачем использовать два цикла?

Это НЕЛЬЗЯ использовать для создания задержки, компилятор такой код при оптимизации выбрасывает т.к. он ничего полезного не делает.

https://svnweb.freebsd.org/base/head/sys/dev/mfi/mfi_tbolt.c?view=markup&... вот собственно ссылка на ту самую функцию. Если уж делать такое, надо в такой цикл всовывать «холостую» ассемблерную вставку. Есть еще подозрения что они это компилируют с какими-то особыми опциями "-не-выбрасывать-бесполезные-циклы" но я во-первых сомневаюсь что такая опция есть, во-вторых это очень и очень плохо, полагаться на конкретное поведение конкретного компилятора

на большинстве файлов этого драйвера стоит копирайт индуса из lsi, странно что на этом нет :) ну да ладно. ты прав, такой код бесполезен. в цикле должен быть разрешенный вид слипа, и чтение из регистра железки с проверкой, при успешном выполнении условия выход из цикла. разумеется такой бизи вейт дозволяется только при первичной инициализации, на этапе загрузки ос.

Мы работаем только с компаниями. Для них запрос цены является нормальным, привычным процессом.

Ага. С помощью таких игр с ценами очень легко играть на откатах. Знаю по фирмам торгующим штатовской спецтехникой.

у нас есть другое видение и представление о продукте, который мы делаем. Оно не совпадает с Linux-way.

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

что это? как предлагаешь понимать ссылку на архив?

слив засчитан, ололо)

Во Фрибсд коммитят только лучшие программисты, да?

Жду новой новости: «Мы проанализировали код ОС Windows 10».

Ну Windows вряд ли нам кто-то даст проверить. А даже если такое и случится, то статью мы про это не напишем. А вообще мы очень любим проверять проекты Microsoft. Эти проекты качественны и найти в них что-то, хорошее достижение и хорошая реклама PVS-Studio.

Вот наши проверки С++ проектов:

• Проверка проекта Computational Network Toolkit (CNTK): http://www.viva64.com/ru/b/0372/
• ChakraCore: analysis of JavaScript-engine for Microsoft Edge: http://www.viva64.com/ru/b/0370/
• Проверка проекта CoreCLR: http://www.viva64.com/ru/b/0310/
• Проверка Windows 8 Driver Samples: http://www.viva64.com/ru/b/0199/
• Занимательная археология. Проверка Microsoft Word 1.1a: http://www.viva64.com/ru/b/0245/
• А ещё мы находили ошибки в библиотеках Visual C++: http://www.viva64.com/ru/b/0163/ , http://www.viva64.com/ru/b/0288/
• Впрочем, нам далеко не всегда удается написать статью про ошибки, после проверки проектов от компании Microsoft. Не зря Microsoft славится ответственным подходом к разработке программного обеспечения и качественным кодом. Например, в проекте Casablanca я нечего не нашёл: http://www.viva64.com/ru/b/0189/

Вот наши проверки С# проектов:

• Analysis of .NET Core Libraries (CoreFX): http://www.viva64.com/ru/b/0365/
• Проверка .NET Compiler Platform (Roslyn), приуроченная к выходу первой версии PVS-Studio, в которой был поддержан анализ C# проектов: http://www.viva64.com/ru/b/0363/
• Analysis of Microsoft Code Contracts: http://www.viva64.com/ru/b/0361/
• Не наша статья, но на туже тему. Проверка проекта Microsoft Orleans: http://shcherbak.me/post/139216516264/checking-microsoft-orleans-with-pvs-studio-for-fun

Здесь уже поднимался вопрос, что Microsoft приобретал PVS-Studio. Предвижу вопрос «Как же так, почему они ещё не проверили эти проекты с помощью PVS-Studio?». Поясняю. Мы продали не какую-то мега лицензию на весь Microsoft. А просто версию для какой-то одной команды, которая заинтересовалась. Так что можно делать продажи в эту компанию вновь и вновь. И мы стараемся это сделать. :)

проекты Microsoft. Эти проекты качественны и найти в них что-то, хорошее достижение
Не зря Microsoft славится ответственным подходом к разработке программного обеспечения и качественным кодом

аххахах ты что делаешь, прекрати

если все так, то это microsoft не помогает, подводят неудачные архитектурные решения, нестабильность работы их продуктов

да ему не в программистом, а маркетологом в гитхаб идти после школы

maxcom, ты новость не в тот раздел поместил. надо вот сюда www.linux.org.ru/news/commercial/ не благодари

Раз взялись за С# - следующий логичный шаг это Java?

Раз взялись за С# - следующий логичный шаг это Java?

Пока рано про это думать. В начале ещё надо завоевать C# разработчиков.

Не зря Microsoft славится ответственным подходом к разработке программного обеспечения и качественным кодом.

Вообще-то Microsoft славится ровно обратным.

главное, чтобы не хаскель. а то им штангой по лобешнику влетит. нефиг работу ghc дублировать

Вы еще это, сделайте статический анализатор для ассемблера, ну чтобы он проблемные места с оптимизацией в компиляторе ловил, наподобии https://gcc.gnu.org/bugzilla/show_bug.cgi?id=68027 https://gcc.gnu.org/bugzilla/show_bug.cgi?id=27663

А то мне вот приходится вручную код просматривать на предмет этого. А всякие там плюсы, сишарпы... неинтересно :)

Пока рано про это думать

А чо там думать? Ява - тот же шарп, только проще. Раз осилили второе, значит у вас уже всё есть для первого.

Еще, кстати, интересна сравнительная статистика: сколько ошибок находится в проектах на C++, сколько - на C#.

Конечно, с поправкой на то что шарпом (вроде) только недавно начали заниматься.

А даже если такое и случится, то статью мы про это не напишем.

Что так?

Что так?

Будет подписана пачка документов, на что мы не имеем права. :)

Ну ОК! Пиарти дальше FreBSD. Я рад за вас. Честное слово. Для FreeBSD это только на пользу. Может сами потом будете ей пользоваться. Система хорошая, хоть и нашли вы в ней ошибки в коде.

кто это?

Демон из вселенной Ктулху.

Оно не совпадает с Linux-way.

Тогда, спрашивается, что вы тут делаете?

и доходы растут, пожалуй, мы движемся все-таки в верном направлении.

Вот и вся сущность мелкого буржуа...

А вы таки коммунист?

Эти проекты качественны и найти в них что-то, хорошее достижение и хорошая реклама PVS-Studio.

Чувак, ты вообще отдаешь себе отчет в том, ГДЕ ты это пишешь? Ты понимаешь, что выставляешь свою контору неадекватом на весь ЛОР?

А что не так? Я видел (анализировал) код многих открытых и ряд закрытых проектов. Я и могу судить и сравнивать. Так вот, качество кода Microsoft находится на высоком уровне. Исключение, пожалуй, составляют только Windows 8 Driver Samples. Видимо они делались по остаточному принцыпу.

Так вот, качество исходников Microsoft на высоком уровне. Например, если сравнивать, с ReactOS, то колоссальная разница (не в пользу ReactOS :).

не хороший Вы человек.

Вы не в курсе, как анализаторы используются, да?

«Я видел (анализировал) код многих открытых и ряд закрытых проектов. Я и могу судить и сравнивать.» Haiku OS на каком уровне?

Не, я только завтра родился. Анализаторы далеко не все умеют. К тому же у меня не было цели анализировать код на предмет ошибки. Ошибки я нашел случайно.

А что не так?

То, что ты постишь свою рекламу на сайт про лялех. Заявляешь что линукс-вей говно. Потом гооворишь что в открытых проектах код вообще хуже и MS молодцы.

Адекватные люди идут с таким сразу на винфак.

Здесь уже поднимался вопрос, что Microsoft приобретал PVS-Studio. Предвижу вопрос «Как же так, почему они ещё не проверили эти проекты с помощью PVS-Studio?». Поясняю. Мы продали не какую-то мега лицензию на весь Microsoft. А просто версию для какой-то одной команды, которая заинтересовалась. Так что можно делать продажи в эту компанию вновь и вновь. И мы стараемся это сделать. :)

Да хватит тут пиарить свой продукт. Лучше откройте исходники...

Не понимаю батхерта местных пузожителей. Человек принес пользу - нашел сомнительные места в коде FreeBSD. Почему бы ему в связи с этим немного не попиариться? Словно от вас убудет.

Это ЛОР, тут ненавидят всё.

«Я видел (анализировал) код многих открытых и ряд закрытых проектов. Я и могу судить и сравнивать.» Haiku OS на каком уровне?

По моим ощущениям - средний вариант.

Не, я только завтра родился. Анализаторы далеко не все умеют. К тому же у меня не было цели анализировать код на предмет ошибки. Ошибки я нашел случайно.

Я думаю, намекали на другое. Статический анализ следует использовать регулярно. Разовые проверки бессмысленны. Никакой пользы, только пшик. Они годятся разве только для того, чтобы порекламировать инструмент. Что мы собственно и делаем.

Да хватит тут пиарить свой продукт. Лучше откройте исходники...

Не понятно, что это может дать нашей компании.

на винфак

на sql.ru тоже это любят

Я думаю, что мы принесли пользы открытому сообществу больше, чем все местные анонимы. :)

Помимо проверки множества проектов, мы ещё и нередко дарим ключ открытым бесплатным проектам.

Если подарите ключ FreeBSD - будет вообще прекрасно.

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

Помимо проверки множества проектов, мы ещё и нередко дарим ключ открытым бесплатным проектам.

Открою вам секрет, те кто участвуют в открытых проектах крайне негативно относятся к проприетарщине, так что ограничиваются cppcheck.

Cppcheck унылое говно и ничего не находит, тот же gcc или clang даёт в разы больше замечаний