Чтобы выяснить, сколько ошибок пропускают автоматизированные средства поиска уязвимостей, ученые Нью-Йоркского университета, МТИ и Северо-Восточного университета разработали систему Large-Scale Automated Vulnerability Addition, которая искусственно вносит бреши безопасности в код программы.

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

Программы, модифицированные с помощью LAVA, проверялись с помощью распространенных видов систем поиска ошибок — основанных на методах символьного выполнения и анализа предельных значений. Анализаторы обоих типов находили всего 2% брешей, добавленных LAVA.

До конца лета создатели системы собираются организовать открытый конкурс, в рамках которого разработчикам и исследователям будут предоставляться исходный код программ, «испорченных» с помощью LAVA, и участники должны будут находить как можно больше внесенных системой ошибок. По мнению авторов LAVA, соревнуясь друг с другом таким образом, программисты смогут научиться писать код, менее подверженный уязвимостям.

Zend Framework, набор PHP-библиотек с открытым кодом для создания веб-приложений, обновлен до версии 3. Как утверждают в Zend, при использовании с PHP 5 функции каркаса могут работать вчетверо быстрее, чем в предыдущей версии Zend Framework, а с PHP 7 — еще быстрее.

Поддержка PHP 7 — одна из основных особенностей Zend Framework 3. Еще одной стало подмножество библиотек Expressive, предназначенных для разработки связующего ПО, — многоуровневых систем маршрутизации и обработки HTTP-сообщений.

Каждый репозиторий компонентов теперь в обязательном порядке снабжается документацией; при ее отсутствии размещение компонента разработчиком может быть заблокировано.

Разработка ветки Zend Framework 1 с выходом третьей версии прекращается. С 28 сентября первая версия считается достигшей конца цикла существования, а до этого срока для нее будут выходить только обновления безопасности. Затем исправления ошибок и заплаты будут предоставляться только корпоративным пользователям Zend Server.

Как сообщают в компании Zend, ныне входящей в состав Rogue Wave Software, в новую версию каркаса включены компоненты, которые устанавливались в общей сложности свыше 59 млн раз.

Отладчик Space, разработанный в Массачусетском технологическом институте, пользуется особенностями фреймворка Ruby on Rails, в котором все операции, даже самые простые, заданы в библиотеках. Разработчики Space переписали библиотеки Ruby on Rails таким образом, чтобы реализованные в них операции описывали собственное поведение на логическом языке. В результате интерпретатор Rails превращается в инструмент статического анализа: при запуске программы на Rails с помощью интерпретатора тот генерирует формальное построчное описание работы программы с данными.

Процедуры обращения к данным сопоставляются с логической моделью, которая диктует, какие операции и при каких условиях допускается выполнять. Сравнивая описания, сгенерированные «взломанными» библиотеками, с моделью, Space автоматически определяет, отвечает ли ей программа; если нет, то в ней вероятно присутствие бреши безопасности.

В процессе испытаний на 50 популярных веб-приложениях система нашла 23 не диагностированных прежде уязвимости, причем на анализ отдельно взятой программы у Space ушло не больше 64 секунд.

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

В корпорации уже не особенно рассчитывают на то, что разработчики будут писать приложения для Windows 10 Mobile; вместо этого в Microsoft собираются создавать инструменты, помогающие разрабатывать приложения на любой операционной системе, и надеются, что следствием станет повышение интереса к Windows в целом.

Одной из ключевых инициатив в этом отношении станет бесплатное предложение разработчикам инструментов компании Xamarin, которую Microsoft купила всего несколько недель назад. Инструментарий Xamarin позволяет разрабатывать приложения для iOS и Android на C#, языке программирования, созданном в Microsoft.

По мнению аналитика Патрика Мурхеда, известие о Xamarin имеет важное значение для предприятий, для которых будет весьма полезной возможность писать приложения на одном языке и развертывать на трех разных платформах.

Трудно судить, заинтересуют ли инструменты Xamarin разработчиков потребительских приложений, которые во многих случаях создаются для iOS и Android на «родных» языках этих платформ.

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

По мнению аналитика IDC Эла Хилвы, в Microsoft хотят, чтобы средства разработки стали для программистов чем-то сродни тому, чем приложения Office являются для офисных сотрудников: «Я имею ввиду, что в Microsoft надеются предложить инструментальную цепочку, которой будут отдавать предпочтение при кросс-платформенной разработке, в том числе для мобильных, облачных сред и т. д. Цель амбициозная, но в Microsoft уже двигаются к ней, строя мультиплатформенную экосистему. Учитывая историю взаимоотношений Microsoft с разработчиками, можно предположить, что шанс на успех есть».

Еще одно новшество, представленное Microsoft, — набор технологий Bot Framework. Он помогает в создании веб-сервисов, способных общаться с людьми и выполнять действия по их просьбе. Bot Framework работает на различных мобильных платформах и интегрируется с популярными приожениями для чата, включая Telegram, GroupMe, Skype и Slack, причем из перечисленных только два принадлежат Microsoft.

План Microsoft в том, чтобы предлагать разработчикам инструменты, поощряющие к использованию облачных сервисов корпорации. В составе фреймворка есть инструментарий для создания чат-ботов Bot Toolkit. Он содержит средства взаимодействия с сервисами Azure, в том числе с Language Understanding Intelligent Service, с помощью которого программы могут «понимать» вопросы, заданные в текстовой форме.

Таким образом, выход Bot Framework вписывается в общую стратегию Microsoft в отношении облака Azure, которое позволяет создавать облачные механизмы для мобильных приложений, не обязательно работающих в Windows.

В Microsoft также пытаются поднять интерес к своей платформе разработки, позволяя создавать универсальные Windows-приложения, которые можно запускать не только на традиционном оборудовании, но также на шлеме виртуальной реальности HoloLens, интерактивных досках Surface Hub и игровой консоли Xbox One.

Возможно, столь масштабный подход и приведет к тому, что разработчики начнут переносить приложения на ПК и планшеты с Windows 10, и даже на малопопулярные сегодня устройства с Windows 10 Mobile.

Эдвард Йордан был одним из наиболее авторитеттных специалистов по принципам разработки программного обеспечения, консультантом и автором 26 книг, в том числе нескольких бестселлеров по практике программирования, включая «Структурные модели в объектно-ориентированном анализе и проектировании», «Смертельный марш. Полное руководство для разработчика программного обеспечения по выживанию в безнадежных проектах», и многочисленных статей в научных и популярных журналах, включая Computerworld. В 1997 году был принят в Зал славы Компьютерного музея в Сан-Диего. Широко известен как разработчик метода структурного системного анализа, получивший известность как метод Йордана, а также как соавтор методологии объектно-ориентированного анализа Коуда-Йордана.

Йордон обладал широкими интересами. Еще в 1993 году, когда мало кто задумывался об аутсорсинге и перемещении рабочих мест программистов за пределы США, Йордан написал о перспективах этого в книге «Закат и падение американского программиста». Он писал и об известной «проблеме 2000 года» — неспособности многих компьютерных систем различить даты 1900-го и 2000 года. Хотя никаких катастроф, вопреки предсказаниям, не произошло, впоследствии Йордан отметил часто упускавшееся из виду обстоятельство: огромные расходы на проверку программного кода при подготовке к наступлению 2000 года. Многие организации, писал он, потратили на это в два-три раза больше, чем планировалось.

Йордон закончил Массачусетский технологический университет в 1965 году. В 1987 году он начал издавать журнал American Programmer, который в 1997 году перешел к исследовательской компании Cutter Consortium и в настоящее время выходит под названием Cutter IT Journal.