Facebook открыла код статического анализатора Infer для Java, Objective-C и C
3Иллюстрация с сайта Fbinfer.Com
Интернет-гигант Facebook объявил об открытии исходного кода программного продукта, использовавшегося внутри компании для верификации кода, — Infer.
В сентябре 2013 года Facebook купила стартап Monoidics, который специализировался на верификации кода и разрабатывал статический анализатор Infer. Он написан на OCaml и поддерживает три языка программирования: Java, Objective-C и C. На сегодняшний день в Facebook используют Infer для «верификации избранных свойств каждого изменения кода в мобильных приложениях». К последним относятся основные приложения Facebook для Android и iOS, а также Facebook Messenger, Instagram и другие.
Из доклада Facebook (PDF), приуроченного к открытию кода Infer: «Мы обнаружили, что верификация может быть эффективной, если при её использовании учитывать, когда и почему программисты ждут обратной связи. Infer запускается на каждом diff — изменении кода, представленном разработчиком для анализа кода. Каждый день сообщается о множестве багов в diff’ах и они исправляются разработчиками до того, как этот diff будет действительно выкачен на телефоны».
Исходный код Infer опубликован на условиях свободной лицензии BSD и доступен на GitHub. Сайт проекта — fbinfer.com.
Постоянная ссылка к новости: http://www.nixp.ru/news/13469.html. Дмитрий Шурупов по материалам Thenextweb.Com.
Uber открыла код вероятностного языка программирования на Python — Pyro
Открыт исходный код музыкального плеера Shuttle для Android
Kickstarter открывает код своих приложений для Android и iOS
Facebook открыла код JavaScript-фреймворка Relay для приложений на основе React 1
NativeScript — новый фреймворк для создания универсальных мобильных приложений на JavaScript 4 1
В альфа-версии Qt 5.1 появилась поддержка мобильных платформ Android и iOS 3 8
Последние комментарии
- OlegL, 17 декабря в 15:00 → Перекличка 21
- REDkiy, 8 июня 2023 года в 9:09 → Как «замокать» файл для юниттеста в Python? 2
- fhunter, 29 ноября 2022 года в 2:09 → Проблема с NO_PUBKEY: как получить GPG-ключ и добавить его в базу apt? 6
- Иванн, 9 апреля 2022 года в 8:31 → Ассоциация РАСПО провела первое учредительное собрание 1
- Kiri11.ADV1, 7 марта 2021 года в 12:01 → Логи catalina.out в TomCat 9 в формате JSON 1