способ определения ошибочного использования памяти

Формула изобретения

Способ определения ошибочного использования памяти, заключающийся в выполнении следующих операций:

шаг 1 - запускают компьютерную систему с требуемой программой и средством мониторинга, выполненным с возможностью сбора всех обращений к памяти во время выполнения программы;

шаг 2 - определяют с помощью средства мониторинга обращение к памяти, при этом извлекают, используя отладочную информацию программы, строку кода, которая запрашивает доступ к данному адресу памяти, и набор переменных, к которым может быть осуществлен доступ при данном обращении к памяти;

шаг 3 - после выполнения программы извлекают, используя информацию об исходном коде, для каждой строки исходного кода набор переменных, к которым возможен доступ;

шаг 4 - определяют ошибки использования памяти путем сравнения результатов выполнения шагов 2 и 3, при этом определяют обращение к памяти как ошибочное в случае, если к области памяти, которая соответствует данной переменной, в данной точке выполнения программы был осуществлен доступ, но в соответствии с исходным кодом доступ к данной переменной невозможен в данный момент выполнения программы.

Описание изобретения к патенту

Изобретение относится к области обработки данных в компьютерных системах, а именно к способам определения ошибочного использования памяти, и может применяться для автоматического определения типичных ошибок памяти (таких как переполнение буфера, включая переполнение буфера внутри структуры и случай, когда два размещенных объекта перезаписываются один на другой; неправомерный доступ и т.д.) в компьютерных программах.

В настоящее время работа по отладке программы, выполняемой в компьютерной системе, становится более и более затратной по времени, поскольку современные компьютерные системы имеют все более и более сложное поведение. Для уменьшения усилий разработчика по отладке программы разработано несколько подходов и способов. Эти способы могут быть разделены на две основные категории: способы статического анализа и способы динамического анализа. Способы обеих категорий могут быть использованы для определения широкого набора проблем. Однако способы каждой категории имеют свои недостатки, которые делают данные способы бесполезными для наиболее распространенных и трудно детектируемых проблем, таких как неверное использование памяти.

Способы динамического анализа основаны на информации, поступающей во время выполнения программы. С помощью этих способов можно легко определить неверные обращения к памяти, которые находятся вне диапазона размещения. Тем не менее данные способы бесполезны в случае ошибок, при которых два размещенных объекта записываются один поверх другого или происходит переполнение буфера внутри размещенной структуры.

Способы статического анализа основаны на исследовании исходного кода. Данные способы не могут обнаружить все проблемы памяти из-за невозможности осуществления достаточно точного анализа потока данных для больших компьютерных систем.

Известен способ определения в реальном времени неправильного использования размещения памяти нулевой длинны (см. выложенную заявку на патент США № 20070136547) [1], в котором описан способ улучшения процесса отладки стандартной программы, которая некорректно выполняет размещение памяти нулевой длины.

Недостаток данного способа заключается в том, что он определяет только размещение памяти нулевой длины, при этом наиболее сложные ошибки доступа к памяти, такие как переполнение буфера и неправомерный доступ к памяти, не могут быть определены данным способом.

В выложенной заявке на патент США № 20080052468 [2] предложен способ определения ошибок переполнения памяти во время выполнения программы. Определение таких ошибок производят за счет защиты памяти, к которой нет доступа из-за «обстоятельств, связанных с переполнением памяти» (доступ к неразмещенной памяти; доступ к стеку памяти, который находится вне области стека и т.д.).

Недостаток данного способа состоит в невозможности определения неверного обращения к памяти, которая размещена (например, в случае, когда объект перезаписывается во время обращения к другому объекту).

Наиболее близким к заявленному изобретению является описанный в выложенной заявке на патент США № 20050144410 [3] способ определения неверного использования памяти, выделенной динамически, который основан на заполнении памяти в хвосте размещенной области определенной величиной и проверке данной величины во время выполнения программы или после окончания ее выполнения. Данный способ выбран в качестве прототипа заявленного изобретения.

