Социальная сеть 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/