Preview

Труды Института системного программирования РАН

Расширенный поиск

Поиск


Сортировать по:     
 
Выпуск Название
 
Том 30, № 3 (2018) Скрытая отладка программ отладчиком WinDbg в эмуляторе Qemu Аннотация  похожие документы
М. А. Абакумов, П. М. Довгалюк
"... developed special module of WinDbg debugger for Qemu emulator. It is an alternative of the remote debugging ..."
 
Том 27, № 2 (2015) Методы повышения производительности обратной отладки Аннотация  PDF (Rus)  похожие документы
М. А. Климушенкова, П. М. Довгалюк
"... implementation of software reverse debugging using deterministic replay based on the QEMU emulator. We present ..."
 
Том 30, № 3 (2018) Конфигурируемый трассировщик системных вызовов в эмуляторе QEMU Аннотация  похожие документы
А. В. Иванов, П. М. Довгалюк, В. А. Макаров
"... this, there are many different tools for debugging and tracing written programs. One of these tools is the analysis ..."
 
Том 26, № 1 (2014) Применение программных эмуляторов в задачах анализа бинарного кода Аннотация  PDF (Rus)  похожие документы
П. М. Довгалюк, В. А. Макаров, В. А. Падарян, М. С. Романеев, Н. И. Фурсова
"... a description of deterministic replay implemented in the QEMU emulator to supply the stated functionalities. ..."
 
Том 27, № 2 (2015) Об особенностях детерминированного воспроизведения при минимальном наборе устройств Аннотация  PDF (Rus)  похожие документы
В. Ю. Ефимов, К. А. Батузов, В. А. Падарян
"... The deterministic replay technique can be used for debugging, improving reliability and robustness ..."
 
Том 22 (2012) Два способа организации механизма полносистемного детерминированного воспроизведения в симуляторе QEMU Аннотация  PDF (Rus)  похожие документы
К. Батузов, П. Довгалюк, В. Кошелев, В. Падарян
"... replaying guest OS and applications without modifications. Deterministic replay is intended for debugging ..."
 
Том 28, № 6 (2016) О некоторых ограничениях полносистемного анализа помеченных данных « Аннотация  PDF (Rus)  похожие документы
М. А. Климушенкова, М. Г. Бакулин, В. А. Падарян, П. М. Довгалюк, Н. И. Фурсова, И. А. Васильев
"... applications more secure, to perform software analysis for debugging or reverse engineering, and so on. Taint ..."
 
Том 26, № 2 (2014) Внесение неисправностей в программу с использованием детерминированного воспроизведения Аннотация  PDF (Rus)  похожие документы
П. М. Довгалюк, Ю. В. Маркин
"... также изучить альтернативные пути выполнения программы при ее отладке. ..."
 
Том 31, № 5 (2019) Интроспекция конфигурации периферийных устройств эмулятора QEMU Аннотация  PDF (Rus)  похожие документы
Наталья Игоревна Фурсова, Павел Михайлович Довгалюк
"... QEMU is a widely used and fairly accurate emulator capable of emulating dozens of guest systems ..."
 
Том 35, № 3 (2023) Отладчик декларативного DSL для разработки телекоммуникационных систем Аннотация  похожие документы
Тарас Михайлович СКАЖЕНИК, Дмитрий Владимирович КОЗНОВ
"... and have many environment-wise requirements. Thus, execution and debugging of such DSL specifications ..."
 
Том 26, № 2 (2014) Описание аппаратных конфигураций гостевых систем в эмуляторе QEMU в виде отдельных текстовых файлов Аннотация  PDF (Rus)  похожие документы
О. В. Горемыкин
"... QEMU is an open-source full system emulator based on the dynamic binary translation approach. QEMU ..."
 
Том 32, № 4 (2020) Отладчик параллельных программ для ОС Linux Аннотация  PDF (Rus)  похожие документы
Алексей Борисович КИСЕЛЕВ, Сергей Николаевич КИСЕЛЕВ
"... debugging mode, and the support of Nvidia’s graphic accelerators. Currently, the debugger provides launching ..."
 
Том 27, № 6 (2015) Метод инструментирования кода на этапе компиляции для направленной отладки оптимизирующих преобразований Аннотация  PDF (Rus)  похожие документы
Д. А. Максименков
"... The paper addresses the problem of an optimizing compiler debugging. A new method for compile-time ..."
 
Том 29, № 6 (2017) Автоматизация разработки моделей устройств и вычислительных машин для QEMU Аннотация  PDF (Rus)  похожие документы
В. Ю. Ефимов, А. А. Беззубиков, Д. А. Богомолов, О. В. Горемыкин, В. А. Падарян
"... Разработка виртуальных устройств и машин для QEMU - трудоёмкий процесс. С целью поддержки ..."
 