Недостатки способа-прототипа заключаются в следующем. Во-первых, он имеет очень узкую область применения: определяет только ошибочное использование памяти, выделенной динамически (сегменты стека и данных не могут быть проверены данным способом). Во-вторых, данным способом можно определить ошибки внутри предопределенной области памяти, но нельзя определить ошибки памяти, если система получает доступ к памяти вне данной области (например, когда объект перезаписывается во время обращения к другому объекту).

Задачей заявленного изобретения является создание более точного способа определения ошибочного использования памяти, в частности, посредством применения средства мониторинга, а именно, за счет использования средства динамического анализа для детектирования обращений к памяти, отладочной информации программы для определения, к какой именно переменной осуществляется доступ при текущем обращении к памяти, и информации об исходном коде программы для определения, к каким именно переменным возможен доступ в данной строке кода.

Технический результат достигается за счет разработки усовершенствованного способа, основанного на совместном применении статических и динамических подходов.

Способ определения ошибочного использования памяти, заключающийся в выполнении следующих операций:

шаг 1 - запускают компьютерную систему с требуемой программой и средством мониторинга, выполненным с возможностью сбора всех обращений к памяти во время выполнения программы;

шаг 2 - определяют с помощью средства мониторинга обращение к памяти, при этом извлекают, используя отладочную информацию программы, строку кода, которая запрашивает доступ к данному адресу памяти, и набор переменных, к которым может быть осуществлен доступ при данном обращении к памяти;

шаг 3 - после выполнения программы извлекают, используя информацию об исходном коде, для каждой строки исходного кода набор переменных, к которым возможен доступ;

шаг 4 - определяют ошибки использования памяти путем сравнения результатов выполнения шагов 2 и 3, при этом определяют обращение к памяти как ошибочное в случае, если к области памяти, которая соответствует данной переменной, в данной точке выполнения программы был осуществлен доступ, но в соответствии с исходным кодом, доступ к данной переменной невозможен в данный момент выполнения программы.

Таким образом, заявленный способ позволяет определить неправильное использование памяти в широком диапазоне, такое как проблема переполнения буфера (включая случай, когда два размещенных объекта записываются один поверх другого или когда происходит переполнение буфера внутри размещенной структуры). В результате выполнения заявленного способа получают исходную строку, когда происходит неправильный доступ к памяти. Используя данную информацию, разработчик может простым способом найти причину неправильного поведения компьютерной системы, которое связано с использованием памяти.

Для лучшего понимания заявленного изобретения далее приводится его подробное описание с соответствующими чертежами.

Фиг.1 - пошаговая схема выполнения способа определения ошибочного использования памяти согласно изобретению по сравнению со способами, известными из уровня техники.

Фиг.2 - схема выполнения способа определения ошибочного использования памяти в компьютерной системе согласно изобретению.

Рассмотрим выполнение заявленного способа в компьютерной системе (Фиг.2), содержащей память 1 и средство мониторинга, выполненное в виде средства 2 динамического анализа (DAT - Dynamic Analysis Tool), которое содержит детектор 3 строки кода (CRD - Code Line Detector), детектор 4 набора реально запрошенных переменных (RAVSD - Real Accessed Variables Set Detector), детектор 5 набора возможных запрошенных переменных (SAVSD), детектор 6 ошибки памяти (MED - Memory Error Detector), базу данных 7 (DB - database) и детектор 8 доступов к памяти.

Запускают компьютерную систему с требуемой программой и средством мониторинга, а именно средством 2 динамического анализа. Собирают информацию об адресах запрошенной памяти 1 во время выполнения программы путем использования средства 2 динамического анализа, при этом в средстве 2 динамического анализа применяют технологию динамической инструментации, которая позволяет перехватывать все обращения к памяти 1 во время выполнения программы. Обычно в подходах динамической инструментации для определения обращений к памяти заменяют все инструкции обращений к памяти на вызов обработчика данного события. Однако заявленный способ может быть применен для любой технологии динамической инструментации, которая позволяет перехватывать все доступы к памяти.

