Survey on Formal Methods in Robotics
Dmitry Mordvinov, Yu.V. Litvinov · St Petersburg State Polytechnical University Journal Computer Science Telecommunications and Control Systems · 2016
статья посвящена возможностям применения статического инструментирования исполняемых файлов и файлов динамических библиотек в формате elf для проведения динамического анализа программ.Проведен обзор существующих решений в данной и смежных областях.Предложен подход к обработке бинарных файлов arM elf.Описаны основные особенности предлагаемого подхода: разметка целевых файлов и генерация внедряемого кода на основе пользовательских спецификаций, использование промежуточного языка описания инструкций ассемблера arM, компоновка итоговых инструментированных файлов исполняемого кода.Приведены результаты применения реализации данного подхода для создания модулей трассировки помеченных данных, используемых в рамках инструмента автоматического поиска дефектов avalanche.дИнамИческИй аналИз; бИнаРнОе ИнстРументИРОванИе; аРхИтектуРа arM.dynamic program analysis methods are widely used in a broad range of activities related to software development; practical implementations of dynamic analysis rely on various code transformation and monitoring techniques. in this paper we focus on one of these techniques, static binary code instrumentation.we provide an overview of the existing tools implementing this technique and show that there are no tools directly applicable to our platform of choice, i.e., arM/linux and elf binary format.we present an approach to perform static binary instrumentation for the platform in question and describe in detail the following points: user-specified instrumentation code and insertion point mapping; intermediate instruction representation used in instrumentation engine; code insertion process; offset correction process.finally we describe a set of practical experiments of applying static binary instrumentation to avalanche, a dynamic program analysis tool performing automatic input generation and bug discovery.