|
|
|
BC/NW 2018 № 1 (32):11.2 ВЫЯВЛЕНИЕ ОШИБОК В КОДЕ ПРОГРАММЫ С ПОМОЩЬЮ СТАТИЧЕСКОГО АНАЛИЗАТОРА Минаев С. А., Д. А. Орлов Д. А. Проблема безопасности становится все более актуальной в связи с растущим объемом разрабатываемого программного обеспечения. Исходные тексты программ зачастую содержат различные ошибки. Эти ошибки приводят к нарушению нормальной работы программы, в том числе они могут являться причиной уязвимостей в программах. Для выявления ошибок в программах широко применяется тестирование, однако, с ростом объема исходного кода программ, тестирование становится более трудоемким. Поэтому для выявления уязвимостей используют различные инструментальные средства, такие как статические анализаторы исходного кода программы [1]. Статический анализ кода — это анализ программного обеспечения, который производится над исходным кодом программ и реализуется без реального исполнения исследуемой программы [2]. Одним из наиболее распространенных классов уязвимостей программного обеспечения являются проблемы безопасности доступа к памяти. Множество программ, от которых требуется высокая производительность, реализованы на языках программирования С и С++, которые допускают ручное выделением и освобождением памяти, а также позволяют не проводить проверку индексов массивов, что может приводить к ошибкам в программах [3]. В данной работе решается задача обнаружения ошибок доступа к памяти за границами массивов. Ошибка выхода за границу массива возникает, если индекс, с помощью которого обращаются к элементам массива, превышает допустимое значение. Согласно стандарту языка C++, поведение программы в этом случае не определено. Для решения поставленной задачи выбран язык программирования С++ и статический анализатор кода Cppcheck, который реализует удобный инструментарий для анализа исходных текстов программ. Предусмотрено проведение разработки модуля для Cppcheck, который будет выявлять ошибку доступа к памяти за границами массивов. Литература 1. URL: www.codenet.ru/progr/other/code-analysers.php 2. URL: www.itweek.ru/security/article/detail.php?ID=156479 3. URL: https://ru.wikipedia.org/wiki/Защита_памяти
ПРЕЗЕНТАЦИЯ ВЫЯВЛЕНИЕ ОШИБОК В КОДЕ ПРОГРАММЫ С ПОМОЩЬЮ СТАТИЧЕСКОГО АНАЛИЗАТОРА Минаев С. А., Д. А. Орлов Д. А.
|
