Facebook приобрел технологию Monoidics

Социальная сеть Facebook приобрела технологию автоматизированной проверки программного кода Monoidics. Стартап, основанный в 2009 году, разрабатывает системы анализа и верификации программного кода. По словам представителей Facebook, технология Monoidics будет внедрена в процесс разработки мобильных приложений для социальной сети.

Сервис Monoidics Infer Static Analyzer позволяет разработчикам создать работающий код программы, оптимизированный для безопасности и экономии памяти. Определение ошибок переводится сервисом в математический алгоритм, который проверяет приложение на возможные «утечки памяти» или некорректные указатели. Он работает на приложениях любого размера и отмечает уже проверенные фрагменты кода, что избавляет от необходимости повторного сканирования позже.

Второй сервис — Monoidics X-Ray, отмечает области, в которых найдены ошибки, таким образом, облегчая отладку приложений.

Среди клиентов Monoidics —  ARM, Airbus и Mitsubishi Electric.

По материалам http://techcrunch.com/2013/07/18/facebook-monoidics/

subscribe

Подпишитесь на рассылку SearchEngines

Google представил «облачный» принтер Google Cloud Print для Windows

Google анонсировал запуск нескольких новых инструментов «облачного» принтера Google Cloud Print для операционной системы Windows: Cloud Printer и Cloud Print Service

Как и зачем создавался Яндекс.Dialer для Яндекс.Shell

Как мы уже сообщали, чуть больше года назад Яндекс представил новую 3D-оболочку для планшетов под управлением Android - Яндекс.Shell

Yahoo приобрела технологию анализа социальных медиа Ztelic

Интернет-пионер Yahoo приобрел китайскую компанию Ztelic, которая предоставляет своим пользователям технологию анализа данных из социальных медиа

Google ведет переговоры о лицензировании прав на телевизионное вещание

Google присоединился к ряду крупных технологических компаний, разрабатывающих он-лайн версию платного телевидения

Twitter включил цензуру

Twitter выпустил новую версию приложений для iOS и Android, в которой включил цензуру материалов «для взрослых»

Мобильный сегмент аудитории Facebook вырос на 20%

Обращаясь к брендам, заинтересованным в рекламе в социальных медиа в отпускной период, представители социальной сети Facebook рассказали о росте мобильного сегмента аудитории