350 руб
Журнал «Системы высокой доступности» №2 за 2011 г.
Статья в номере:
Диаген. Метод динамического контроля выполнения программы на основе паспорта потоков управления
Ключевые слова: потоки управления граф программы контроль выполнения программы паспорт программы
Авторы:
Е.В. Маньков - руководитель группы разработки инструментальных средств, ООО «Газинформсервис». Е-mail: mankov-e@gaz-is.ru Р.И. Компаниец - директор департамента разработки и сертификации, ООО «Газинформсервис». Е-mail: kompaniets-r@gaz-is.ru В.В. Ковалев - к. т. н., доцент, главный специалист, ООО «Газинформсервис». Е-mail: kovalyov-v@gaz-is.ru
Аннотация:
Показано, что метод позволяет контролировать потоки управления программы непосредственно в процессе ее функционирования по автоматически созданному для программы автомату динамического контроля (АДК) или «паспорту программы», основанному на LL(*) регулярной грамматике
Страницы: 78-83
Список источников
  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.