Научные публикации

Научные публикации

«Метод разбора исходных текстов по упрощенной грамматике языка».

Д.Б.Арефьев, В.Л.Верещагин, А.И.Галанов
Научный руководитель: д.т.н., профессор, А.А.Молдовян.

Аннотация: В рамках научной работы комплексно рассматривается метод разбора исходных текстов, основанный на упрощенном множестве порождающих правил грамматики. Приводится концепция метода и сведения об эффективности применения на практике.

«Особенности контроля НДВ при проведении сертификационных испытаний».

В.Л. Верещагин, А.В. Солодянников

Аннотация: В рамках статьи рассматриваются проблемы проведенния сертификационных испытаний программного обеспечения на предмет отсутствия недекларированных возможностей. В основе анализа лежит практический опыт исследований программного кода авторами научной работы.

«Обнаружение программных закладок и недекларированных возможностей посредством анализа ошибок программирования».

В.Л.Верещагин

Аннотация: В статье рассматривается метод поиска недекларированных возможностей основанный на анализе ошибок программирования в программном обеспечении.

«Анализатор исходного текста, основанный на обработке отладочной информации».

В.Л.Верещагин

Аннотация: В рамках статьи рассматривается подход к анализу исходного кода программ основанный на изучении отладочной информации получаеммой при проектировании программного обеспечения.

«Контроль уязвимостей в программах с исходными текстами (анализ sqc-файлов)».

В.Л.Верещагин

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

«Подход к построению анализатора программ в рамках исследований исходного текста на наличие уязвимостей».

Д.Б.Арефьев, В.Л. Верещагин

Аннотация: В данной работе анализируются подходы к процессу автоматизации поиска уязвимостей в исходных текстах программного обеспечения.