С целью популяризации методологии статического анализа в целом и анализатора PVS-Studio в частности мы регулярно проверяем различные открытые проекты. Найденные в них баги отлично демонстрируют, что никто не застрахован от опечаток, невнимательности и других ошибок. Именно никто, и подтверждения тому мы находим в таких проектах, как Microsoft Code Contracts, Qt, ядро Linux, CryEngine, VirtualBox, LibreOffice, Firefox, Boost, Tor и так далее. На данный момент нами проверено 262 проекта. И вот свершилось, мы нашли и выписали в базу 10000 багов.
Читать полностью »
Рубрика «открытый код» - 3
Мы нашли 10000 ошибок в различных открытых проектах
2016-08-18 в 12:05, admin, рубрики: bugs, open source, pvs-studio, база ошибок, Блог компании PVS-Studio, открытый код, ошибки в программе, сделаем мир лучше, статический анализ кодаPVS-Studio спешит на помощь CERN: проверка проекта Geant4
2016-07-03 в 16:10, admin, рубрики: c++, CERN, coverity, Geant4, open source, pvs-studio, Блог компании PVS-Studio, открытый код, ошибки в коде, Программирование, статический анализ кода
Проект Geant4 продолжает развиваться, поэтому интересно вновь проверить его с помощью статического анализатора кода PVS-Studio. На этот раз проверке будет подвергнута версия 10.2 (предыдущая проверка относилась к версии 10.0-beta).
Читать полностью »
Первые успехи сложного игрового бота
2016-05-05 в 13:12, admin, рубрики: AI, бот игры, искусственный интеллект, открытый исходный код, открытый код, Программирование, разработка игр, Спортивное программирование(Приглашение к совместному проекту с открытым исходным кодом)
Зачем люди пишут игровых ботов? – Можно назвать много возможных причин, одной из них, безусловно, является чисто академический интерес решения сложной задачи AI. В литературе по философии CS и по философии математики программирование неоднократно сравнивалось с альпинизмом. Трудно сказать, кто первый сделал такое сравнение. На наш взгляд, оно очень подходит и к нашему случаю, поэтому, рискуя показаться не оригинальными, все же сделаем утверждение: написание нетривиального бота для программиста – такой же вызов, как покорение вершины для альпиниста. Чем недоступнее вершина – тем сильнее желание ее покорить. Поэтому, прежде всего, нужно выбрать действительно достойную вершину в интересном горном массиве. Одним из таких массивов со множеством сложных, никем пока не покоренных вершин, является игра "Космические Рейнджеры 2 HD: Революция" (КР2) — продолжение серии игр "Космические Рейнджеры" (КР). Читать полностью »
GosLinux шагает по стране: ФССП сообщила о затратах на внедрение и использование российской ОС
2016-04-29 в 9:12, admin, рубрики: linux, Законодательство и IT-бизнес, импортозамещение по, операционные системы, открытый код, российский софт, свободное поЗа 3 года Федеральная служба судебных приставов (ФССП) потратила 21 миллион рублей на внедрение и сопровождение свободного дистрибутива Linux (19 млн), а также обучение администраторов (2 млн).
GosLinux – ПО с открытым кодом, которое ведомство внедряло в период с 2013 по 2015 год. Удельная стоимость одной инсталированной версии этой ОС сейчас составляет менее 1,5 тысяч рублей, рассказала замдиректора ФССП Татьяна Игнатьева в Администрации Президента РФ на рабочем совещании по вопросам импортозамещения.
GosLinux — специально созданный по требованиям ФССП типовой дистрибутив Linux со встроенными средствами защиты информации. Его разработка велась в течение 2013 года на базе дистрибутива CentOS 6.4, который в свою очередь, основан на коммерческом дистрибутиве Red Hat Enterprise Linux. Разработчиком дистрибутива выступила компания «Ред софт», победившая в марте 2013 года в конкурсе на доработку, внедрение и сопровождение подсистем АИС ФССП. Сумма госконтракта составила 118,15 миллионов рублей.Читать полностью »
Этот директор управляет миллиардной компанией, не имея ни офиса, ни электронной почты
2016-03-21 в 6:40, admin, рубрики: Automattic, P2, slack, бизнес-модели, децентрализованная компания, Карьера в IT-индустрии, открытый код, публикации, Развитие стартапа, стартапы, управление проектамиИскусство управления глобальной компанией без обычных атрибутов корпоративной жизни
Мэтт Малленвег
Даже если вы не знаете, что такое блог-платформа WordPress или не используйте её, чтобы размещать какой-то контент в Интернете, всё равно, весьма вероятно, что в последние 24 часа вы посетили какой-то веб-сайт, который работает на этой платформе.
Это определяется тем, что WordPress — система управления содержимым сайта с открытым исходным кодом — лежит сейчас в основе ошеломительного количества веб-сайтов в мире — 25 %!
Я недавно разговаривал с Мэттом Малленвегом — создателем платформы WordPress и гендиректором компании «Automattic», предлагающей большое количество продуктов и сервисов для пользователей WordPress.
«Automattic» оценивается в настоящее время более чем в 1 млрд. долларов.
Мэтт присоединился ко мне для подробного разговора на моей интернет-радиостанции, в ходе которого он поделился своим желанием вовлечь в свою сферу 75 % Интернета, которыми WordPress пока не управляет.
Он также объяснил, как его команда из 400 сотрудников работает, в основном, дома или в используемых совместно офисах в 43 странах и опирается почти полностью на внутреннюю блог-платформу для коммуникации и сотрудничества, не применяя электронную почту.
Ниже приведены выдержки из моей беседы с Мэттом; целиком эту беседу можно прослушать на моей интернет-радиостанции.
Читать полностью »
Новая ICQ для Windows, открытый код и кое-что еще
2016-03-16 в 14:52, admin, рубрики: ICQ, IM, mail.ru, open source, qt, Блог компании Mail.Ru Group, открытый код 
В ноябре 2015 года мы вспоминали, как менялся интерфейс Аськи. Сегодня мы выпустили новую версию для Windows, внешность которой была полностью переработана. ICQ обрела минималистичный интерфейс и стала очень похожа на свою мобильную инкарнацию. А кроме того — тадам! — мы открыли исходный код приложения, потому что использовали для создания новой версии кроссплатформенный инструментарий Qt.
Читать полностью »
Проверяем Microsoft Code Contracts
2015-12-14 в 15:57, admin, рубрики: .net, C#, code contracts, microsoft, open source, pvs-studio, Visual Studio, Блог компании PVS-Studio, открытый код, разработка под windows 
Мы успешно создали и продолжаем развивать анализатор PVS-Studio для языка C/C++. Со временем стало понятно, что многие из реализованных диагностик никак не связаны с конкретным языком программирования, и тогда мы решили попробовать применить свой опыт к другому языку программирования, к C#. В данной статье будет рассказано о проверке проекта Code Contracts от Microsoft с помощью нового C# анализатора.
О проекте MS Code Contracts
Code Contracts предоставляют метод, с помощью которого выражаются предположения о коде программы в .NET приложениях. Контракты принимают форму предусловий, постусловий и инвариантов объекта, и выступают в роли проверенной документации ваших внешних и внутренних API. Контракты используются для того, чтобы улучшить процесс тестирования с помощью проверки во время выполнения программы, позволяя проводить статическую верификацию контрактов и генерацию документации.
Читать полностью »
Глава GitHub рассказал о будущем программирования и новых образовательных проектах компании
2015-10-01 в 9:28, admin, рубрики: github, бизнес-модели, Карьера в IT-индустрии, мировая экспансия, Монетизация веб-сервисов, образовательные технологии, открытый код, Программирование, хостинг-провайдерНа сайте GitHub можно разместить открытый код своей программы, после чего к разработке могут присоединиться другие пользователи. На сайте можно взять необходимые фрагменты кода для создания нового IT-продукта и доработать их, сокращая время разработки продукта. GitHub часто называют социальной сетью для программистов и разработчиков.
24 сентября компания GitHub представила новый Open Source-продукт Classroom, предназначенный для обучения разработке ПО.
Глава GitHub Крис Ванстрас рассказал РБК о будущем разработки ПО, о бизнес-модели сервиса, о его географии, о новых продуктах и образовательных проектах.Читать полностью »
Librem 15, полностью открытый ноутбук с адекватными характеристиками
2015-01-29 в 19:16, admin, рубрики: Librem 15, open source, Purism, Железо, краудфандинг, Ноутбуки, открытый код, ричард столлманКампания проекта собрала требуемую сумму
Librem 15 — это проект ноутбука, который, как заявляют авторы, уважает свободы пользователя. Его программные компоненты полностью свободны. До окончания кампании краудфандингового финансирования осталось примерно 2,5 суток, и Librem 15 уже давно получил необходимое количество средств — более 380 тыс. $ из 250 тыс. $ запрашиваемых.
Сегодня наиболее радикальные поклонники открытого кода вынуждены соглашаться на чаще всего довольно посредственные ноутбуки. К примеру, Ричард Столлман пользуется Lenovo Thinkpad X60 родом из 2006 года — это был первый коммерческий компьютер, который распространялся с открытой операционной системой и открытой программой инициализации. А пойти на уступки и вернуться на машину с несвободным BIOS Столлман не может. Продукт от Purism пытается как обеспечить свободу, так и иметь привлекательные технические характеристики, и это отразилось в его высокой цене.
Читать полностью »
Чему сфера технологий научилась у Линуса Торвальдса
2014-10-06 в 14:16, admin, рубрики: linux, open source, Линус Торвальдс, Медиа, открытый код 
Джим Землин внес лепту в развитие трех крупнейших технологических трендов последнего десятилетия: мобильных вычислений, вычислений в облаке и открытого ПО. Будучи исполнительным директором Фонда Линукс, он применяет свой опыт для ускорения внедрения систем Линукс и поддержки будущего вычислительных систем. Землин сотрудничает с крупнейшими технологическими компаниями в мире, и они вместе формируют будущее вычислений на серверах, в облаке и новых мобильных устройствах.
Землин — признанный в блогосфере автор статей о Линукс и открытом ПО. Его комментарии об изменениях в технологической экономике регулярно цитируют СМИ. Землин также консультирует разнообразные стартапы и входит в руководящие советы таких организаций, как Глобальный Экономический Симпозиум, Открытое ПО для Америки и Китайский Союз в Поддержку Открытого ПО.Читать полностью »