Социальная сеть Facebook приобрела технологию автоматизированной проверки программного кода Monoidics
Стартап, основанный в 2009 году, разрабатывает системы анализа и верификации программного кода. По словам представителей Facebook, технология Monoidics будет внедрена в процесс разработки мобильных приложений для социальной сети.
Сервис Monoidics Infer Static Analyzer позволяет разработчикам создать работающий код программы, оптимизированный для безопасности и экономии памяти. Определение ошибок переводится сервисом в математический алгоритм, который проверяет приложение на возможные «утечки памяти» или некорректные указатели. Он работает на приложениях любого размера и отмечает уже проверенные фрагменты кода, что избавляет от необходимости повторного сканирования позже.
Второй сервис — Monoidics X-Ray, отмечает области, в которых найдены ошибки, таким образом, облегчая отладку приложений.
Среди клиентов Monoidics — ARM, Airbus и Mitsubishi Electric.