При обнаружении доступа к памяти 1 запрашивают детектор 3 строки кода. Данный модуль извлекает строку кода, в которой запрашивается доступ по данному адресу памяти, путем использования отладочной информации программы. В результате обработки в детекторе 3 строки кода, строку, которая обеспечивает обращение к памяти 1 во время выполнения программы, сохраняют в базу данных 7. Таким образом, в базе данных 7 сохраняют все исходные строки, которые обеспечивают доступ к памяти 1 во время выполнения программы.

Дополнительно, когда определяют доступ к памяти 1, вызывают детектор 4 набора реально запрошенных переменных. Детектор 4 набора реально запрошенных переменных извлекает набор переменных, к которым может быть осуществлен доступ в течение данного обращения к памяти 1, путем использования отладочной информации. В результате обработки в детекторе 4 набора реально запрошенных переменных, исходной строке, обеспечивающей доступ к памяти 1 (на выходе детектора 3 строки кода), сопоставляют ссылку на набор переменных и сохраняют в базу данных 7. В случае доступа к памяти 1, которая не была размещена, список доступных переменных пуст.

На стадии обработки после выполнения программы детектор 5 набора возможных запрошенных переменных получает на вход данные с выхода детектора 3 строки кода (все исходные строки, которые обеспечивают доступ к памяти 1 во время выполнения программы). Для каждой исходной строки детектор 5 набора возможных запрошенных переменных извлекает набор переменных, к которым может быть осуществлен доступ на основе информации об исходном коде. Детектор 5 набора возможных запрошенных переменных использует технологии анализа потока данных для извлечения этой информации (анализ наложения и т.д.). Результатом обработки в детекторе 5 набора возможных запрошенных переменных является набор переменных, доступ к которым может быть осуществлен в соответствии с исходной программой. Результату обработки в детекторе 5 набора возможных запрошенных переменных сопоставляют ссылку на строку исходного кода, которая обеспечивает доступ к памяти 1 (выход детектора 3 строки кода), и сохраняют данный результат в базе данных 7.

Средство 2 динамического анализа вызывает детектор 6 ошибки памяти, обрабатывает каждую строку, которая обеспечивает доступ к памяти 1 и сравнивает два набора: с выхода детектора 4 набора реально запрошенных переменных и с выхода детектора 5 набора возможных запрошенных переменных. Если существует переменная, которая присутствует на выходе детектора 4 набора реально запрошенных переменных, но не присутствует на выходе детектора 5 набора возможных запрошенных переменных, тогда детектор 6 ошибки памяти сообщает об ошибке.

Заявленный способ обладает большей точностью определения ошибок памяти по сравнению с известными способами, основанными на информации, получаемой только во время выполнения программы, или только на информации об исходном коде. Например, следующие ошибки не могут быть определены в случае использования только информации, получаемой во время выполнения программы: переполнение буфера в стеке или в сегменте данных; переполнение буфера в размещенных структурах; два размещенных объекта перезаписывают один на другой. Определение таких ошибок путем применения только анализа статического исходного кода ограничено, поскольку статический анализ исходного кода является NP-полной проблемой.

Заявленный способ имеет только одно ограничение: в случае, если в одной строке исходного кода используют несколько переменных и осуществляют доступ к одной из них, посредством заявленного способа нельзя различить, является ли это ошибочным обращением к памяти или нет. Для преодоления данного ограничения требуется более сложный анализ двоичного и исходного кода.

Следует иметь ввиду, что указанный выше вариант выполнения изобретения был изложен лишь с целью иллюстрации настоящего изобретения, специалистам должно быть ясно, что возможны разные модификации, добавления и замены, не выходящие из объема и смысла настоящего изобретения, раскрытого в прилагаемой формуле изобретения.