Сборники трудов ИСП РАН


Автоматический поиск ошибок синхронизации в приложениях на платформе Android.

В.П. Иванников, С.П. Вартанов, М.К. Ермаков.

Аннотация

В данной статье рассматривается задача автоматического поиска ошибок синхронизации при проведении динамического анализа приложений в рамках платформы Android. Приводится теоретический обзор существующих методов проведения подобного анализа, затем рассматриваются основные особенности приложений платформы Android с точки зрения применения данных методов. Приводится обзор существующих инструментов для анализа компонентов Android-приложений как в нативном кода на языке Си, так и реализованных на языке Java. Также в статье описан механизм обнаружения ошибок синхронизации, используемый инструментом динамического анализа байт-кода Coffee Machine и его основные аспекты: инструментирование, генерация трассы отношений предшествования и использование инструмента ThreadSanitizer Offline для обнаружения состояния гонок по сгенерированной трассе для платформы Android.

Ключевые слова

динамический анализ, поиск ошибок синхронизации, Android

Издание

Труды Института системного программирования РАН, том 24, 2013, стр. 191-206.

ISSN 2220-6426 (Online), ISSN 2079-8156 (Print).

DOI: 10.15514/ISPRAS-2013-24-10

Полный текст статьи в формате pdf Вернуться к содержанию тома