Рубрика «открытый код» - 2

PVS-Stusiop and ICQЯ не могу пройти мимо открытых исходников мессенджера ICQ. Это культовый проект, и когда исходные коды появились на сайте GitHub, вопрос, когда мы проверим его с помощью PVS-Studio, стал лишь вопросом времени. Конечно, у нас много и других интересных проектов, ждущих проверки. Например, недавно мы проверили GCC, GDB, Mono. Теперь наконец очередь дошла и до ICQ.

ICQ

ICQ (от англ. I seek you) это централизованная служба мгновенного обмена сообщениями, в настоящее время принадлежащая инвестиционному фонду Mail.ru Group. Количество пользователей ICQ снижается, но всё равно это приложение крайне популярно и широко известно среди IT-сообщества.

ICQ по меркам программистов является маленьким проектом. Я насчитал в нём 165 тысяч строк кода. Для сравнения, голое ядро анализатора PVS-Studio для анализа C++ кода реализуется с помощью 206 тысяч строк кода. Голое C++ ядро анализатора — это точно маленький проект.

Из интересного стоит отметить маленький процент комментариев. Утилита SourceMonitor утверждает, что в исходных кодах ICQ только 1,7% cтрок являются комментариями.

Исходники ICQ доступны для скачивания на сайте github: https://github.com/mailru/icqdesktop.
Читать полностью »

Arduino LLC и Arduino SRL вновь объединились - 1

1 октября в официальном блоге Arduino LLC появилась запись о том, что организация объединяется с Arduino SRL. Ранее Arduino LCC и Arduino SRL уже сотрудничали.

Организация Arduino LLC была основана в 2008 году и является собственником торговой марки «Arduino». Основой же Arduino SRL является итальянская компания Smart Projects SRL, на заводе которой производились оригинальные платы Arduino. Достаточно долгое время организации сотрудничали между собой. Arduino LLC разрабатывала платы и IDE, а Arduino SRL (Smart Projects SRL) занимались производством, отчисляя роялти за использование товарного знака американскому разработчику.
Читать полностью »

Да, 10000 ошибок!С целью популяризации методологии статического анализа в целом и анализатора PVS-Studio в частности мы регулярно проверяем различные открытые проекты. Найденные в них баги отлично демонстрируют, что никто не застрахован от опечаток, невнимательности и других ошибок. Именно никто, и подтверждения тому мы находим в таких проектах, как Microsoft Code Contracts, Qt, ядро Linux, CryEngine, VirtualBox, LibreOffice, Firefox, Boost, Tor и так далее. На данный момент нами проверено 262 проекта. И вот свершилось, мы нашли и выписали в базу 10000 багов.
Читать полностью »

PVS-Studio спешит на помощь CERNПроект Geant4 продолжает развиваться, поэтому интересно вновь проверить его с помощью статического анализатора кода PVS-Studio. На этот раз проверке будет подвергнута версия 10.2 (предыдущая проверка относилась к версии 10.0-beta).
Читать полностью »

(Приглашение к совместному проекту с открытым исходным кодом)

Зачем люди пишут игровых ботов? – Можно назвать много возможных причин, одной из них, безусловно, является чисто академический интерес решения сложной задачи AI. В литературе по философии CS и по философии математики программирование неоднократно сравнивалось с альпинизмом. Трудно сказать, кто первый сделал такое сравнение. На наш взгляд, оно очень подходит и к нашему случаю, поэтому, рискуя показаться не оригинальными, все же сделаем утверждение: написание нетривиального бота для программиста – такой же вызов, как покорение вершины для альпиниста. Чем недоступнее вершина – тем сильнее желание ее покорить. Поэтому, прежде всего, нужно выбрать действительно достойную вершину в интересном горном массиве. Одним из таких массивов со множеством сложных, никем пока не покоренных вершин, является игра "Космические Рейнджеры 2 HD: Революция" (КР2) — продолжение серии игр "Космические Рейнджеры" (КР). Читать полностью »

За 3 года Федеральная служба судебных приставов (ФССП) потратила 21 миллион рублей на внедрение и сопровождение свободного дистрибутива Linux (19 млн), а также обучение администраторов (2 млн).

