Метод межпроцедурного и межмодульного анализа кодов программ, написанных на языках С и С++, для построения многоцелевого контекстно-чувствительного анализатора

Разработаны и исследованы новые методы и алгоритмы межпроцедурного и межмодульного анализа для создания на их основе промышленного универсального контекстно-чувствительного анализатора для повышения качества и эффективности тестирования сложных программных комплексов, написанных на языках С и С++. Предложены: модификация метода межпроцедурного анализа программ для повышения производительности и полноты анализа многокомпонентных систем; новое теоретико-множественное описание возможных состояний анализируемой программы в виде графа выполнения, используемого в модели состояний и переходов; критерии достижимости и отсечения недостижимых ветвей графа выполнения программы для повышения производительности анализатора при обработке больших графов выполнения и устранения ложных срабатываний. Разработанные методы реализованы как расширение статического анализатора Clang Static Analyzer, используемого в ООО «Московский исследовательский центр "Самсунг"».