Сортировать по:
Выпуск | Название | |
Том 27, № 2 (2015) | Метод выявления некоторых типов ошибок работы с памятью в бинарном коде программ | Аннотация PDF (Rus) похожие документы |
В. В. Каушан, А. Ю. Мамонтов, В. А. Падарян, А. Н. Федотов | ||
"... In this paper memory violation detection method is considered. This method applied to program ..." | ||
Том 30, № 6 (2018) | Статическая верификация ошибок использования памяти в модулях ядра ОС Linux | Аннотация похожие документы |
А. А. Васильев | ||
"... Memory errors in Linux kernel drivers are a kind of serious bugs that can lead to dangerous ..." | ||
Том 26, № 3 (2014) | Автоматизированный метод построения эксплойтов для уязвимости переполнения буфера на стеке | Аннотация PDF (Rus) похожие документы |
В. А. Падарян, В. В. Каушан, А. Н. Федотов | ||
"... vulnerabilities in both Linux and Windows programs, 3 of which were undocumented at the time this paper ..." | ||
Том 21 (2011) | Механизмы расширения системы статического анализа Svace детекторами новых видов уязвимостей и критических ошибок | Аннотация PDF (Rus) похожие документы |
Арутюн Аветисян, Алексей Бородин | ||
"... В ИСП РАН разрабатывается инструмент статического анализа Svace для поиска ошибок в исходном коде ..." | ||
Том 31, № 6 (2019) | Анализ корректности работы с памятью с использованием расширения теории символьных графов предикатами над символьными значениями | Аннотация PDF (Rus) похожие документы |
Антон Александрович Васильев, Вадим Сергеевич Мутилин | ||
"... of the required specification is correct memory usage. The article describes an efficient method for static ..." | ||
Том 34, № 2 (2022) | Поиск ошибок в бинарном коде методами динамической символьной интерпретации | Аннотация похожие документы |
Алексей Вадимович ВИШНЯКОВ, Илай Александрович КОБРИН, Андрей Николаевич ФЕДОТОВ | ||
"... предлагаем метод автоматизированного поиска ошибок с помощью динамической символьной интерпретации ..." | ||
Том 28, № 5 (2016) | Поиск ошибок выхода за границы буфера в бинарном коде программ | Аннотация PDF (Rus) похожие документы |
В. В. Каушан | ||
"... for detecting memory violations. The method is based on combined (static-dynamic) analysis of binary code ..." | ||
Том 22 (2012) | Анализ типовых ошибок в драйверах операционной системы Linux | Аннотация PDF (Rus) похожие документы |
В. С. Мутилин, Е. М. Новиков, А. В. Хорошилов | ||
"... Fast evolution of the Linux operating system kernel and drivers, developed by a big programmers ..." | ||
Том 29, № 2 (2017) | Развитие ядра операционной системы Linux | Аннотация PDF (Rus) похожие документы |
Е. М. Новиков | ||
"... Existing research analyzing evolution of the Linux kernel considers the kernel together ..." | ||
Том 35, № 3 (2023) | Анализ актуальных ошибок в ядре Linux путем кластеризации сообщений об исправлениях в git-репозитории | Аннотация похожие документы |
Сергей Михайлович СТАРОЛЕТОВ, Никита Александрович СТАРОВОЙТОВ, Николай Андреевич ГОЛОВНЕВ | ||
"... to utilize this information in order to enhance the operation of such systems. One such system is the Linux ..." | ||
Том 23 (2012) | Тестирование драйверов файловых систем в ОС Linux | Аннотация PDF (Rus) похожие документы |
А. В. Цыварев, В. А. Мартиросян | ||
"... The paper investigates issues of Linux file system driver testing. Linux file system drivers ..." | ||
Том 31, № 6 (2019) | Формальная модель обнаружения программных ошибок с помощью символьного исполнения программ | Аннотация PDF (Rus) похожие документы |
Александр Юрьевич Герасимов, Даниил Олегович Куц, Александр Андреевич Новиков | ||
"... for program defect detection and implementation of analyzer of memory buffer bounds violation based ..." | ||
Том 32, № 4 (2020) | CASR: анализ coredump файлов в ОС Linux и составление отчётов об ошибках | Аннотация PDF (Rus) похожие документы |
Андрей Николаевич ФЕДОТОВ, Шамиль Фаимович КУРМАНГАЛЕЕВ | ||
"... OS and Linux-based OS, in particular Ubuntu. An important parameter is the severity of the error ..." | ||
Том 31, № 5 (2019) | Автоматическое доказательство корректности программ с динамической памятью | Аннотация PDF (Rus) похожие документы |
Юрий Олегович Костюков, Константин Аланович Батоев, Дмитрий Александрович Мордвинов, Михаил Павлович Костицын, Александр Владимирович Мисонижник | ||
"... are investigated. We introduce a novel concept of compositional symbolic memory and its relevant properties. We ..." | ||
Том 34, № 4 (2022) | Построение распределения данных и генерация кода при распараллеливании на гетерогенный вычислительный кластер | Аннотация похожие документы |
Александр Сергеевич КОЛГАНОВ, Никита Андреевич КАТАЕВ | ||
"... in loop nests for distributed-memory parallel architectures. Our approach is implemented as a source ..." | ||
Том 31, № 3 (2019) | Автономная верификация IOMMU с поддержкой виртуализации | Аннотация похожие документы |
Антон Алексеевич Петрыкин, Ирина Аркадьевна Стотланд, Алексей Николаевич Мешков | ||
"... This article presents an approach to standalone verification of I/O Memory Management Unit ..." | ||
Том 34, № 3 (2022) | Исследование свойств алгоритма слайсинга предиката пути | Аннотация PDF (Rus) похожие документы |
Алексей Вадимович ВИШНЯКОВ | ||
"... that detect memory errors and undefined behavior. This article explores the properties of the path predicate ..." | ||
Том 24 (2013) | Построение спецификаций программных интерфейсов в открытой системе покомпонентной верификации ядра Linux | Аннотация PDF (Rus) похожие документы |
Е. М. Новиков | ||
"... . To apply successfully existing tools for the Linux kernel one needs to perform componentwise verification ..." | ||
Том 28, № 4 (2016) | Генерация тестовых программ для подсистемы управления памятью MIPS64 на основе спецификаций | Аннотация похожие документы |
А. С. Камкин, А. М. Коцыняк | ||
"... In this paper, a tool for automatically generating test programs for MIPS64 memory management units ..." | ||
Том 31, № 5 (2019) | Анализ корректности синхронизации компонентов ядра операционных систем | Аннотация PDF (Rus) похожие документы |
Павел Сергеевич Андрианов | ||
"... the assumptions. For efficient data race detection we use a specific memory model, which allows to distinguish ..." | ||
Том 22 (2012) | Обзор инструментов статической верификации Си программ в применении к драйверам устройств операционной системы Linux | Аннотация PDF (Rus) похожие документы |
М. У. Мандрыкин, В. С. Мутилин, Е. М. Новиков, А. В. Хорошилов | ||
"... and complex memory structures. For future improvements in static verification of C programs and Linux device ..." | ||
Том 28, № 4 (2016) | Проверка параметризованных Promela-моделей протоколов когерентности памяти | Аннотация похожие документы |
В. С. Буренков, А. С. Камкин | ||
"... and memory) do not depend on the number of processors in the system under verification. The method ..." | ||
Том 29, № 4 (2017) | Методика параметризованной верификации протоколов когерентности памяти | Аннотация похожие документы |
В. С. Буренков | ||
"... memory requirements for parameterized verification are negligible and the amount of manual work needed ..." | ||
Том 27, № 3 (2015) | Метод генерации тестовых программ на основе формальных спецификаций механизмов кэширования и трансляции адресов | Аннотация PDF (Rus) похожие документы |
А. С. Камкин, А. С. Проценко, А. Д. Татарников | ||
"... In this work, an approach to generate test programs for functional verification of memory ..." | ||
Том 28, № 4 (2016) | Поиск ошибок доступа к буферу в программах на языке C/C++ | Аннотация PDF (Rus) похожие документы |
И. А. Дудина, В. К. Кошелев, А. Е. Бородин | ||
"... , it works only with buffers on stack or on static memory with compile-time known size. We propose a formal ..." | ||
Том 32, № 6 (2020) | Практическая абстрактная интерпретация бинарного кода | Аннотация PDF (Rus) похожие документы |
Михаил Александрович СОЛОВЬЕВ, Максим Геннадьевич БАКУЛИН, Сергей Сергеевич МАКАРОВ, Дмитрий Валерьевич МАНУШИН, Вартан Андроникович ПАДАРЯН | ||
"... to modeling main memory in that accesses can fail, and addresses can alias. Further, we propose ..." | ||
Том 34, № 5 (2022) | Метод восстановления протокольных автоматов по бинарному коду | Аннотация PDF (Rus) похожие документы |
Иван Владимирович ШАРКОВ | ||
"... manner by in-memory fuzzing based on a "floating" fork-server to manage states transitions. Finally ..." | ||
Том 28, № 1 (2016) | Реализация параллельных вычислений в программном комплексе «LS-STAG_turb» для моделирования течений вязкой несжимаемой среды на системах с общей памятью | Аннотация PDF (Rus) похожие документы |
В. В. Пузикова | ||
Том 30, № 5 (2018) | Платформа межпроцедурного статического анализа бинарного кода | Аннотация PDF (Rus) похожие документы |
А. К. Асланян | ||
"... -USE and USE-DEF chains, analysis for deletion of dead code, value analysis, taint analysis, memory ..." | ||
Том 27, № 4 (2015) | Метод поиска уязвимости форматной строки | Аннотация PDF (Rus) похожие документы |
И. А. Вахрушев, В. В. Каушан, В. А. Падарян, А. Н. Федотов | ||
"... vulnerabilities in Linux programs. ..." | ||
1 - 30 из 280 результатов | 1 2 3 4 5 6 7 8 9 10 > >> |
Советы по поиску:
- Поиск ведется с учетом регистра (строчные и прописные буквы различаются)
- Служебные слова (предлоги, союзы и т.п.) игнорируются
- По умолчанию отображаются статьи, содержащие хотя бы одно слово из запроса (то есть предполагается условие OR)
- Чтобы гарантировать, что слово содержится в статье, предварите его знаком +; например, +журнал +мембрана органелла рибосома
- Для поиска статей, содержащих все слова из запроса, объединяйте их с помощью AND; например, клетка AND органелла
- Исключайте слово при помощи знака - (дефис) или NOT; например. клетка -стволовая или клетка NOT стволовая
- Для поиска точной фразы используйте кавычки; например, "бесплатные издания". Совет: используйте кавычки для поиска последовательности иероглифов; например, "中国"
- Используйте круглые скобки для создания сложных запросов; например, архив ((журнал AND конференция) NOT диссертация)