Диаген. Метод динамического контроля выполнения программы на основе паспорта потоков управления

Е.В. Маньков; Р.И. Компаниец; В.В. Ковалев

Диаген. Метод динамического контроля выполнения программы на основе паспорта потоков управления

Е.В. Маньков¹, Р.И. Компаниец², В.В. Ковалев³

научная статья Страницы: 78-83

¹ руководитель группы разработки инструментальных средств, ООО «Газинформсервис»
² директор департамента разработки и сертификации, ООО «Газинформсервис»
³ к. т. н., доцент, главный специалист, ООО «Газинформсервис»

Ключевые слова: потоки управления граф программы контроль выполнения программы паспорт программы

Аннотация

Показано, что метод позволяет контролировать потоки управления программы непосредственно в процессе ее функционирования по автоматически созданному для программы автомату динамического контроля (АДК) или «паспорту программы», основанному на LL(*) регулярной грамматике

Для цитирования

Маньков Е.В., Компаниец Р.И., Ковалев В.В. Диаген. Метод динамического контроля выполнения программы на основе паспорта потоков управления // Системы высокой доступности. 2011. № 2. С. 78–83.

Список источников

Aho, Alfred V., Sethi R., Ullman, Jeffrey D. Compilers: Principles, Techniques, and Tools. Addison-Wesley, Reading, 1986.
Кристофидес Н. Теория графов. Алгебраический подход. М.:Мир, 1978. 432 с.
Axel Simon. Splitting the Control Flow with Boolean Flags // Static Analysis: 15th International Symposium, SAS 2008, Proceedings (Lecture Notes in Computer Science), Valencia, Spain, July 16-18 2008.
Инструментальный комплекс для проведения статического и динамического анализа потоков управления в исполняемых кодах программ «IRIDA» // Описание применения. http://dev.gaz-is.ru/files/products/IRIDA/opisanie-primeneniya-irida.pdf
Компаниец Р.И., Ковалев В.В., Маньков Е.В. Экспертиза и защита кода программ на основе автоматов динамического контроля. // Защита информации. Инсайд. 2007. № 3.
Another Tool for Language Recognition - ANTLR ver.3 // http://www.antlr.org.
Гамаюнов Д.Ю. и др. Гранулярный контроль безопасности поведения приложений со стороны ядра Linux // Защита информации. Инсайд. 2010. № 4. С. 54-58.

[1] Aho, Alfred V., Sethi R., Ullman, Jeffrey D. Compilers: Principles, Techniques, and Tools. Addison-Wesley, Reading, 1986.

[2] Кристофидес Н. Теория графов. Алгебраический подход. М.:Мир, 1978. 432 с.

[3] Axel Simon. Splitting the Control Flow with Boolean Flags // Static Analysis: 15th International Symposium, SAS 2008, Proceedings (Lecture Notes in Computer Science), Valencia, Spain, July 16-18 2008.

[4] Инструментальный комплекс для проведения статического и динамического анализа потоков управления в исполняемых кодах программ «IRIDA» // Описание применения. http://dev.gaz-is.ru/files/products/IRIDA/opisanie-primeneniya-irida.pdf

[5] Компаниец Р.И., Ковалев В.В., Маньков Е.В. Экспертиза и защита кода программ на основе автоматов динамического контроля. // Защита информации. Инсайд. 2007. № 3.

[6] Another Tool for Language Recognition - ANTLR ver.3 // http://www.antlr.org.

[7] Гамаюнов Д.Ю. и др. Гранулярный контроль безопасности поведения приложений со стороны ядра Linux // Защита информации. Инсайд. 2010. № 4. С. 54-58.