Розробка та дослідження статичного аналізатора коду

Abstract

UA : Мета дослідження полягає у вивченні проблем з області статичного аналізу коду, порівнянні існуючих рішень і задач, які вони вирішують, класифікації поширених та слабо-вивчених видів помилок, розробці власного статичного аналізатора для покращення якості вихідного коду та його застосуванні на базі проектів з відкритих систем контролю версій. Досліджено існуючі проблеми з області автоматизованого та статичного аналізу коду. Детально проведено порівняння існуючих рішень і задач, які вони вирішують. Класифіковано знайдені види помилок і обрано найменш вивчені та найбільш важливі області для розробки власного статичного аналізатора. Спроектовано та реалізовано автоматизовану систему аналізу коду, яка в результаті була інтегрована до середи розробки MicrosoftVisualStudio 2017. Розроблена система була успішно застосована до відкритих проектів Github. Доведено позитивний вплив статичного аналізатора на якість вихідного коду програм.

RU : Цель исследования состоит в изучении проблем из области статического анализа кода, сравнении существующих аналогов и проблем, которые они решают, класификации слабо-изученых видов ошибок, разработке собственного статического анализатора для улучшения качества выходного кода и его применении на проэктах из открытых систем контроля версий. Исследовано проблемы из области статического анализа кода. Подробно проведено сравнение существующих аналогов и задач, которые они решают. Классифицированы найденые виды ошибок и сделан выбор на наименее изученых областях для разработки собственного статического анализатора. Реализовано автоматизированную систему анализа кода, которая в результате была интегрирована в среду разработки Microsoft Visual Studio 2017. Разработанная система была успешно применена к открытым проектам Github. Доказано положительное влияние статического анализатора на качество исходного кода.

EN : The aim of the research is to study problems in the field of static code analysis, compare existing analogues and problems they solve, classify common and poorly-studied types of errors, develop own static analyzer to improve the quality of the output code and apply it on projects from open control systems versions. Existing problems from the field of automated and static code analysis were researched. Compared existing analogs and tasks that they solve. Different types of errors were found and classified. The choice was made to target the least studied and most important areas of static analysis, and to develop own static analyzer to improve these areas. An automated code analysis system was designed and implemented, which as a result was integrated into the development environment of Microsoft Visual Studio 2017. The developed system was successfully applied to open projects from Github. The positive influence of the static analyzer on the quality of the program source code is proved.