GosLinux – ПО с открытым кодом, которое ведомство внедряло в период с 2013 по 2015 год. Удельная стоимость одной инсталированной версии этой ОС сейчас составляет менее 1,5 тысяч рублей, рассказала замдиректора ФССП Татьяна Игнатьева в Администрации Президента РФ на рабочем совещании по вопросам импортозамещения.

GosLinux — специально созданный по требованиям ФССП типовой дистрибутив Linux со встроенными средствами защиты информации. Его разработка велась в течение 2013 года на базе дистрибутива CentOS 6.4, который в свою очередь, основан на коммерческом дистрибутиве Red Hat Enterprise Linux. Разработчиком дистрибутива выступила компания «Ред софт», победившая в марте 2013 года в конкурсе на доработку, внедрение и сопровождение подсистем АИС ФССП. Сумма госконтракта составила 118,15 миллионов рублей.Читать полностью »

Искусство управления глобальной компанией без обычных атрибутов корпоративной жизни

image
Мэтт Малленвег

Даже если вы не знаете, что такое блог-платформа WordPress или не используйте её, чтобы размещать какой-то контент в Интернете, всё равно, весьма вероятно, что в последние 24 часа вы посетили какой-то веб-сайт, который работает на этой платформе.
Это определяется тем, что WordPress — система управления содержимым сайта с открытым исходным кодом — лежит сейчас в основе ошеломительного количества веб-сайтов в мире — 25 %!
Я недавно разговаривал с Мэттом Малленвегом — создателем платформы WordPress и гендиректором компании «Automattic», предлагающей большое количество продуктов и сервисов для пользователей WordPress.
«Automattic» оценивается в настоящее время более чем в 1 млрд. долларов.
Мэтт присоединился ко мне для подробного разговора на моей интернет-радиостанции, в ходе которого он поделился своим желанием вовлечь в свою сферу 75 % Интернета, которыми WordPress пока не управляет.
Он также объяснил, как его команда из 400 сотрудников работает, в основном, дома или в используемых совместно офисах в 43 странах и опирается почти полностью на внутреннюю блог-платформу для коммуникации и сотрудничества, не применяя электронную почту.
Ниже приведены выдержки из моей беседы с Мэттом; целиком эту беседу можно прослушать на моей интернет-радиостанции.
Читать полностью »

Новая ICQ для Windows, открытый код и кое-что еще - 1

В ноябре 2015 года мы вспоминали, как менялся интерфейс Аськи. Сегодня мы выпустили новую версию для Windows, внешность которой была полностью переработана. ICQ обрела минималистичный интерфейс и стала очень похожа на свою мобильную инкарнацию. А кроме того — тадам! — мы открыли исходный код приложения, потому что использовали для создания новой версии кроссплатформенный инструментарий Qt.
Читать полностью »

Проверяем Microsoft Code Contracts - 1

Мы успешно создали и продолжаем развивать анализатор PVS-Studio для языка C/C++. Со временем стало понятно, что многие из реализованных диагностик никак не связаны с конкретным языком программирования, и тогда мы решили попробовать применить свой опыт к другому языку программирования, к C#. В данной статье будет рассказано о проверке проекта Code Contracts от Microsoft с помощью нового C# анализатора.

О проекте MS Code Contracts

Code Contracts предоставляют метод, с помощью которого выражаются предположения о коде программы в .NET приложениях. Контракты принимают форму предусловий, постусловий и инвариантов объекта, и выступают в роли проверенной документации ваших внешних и внутренних API. Контракты используются для того, чтобы улучшить процесс тестирования с помощью проверки во время выполнения программы, позволяя проводить статическую верификацию контрактов и генерацию документации.
Читать полностью »

На сайте GitHub можно разместить открытый код своей программы, после чего к разработке могут присоединиться другие пользователи. На сайте можно взять необходимые фрагменты кода для создания нового IT-продукта и доработать их, сокращая время разработки продукта. GitHub часто называют социальной сетью для программистов и разработчиков.

24 сентября компания GitHub представила новый Open Source-продукт Classroom, предназначенный для обучения разработке ПО.

Глава GitHub Крис Ванстрас рассказал РБК о будущем разработки ПО, о бизнес-модели сервиса, о его географии, о новых продуктах и образовательных проектах.Читать полностью »


https://ajax.googleapis.com/ajax/libs/jquery/3.4.1/jquery.min.js