Том 30, № 5 (2018) Отслеживание операций с файловой системой ext3 в эмуляторе QEMU Аннотация  PDF (Rus)  похожие документы
В. М. Степанов, П. М. Довгалюк, Д. Н. Полетаев
"... accesses in the emulator. This method allows obtaining information about file operations in the OS-agnostic ..."
 
Том 32, № 3 (2020) Подходы к отладке и обеспечению качества статического анализатора Аннотация  похожие документы
Максим Александрович МЕНЬШИКОВ
"... the intermediate results required for debugging. Thus, error debugging remains a concern for each static analysis ..."
 
Том 28, № 2 (2016) Разработка отладчика для операционной системы реального времени Аннотация  похожие документы
А. Н. Емеленко, К. А. Маллачиев, Н. В. Пакулин
"... present our solution that works both in emulator QEMU, which we use to emulate environment for our system ..."
 
Том 35, № 3 (2023) Поиск новых ошибок методом верификации моделей с помощью подхода дельта отладки Аннотация  похожие документы
Олег Максимович ПЕТРОВ
"... presents DD** algorithms (based on the Delta Debugging approach) to iterate over simplified versions ..."
 
Том 21 (2011) Детерминированное воспроизведение процесса выполнения программ в виртуальной машине Аннотация  PDF (Rus)  похожие документы
Павел Довгалюк
"... in future for implementation of different mechanisms of dynamic program analysis and reverse debugging. ..."
 
Том 31, № 5 (2019) Автоматизированное тестирование фронтенда транслятора TCG для Qemu Аннотация  PDF (Rus)  похожие документы
Дмитрий Сергеевич Колтунов, Василий Юрьевич Ефимов, Вартан Андроникович Падарян
"... Implementing a new target architecture in Qemu involves creation of a dynamic binary translator ..."
 
Том 36, № 3 (2024) Декларативный подход к задаче интроспекции виртуальной машины Аннотация  PDF (Rus)  похожие документы
Владислав Михайлович СТЕПАНОВ, Павел Михайлович ДОВГАЛЮК, Наталья Игоревна ФУРСОВА
"... решению проблемы семантического разрыва. Важную роль в этой задаче играет наличие отладочных символов и ..."
 
Том 28, № 6 (2016) Подходы к представлению результатов анализа сетевого трафика Аннотация  PDF (Rus)  похожие документы
А. И. Гетьман, Ю. В. Маркин, Д. О. Обыденков, В. А. Падарян, А. Ю. Тихонов
"... and debugging of network protocols, it is proposed to use a journal which records protocol header parsing errors ..."
 
Том 29, № 4 (2017) Отладчик для операционной системы реального времени: проблемы мультиплатформенности Аннотация  похожие документы
А. Н. Емеленко, К. А. Маллачиев, Н. В. Пакулин
"... debugging on many platforms. However, debugger's code has to be developed for each platform and we faced ..."
 
Том 22 (2012) Задача локального распределения регистров во время динамической двоичной трансляции Аннотация  PDF (Rus)  похожие документы
Кирилл Батузов
"... QEMU is a generic machine emulator based on a dynamic binary translation approach. This paper ..."
 
Том 34, № 5 (2022) Natch: Определение поверхности атаки программ с помощью отслеживания помеченных данных и интроспекции виртуальных машин Аннотация  PDF (Rus)  похожие документы
Павел Михайлович ДОВГАЛЮК, Мария Анатольевна КЛИМУШЕНКОВА, Наталья Игоревна ФУРСОВА, Владислав Михайлович СТЕПАНОВ, Иван Александрович ВАСИЛЬЕВ, Аркадий Алексеевич ИВАНОВ, Алексей Владимирович ИВАНОВ, Максим Геннадьевич БАКУЛИН, Данила Игоревич ЕГОРОВ
"... and virtual machines introspection. Natch is built on the basis of the full-system QEMU emulator, so it allows ..."
 
Том 27, № 6 (2015) Использование ABI для интроспекции виртуальных машин Аннотация  PDF (Rus)  похожие документы
Н. И. Фурсова, П. М. Довгалюк, И. А. Васильев
"... knowledge about its internal structure. Our system is based on QEMU emulator and has a modular structure ..."
 
Том 31, № 6 (2019) Программный комплекс для выявления недекларированных возможностей в условиях отсутствия исходного кода Аннотация  PDF (Rus)  похожие документы
Александр Борисович Бугеря, Василий Юрьевич Ефимов, Иван Иванович Кулагин, Вартан Андроникович Падарян, Михаил Александрович Соловьев, Андрей Юрьевич Тихонов
"... of an analyzed algorithm. A QEMU Developer Toolkit (QDT) is introduced, offering support for the domain specific ..."
 
