Категория
Информатика
Тип
реферат
Страницы
5 стр.
Дата
13.06.2008
Формат файла
.rtf — Rich Text Format (Wordpad)
Архив
21323.zip — 92.3 kb
  • o-nekotoryx-zadachax-analiza-i-transformacii-programm_21323_1.rtf — 843.32 Kb
  • Readme_docus.me.txt — 125 Bytes
Оцените работу
Хорошо  или  Плохо


Текст работы

О некоторых задачах анализа и трансформации программ Alena Alena
О некоторых задачах анализа и трансформации программ
С.С. Гайсарян, А.В. Чернов, А.А. Белеванцев, О.Р. Маликов, Д.М. Мельник
, А.В. Меньшикова
Аннотация.
В настоящей статье обсуждаются
некоторые перспективные направления исследований, проводимые в отделе компиляторных технологий Института системного программирования РАН
. Методы анализа и трансформации программ, ранее применявшиеся в основном в оптимизирующих компиляторах, в настоящее время находят применение при решении множества смежных задач, таких как обеспечение безопасности
программ, генерация тестов для программ и т. д.
1. Введение
В настоящей статье обсуждаются
некоторые перспективные направления исследований, проводимые в отделе компиляторных технологий Института системного программирования РАН
. Методы анализа и трансформации программ, ранее применявшиеся в основном в оптимизирующих компиляторах, в настоящее время находят применение при решении множества смежных задач, таких как обеспечение безопасности
программ, генерация тестов для программ и т. д.
В отделе ведётся работа и в традиционной области оптимизации программ. Упор делается на разработку новых методов анализа указателей в программах на языке Си. Также проводятся исследования так называемых "полустатических" (profile-based) методов оптимизации программ. Такие методы заключаются в использовании на стадии оптимизации кода информации, накопленной с предварительных её запусков.
Данная работа посвящена рассмотрению трёх направлений. Во-первых, это так называемая маскировка программ, преследующая цель, полностью сохранив пользовательское поведение программы, изменить её текст так, что обратная инженерия



Ваше мнение



CAPTCHA