Сортировать по:
| Выпуск | Название | |
| Том 35, № 3 (2023) | Поиск новых ошибок методом верификации моделей с помощью подхода дельта отладки | Аннотация похожие документы |
| Олег Максимович ПЕТРОВ | ||
| "... presents DD** algorithms (based on the Delta Debugging approach) to iterate over simplified versions ..." | ||
| Том 27, № 2 (2015) | Методы повышения производительности обратной отладки | Аннотация PDF (Rus) похожие документы |
| М. А. Климушенкова, П. М. Довгалюк | ||
| "... Reverse debugging is software development technique that effectively helps to fix bugs caused ..." | ||
| Том 27, № 6 (2015) | Метод инструментирования кода на этапе компиляции для направленной отладки оптимизирующих преобразований | Аннотация PDF (Rus) похожие документы |
| Д. А. Максименков | ||
| "... The paper addresses the problem of an optimizing compiler debugging. A new method for compile-time ..." | ||
| Том 26, № 2 (2014) | Внесение неисправностей в программу с использованием детерминированного воспроизведения | Аннотация PDF (Rus) похожие документы |
| П. М. Довгалюк, Ю. В. Маркин | ||
| "... it back into the simulator. This phase is repeated from the same program state until the bug ..." | ||
| Том 30, № 3 (2018) | Скрытая отладка программ отладчиком WinDbg в эмуляторе Qemu | Аннотация похожие документы |
| М. А. Абакумов, П. М. Довгалюк | ||
| "... is harmless, but in fact it is not. This problem is solved by the mechanism of stealth debugging. The WinDbg ..." | ||
| Том 21 (2011) | Детерминированное воспроизведение процесса выполнения программ в виртуальной машине | Аннотация PDF (Rus) похожие документы |
| Павел Довгалюк | ||
| "... in future for implementation of different mechanisms of dynamic program analysis and reverse debugging. ..." | ||
| Том 32, № 3 (2020) | Подходы к отладке и обеспечению качества статического анализатора | Аннотация похожие документы |
| Максим Александрович МЕНЬШИКОВ | ||
| "... the intermediate results required for debugging. Thus, error debugging remains a concern for each static analysis ..." | ||
| Том 28, № 4 (2016) | Метод оценки эксплуатируемости программных дефектов | Аннотация PDF (Rus) похожие документы |
| А. Н. Федотов | ||
| "... The method for exploitability estimation of program bugs is presented. Using this technique allows ..." | ||
| Том 32, № 4 (2020) | Отладчик параллельных программ для ОС Linux | Аннотация PDF (Rus) похожие документы |
| Алексей Борисович КИСЕЛЕВ, Сергей Николаевич КИСЕЛЕВ | ||
| "... debugging mode, and the support of Nvidia’s graphic accelerators. Currently, the debugger provides launching ..." | ||
| Том 26, № 1 (2014) | Применение программных эмуляторов в задачах анализа бинарного кода | Аннотация PDF (Rus) похожие документы |
| П. М. Довгалюк, В. А. Макаров, В. А. Падарян, М. С. Романеев, Н. И. Фурсова | ||
| Том 35, № 3 (2023) | Отладчик декларативного DSL для разработки телекоммуникационных систем | Аннотация похожие документы |
| Тарас Михайлович СКАЖЕНИК, Дмитрий Владимирович КОЗНОВ | ||
| "... and have many environment-wise requirements. Thus, execution and debugging of such DSL specifications ..." | ||
| Том 30, № 6 (2018) | Статическая верификация ошибок использования памяти в модулях ядра ОС Linux | Аннотация похожие документы |
| А. А. Васильев | ||
| "... Memory errors in Linux kernel drivers are a kind of serious bugs that can lead to dangerous ..." | ||
| Том 31, № 3 (2019) | Толерантный синтаксический анализ с использованием модифицированных алгоритмов LL(1) и LR(1) со встроенной обработкой символа «Any» | Аннотация похожие документы |
| Алексей Валерьевич Головешкин | ||
| "... формальная концепция упрощённой грамматики, расширяющая теорию островных грамматик. Данная концепция основана ..." | ||
| Том 35, № 3 (2023) | Анализ актуальных ошибок в ядре Linux путем кластеризации сообщений об исправлениях в git-репозитории | Аннотация похожие документы |
| Сергей Михайлович СТАРОЛЕТОВ, Никита Александрович СТАРОВОЙТОВ, Николай Андреевич ГОЛОВНЕВ | ||
| "... and employing automated methods to pinpoint the prevalent bugs within them. By calculating distances between ..." | ||
| Том 30, № 3 (2018) | Обнаружение ошибок, возникающих при использовании динамической памяти после её освобождения | Аннотация PDF (Rus) похожие документы |
| С. А. Асрян, С. С. Гайсарян, Ш. Ф. Курмангалеев, А. М. Агабалян, Н. Г. Овсепян, С. С. Саргсян | ||
| "... The article describes new method of use after free bug detection using program dynamic analysis ..." | ||
| Том 30, № 3 (2018) | Конфигурируемый трассировщик системных вызовов в эмуляторе QEMU | Аннотация похожие документы |
| А. В. Иванов, П. М. Довгалюк, В. А. Макаров | ||
| "... this, there are many different tools for debugging and tracing written programs. One of these tools is the analysis ..." | ||
| Том 29, № 6 (2017) | Инкрементальное построение спецификаций моделей окружения и требований для подсистем монолитного ядра операционных систем | Аннотация PDF (Rus) похожие документы |
| И. С. Захаров, Е. М. Новиков | ||
| "... CPAchecker fixed several issues that we revealed and reported during the research. Overall developed ..." | ||
| Том 26, № 3 (2014) | Автоматизированный метод построения эксплойтов для уязвимости переполнения буфера на стеке | Аннотация PDF (Rus) похожие документы |
| В. А. Падарян, В. В. Каушан, А. Н. Федотов | ||
| "... exploits for stack buffer overflow vulnerabilities and also to prioritize software bugs. It is applied ..." | ||
| Том 27, № 2 (2015) | Метод выявления некоторых типов ошибок работы с памятью в бинарном коде программ | Аннотация PDF (Rus) похожие документы |
| В. В. Каушан, А. Ю. Мамонтов, В. А. Падарян, А. Н. Федотов | ||
| "... present a tool implemented the method. We used this tool to find 11 bugs in both Linux and Windows ..." | ||
| Том 28, № 5 (2016) | Поиск ошибок выхода за границы буфера в бинарном коде программ | Аннотация PDF (Rus) похожие документы |
| В. В. Каушан | ||
| "... implemented and used to discover both known and non-disclosed bugs. ..." | ||
| Том 29, № 6 (2017) | Построение предикатов безопасности для некоторых типов программных дефектов | Аннотация PDF (Rus) похожие документы |
| А. Н. Федотов, В. В. Каушан, С. С. Гайсарян, Ш. Ф. Курмангалеев | ||
| Том 24 (2013) | Построение спецификаций программных интерфейсов в открытой системе покомпонентной верификации ядра Linux | Аннотация PDF (Rus) похожие документы |
| Е. М. Новиков | ||
| "... Nowadays static verification is one of the most promising methods for finding bugs in programs ..." | ||
| Том 28, № 6 (2016) | Подходы к представлению результатов анализа сетевого трафика | Аннотация PDF (Rus) похожие документы |
| А. И. Гетьман, Ю. В. Маркин, Д. О. Обыденков, В. А. Падарян, А. Ю. Тихонов | ||
| "... and debugging of network protocols, it is proposed to use a journal which records protocol header parsing errors ..." | ||
| Том 28, № 2 (2016) | Refinement типы для языка Jolie | Аннотация похожие документы |
| Александр Чичигин, Лариса Сафина, Мохамед Эльвакиль, Мануэль Маццара, Фабрицио Монтези, Виктор Ривера | ||
| "... of web-development. We intentionally introduce a bug in the example demonstrating how easily it can slip ..." | ||
| Том 22 (2012) | Обзор инструментов статической верификации Си программ в применении к драйверам устройств операционной системы Linux | Аннотация PDF (Rus) похожие документы |
| М. У. Мандрыкин, В. С. Мутилин, Е. М. Новиков, А. В. Хорошилов | ||
| "... of analysis results. We provide description of such static verification tools, as BLAST, CPAchecker, HSF(C ..." | ||
| Том 34, № 6 (2022) | Поиск использований освобожденного ресурса в исходном коде на языке C# методами статического анализа | Аннотация PDF (Rus) похожие документы |
| Ульяна Владимировна ТЯЖКОРОБ, Валерий Николаевич ИГНАТЬЕВ, Андрей Андреевич БЕЛЕВАНЦЕВ | ||
| Том 27, № 5 (2015) | Чувствительный к путям поиск дефектов в программах на языке C# на примере разыменования нулевого указателя | Аннотация PDF (Rus) похожие документы |
| В. К. Кошелев, И. А. Дудина, В. И. Игнатьев, А. И. Борзилов | ||
| "... This paper proposes an approach for detecting bugs in C# programs and uses null pointer deference ..." | ||
| Том 34, № 5 (2022) | Особенности построения сетки для моделирования процесса обледенения треугольного крыла сложной формы | Аннотация PDF (Rus) похожие документы |
| Константин Борисович КОШЕЛЕВ, Андрей Владимирович ОСИПОВ, Сергей Владимирович СТРИЖАК | ||
| "... The article deals with the problem of modeling the icing of a delta-wing of the X-59 demonstrator ..." | ||
| Том 28, № 1 (2016) | Инфраструктура статического анализа программ на языке C# | Аннотация PDF (Rus) похожие документы |
| В. К. Кошелев, В. Н. Игнатьев, А. И. Борзилов | ||
| Том 34, № 2 (2022) | Поиск ошибок в бинарном коде методами динамической символьной интерпретации | Аннотация похожие документы |
| Алексей Вадимович ВИШНЯКОВ, Илай Александрович КОБРИН, Андрей Николаевич ФЕДОТОВ | ||
| Том 24 (2013) | Введение в метод CEGAR - уточнение абстракции по контрпримерам | Аннотация PDF (Rus) похожие документы |
| М. У. Мандрыкин, В. С. Мутилин, А. В. Хорошилов | ||
| "... . This approach is used in such tools as SLAM, BLAST, SATABS, and CPAchecker. The paper presents an extended ..." | ||
| Том 27, № 6 (2015) | Использование различных представлений java-программ для статического анализа | Аннотация PDF (Rus) похожие документы |
| Е. А. Карпулевич | ||
| "... discusses options for program representations built on various stages of compilation, and software bugs ..." | ||
| Том 31, № 6 (2019) | Анализ корректности работы с памятью с использованием расширения теории символьных графов предикатами над символьными значениями | Аннотация PDF (Rus) похожие документы |
| Антон Александрович Васильев, Вадим Сергеевич Мутилин | ||
| "... in CPAchecker tool. Practical usage is demonstrated on Linux kernel modules. The practical contribution of our ..." | ||
| Том 28, № 6 (2016) | Конфигурируемый метод поиска состояний гонок в операционных системах с использованием предикатных абстракций | Аннотация PDF (Rus) похожие документы |
| П. С. Андрианов, В. С. Мутилин, А. В. Хорошилов | ||
| "... of CPAchecker framework. The tool was evaluated on Linux kernel modules and it has detected several actual data ..." | ||
| Том 30, № 1 (2018) | Методы анализа вредоносного программного обеспечения под ОС Android | Аннотация похожие документы |
| С. М. Старолетов | ||
| "... (static, dynamic, decompilation, debugging, logging) is proposed, and information of our software based ..." | ||
| Том 35, № 3 (2023) | Применение методов интеллектуального анализа процессов в ходе разработки семейства мобильных приложений | Аннотация похожие документы |
| Людмила Александровна РЕЗУНИК, Алиса Игоревна ПЕРЕВОЗНИКОВА, Дарья Валерьевна ЕРЕМИНА, Алексей Александрович МИЦЮК | ||
| "... , modern development processes are often complex and sometimes vague. This can lead to bugs, defects ..." | ||
| Том 29, № 4 (2017) | Метод моделирования памяти в предикатных абстракциях с разделением на непересекающиеся области | Аннотация похожие документы |
| А. Р. Волков, М. У. Мандрыкин | ||
| "... that can be used for static verification is a tool called CPAchecker. The problem of the current memory ..." | ||
| Том 28, № 5 (2016) | Оценка критичности программных дефектов в условиях работы современных защитных механизмов | Аннотация PDF (Rus) похожие документы |
| А. Н. Федотов, В. А. Падарян, В. В. Каушан, Ш. Ф. Курмангалеев, А. В. Вишняков, А. Р. Нурмухаметов | ||
| "... bugs. During security development lifecycle a significant number of crashes is detected in programs ..." | ||
| Том 29, № 2 (2017) | Возможности статической верификации монолитного ядра операционных систем | Аннотация PDF (Rus) похожие документы |
| Е. М. Новиков | ||
| "... operations are optimized, bugs are fixed. The high practical value of operating system monolithic kernels ..." | ||
| 1 - 39 из 87 результатов | 1 2 3 > >> | |
Советы по поиску:
- Поиск ведется с учетом регистра (строчные и прописные буквы различаются)
- Служебные слова (предлоги, союзы и т.п.) игнорируются
- По умолчанию отображаются статьи, содержащие хотя бы одно слово из запроса (то есть предполагается условие OR)
- Чтобы гарантировать, что слово содержится в статье, предварите его знаком +; например, +журнал +мембрана органелла рибосома
- Для поиска статей, содержащих все слова из запроса, объединяйте их с помощью AND; например, клетка AND органелла
- Исключайте слово при помощи знака - (дефис) или NOT; например. клетка -стволовая или клетка NOT стволовая
- Для поиска точной фразы используйте кавычки; например, "бесплатные издания". Совет: используйте кавычки для поиска последовательности иероглифов; например, "中国"
- Используйте круглые скобки для создания сложных запросов; например, архив ((журнал AND конференция) NOT диссертация)