Том 30, № 1 (2018) Методы анализа вредоносного программного обеспечения под ОС Android Аннотация  похожие документы
С. М. Старолетов
"... (static, dynamic, decompilation, debugging, logging) is proposed, and information of our software based ..."
 
Том 28, № 5 (2016) Задача глобального распределения регистров во время динамической двоичной трансляции Аннотация  PDF (Rus)  похожие документы
К. А. Батузов
 
Том 20 (2011) Оптимизация динамической двоичной трансляции Аннотация  PDF (Rus)  похожие документы
Кирилл Батузов, Алексей Меркулов
"... translation. We improve lookup of existing translation block in translation cache in QEMU, evaluate impact ..."
 
Том 33, № 5 (2021) Динамический анализ IoT-систем на основе полносистемной эмуляции в QEMU Аннотация  PDF (Rus)  похожие документы
Роман Дмитриевич КОВАЛЕНКО, Алексей Николаевич МАКАРОВ
"... emulation in QEMU. ELF was based on the following aspects: performing software testing and analysis of real ..."
 
Том 28, № 5 (2016) Автоматическое обнаружение использования неинициализированных значений в рамках полносистемной эмуляции Аннотация  PDF (Rus)  похожие документы
Н. А. Белов
"... in the guest system of x86 architecture in full-system emulator QEMU. System consists of few instructions ..."
 
Том 32, № 5 (2020) Практика и перспективы применения семейства эмуляторов архитектур мейнфреймов IBM Аннотация  PDF (Rus)  похожие документы
Александр Викторович ШМИД
"... This article describes the family of emulators for IBM mainframe architectures, their development ..."
 
Том 36, № 5 (2024) Архитектура открытого программного комплекса UEMKA для управления целевыми устройствами SMART-наноспутников Аннотация  PDF (Rus)  похожие документы
Георгий Александрович ЩЕГЛОВ, Кристина Александровна ЖДАНОВА, Зайнулла Серикович ЖУМАЕВ, Никита Дмитриевич КАМЕНЕВ
"... to use a nanosatellite simulation model for operational debugging and testing of the software package ..."
 
Том 28, № 4 (2016) Метод оценки эксплуатируемости программных дефектов Аннотация  PDF (Rus)  похожие документы
А. Н. Федотов
"... . In case of a successful exploit generation the operability of exploit is checked in program emulator ..."
 
Том 28, № 5 (2016) Оценка критичности программных дефектов в условиях работы современных защитных механизмов Аннотация  PDF (Rus)  похожие документы
А. Н. Федотов, В. А. Падарян, В. В. Каушан, Ш. Ф. Курмангалеев, А. В. Вишняков, А. Р. Нурмухаметов
"... interpretation of traces obtained by a full-system emulator. Our method can demonstrate a real exploitability ..."
 
Том 29, № 5 (2017) Инструментальная поддержка создания и трансформации функционально-потоковых параллельных программ Аннотация  PDF (Rus)  похожие документы
А. И. Легалов, В. С. Васильев, И. В. Матковский, М. С. Ушакова
"... of parallelism. Support tools for translation, execution, debugging, optimization and verification of functional ..."
 
Том 20 (2011) Кросс-система программирования ЯУЗА-6 для специализированных ЭВМ реального времени Аннотация  PDF (Rus)  похожие документы
В. В. Липаев
"... автоматизации программирования и отладки ЯУЗА-6 с использованием БЭСМ-6 ..."
 
Том 31, № 2 (2019) Непрерывная интеграция функционального наполнения распределенных пакетов прикладных программ в Orlando Tools Аннотация  PDF (Rus)  похожие документы
Александр Геннадьевич Феоктистов, Сергей Алексеевич Горский, Иван Александрович Сидоров, Роман Олегович Костромин, Евгений Сергеевич Фереферов, Игорь Вячеславович Бычков
"... We propose a new approach to solving important practical problems of complex debugging, joint ..."
 
1 - 39 из 55 результатов 1 2 > >> 

Советы по поиску:

  • Поиск ведется с учетом регистра (строчные и прописные буквы различаются)
  • Служебные слова (предлоги, союзы и т.п.) игнорируются
  • По умолчанию отображаются статьи, содержащие хотя бы одно слово из запроса (то есть предполагается условие OR)
  • Чтобы гарантировать, что слово содержится в статье, предварите его знаком +; например, +журнал +мембрана органелла рибосома
  • Для поиска статей, содержащих все слова из запроса, объединяйте их с помощью AND; например, клетка AND органелла
  • Исключайте слово при помощи знака - (дефис) или NOT; например. клетка -стволовая или клетка NOT стволовая
  • Для поиска точной фразы используйте кавычки; например, "бесплатные издания". Совет: используйте кавычки для поиска последовательности иероглифов; например, "中国"
  • Используйте круглые скобки для создания сложных запросов; например, архив ((журнал AND конференция) NOT диссертация)