Сортировать по:
| Выпуск | Название | |
| Том 36, № 3 (2024) | Статическое распределение памяти для операционных систем реального времени | Аннотация PDF (Rus) похожие документы |
| Софья Анатольевна ЗЕЛЕНОВА | ||
| "... in this direction through the memory management facilities. In this paper we present a new approach of static memory ..." | ||
| Том 30, № 6 (2018) | Статическая верификация ошибок использования памяти в модулях ядра ОС Linux | Аннотация похожие документы |
| А. А. Васильев | ||
| "... an approach to reveal issues with memory usage in such incomplete programs. Our static verification technique ..." | ||
| Том 29, № 1 (2017) | Обзор подходов к моделированию памяти в инструментах статической верификации | Аннотация PDF (Rus) похожие документы |
| М. У. Мандрыкин, В. С. Мутилин | ||
| "... -formulas in context of static verification. The paper highlights the essential problems of C memory model ..." | ||
| Том 29, № 4 (2017) | Метод моделирования памяти в предикатных абстракциях с разделением на непересекающиеся области | Аннотация похожие документы |
| А. Р. Волков, М. У. Мандрыкин | ||
| "... that can be used for static verification is a tool called CPAchecker. The problem of the current memory ..." | ||
| Том 37, № 3 (2025) | Поиск утечек памяти и ресурсов в статическом анализаторе Svace | Аннотация PDF (Rus) похожие документы |
| Никита Евгеньевич МАЛЫШЕВ, Алексей Евгеньевич БОРОДИН, Андрей Андреевич БЕЛЕВАНЦЕВ, Виталий Адольфович СЕМЕНОВ | ||
| "... The paper presents an approach to detecting memory and other resource leaks in the Svace static ..." | ||
| Том 35, № 3 (2023) | Анализ и исчисление алиасов, основанное на сегментированной модели адресации памяти | Аннотация похожие документы |
| Игорь Андреевич ПАРФЕНОВ | ||
| "... with direct memory access and address arithmetic, and a simple static analyzer for memory leaks. Our study ..." | ||
| Том 28, № 1 (2016) | Инфраструктура статического анализа программ на языке C# | Аннотация PDF (Rus) похожие документы |
| В. К. Кошелев, В. Н. Игнатьев, А. И. Борзилов | ||
| "... The paper describes static analysis techniques that are used for defect detection in C# programs ..." | ||
| Том 30, № 5 (2018) | Платформа межпроцедурного статического анализа бинарного кода | Аннотация PDF (Rus) похожие документы |
| А. К. Асланян | ||
| "... This paper describes the developed platform for static analysis of binary code. The platform ..." | ||
| Том 28, № 6 (2016) | Конфигурируемый метод поиска состояний гонок в операционных системах с использованием предикатных абстракций | Аннотация PDF (Rus) похожие документы |
| П. С. Андрианов, В. С. Мутилин, А. В. Хорошилов | ||
| "... The paper presents a configurable method of static data race detection that is trying to keep ..." | ||
| Том 31, № 3 (2019) | Поиск уязвимостей при помощи статического анализа помеченных данных | Аннотация похожие документы |
| Никита Владимирович Шимчик, Валерий Николаевич Игнатьев | ||
| "... of security vulnerabilities using interprocedural static taint analysis. The goal of this study is to develop ..." | ||
| Том 32, № 6 (2020) | Внутрипроцедурный анализ для поиска ошибок на основе символьного выполнения | Аннотация PDF (Rus) похожие документы |
| Алексей Евгеньевич БОРОДИН, Ирина Александровна ДУДИНА | ||
| "... Svace is a static analysis tool for bug detection in C/C++/Java source code. To analyze a program ..." | ||
| Том 27, № 6 (2015) | Разработка и реализация метода масштабирования по памяти для систем межмодульных оптимизаций и статического анализа на основе LLVM | Аннотация PDF (Rus) похожие документы |
| К. Ю. Долгорукова | ||
| "... Link-time optimization and static analyzing systems scalability problem is of current importance ..." | ||
| Том 27, № 5 (2015) | Метод легковесного статического анализа для поиска состояний гонок | Аннотация PDF (Rus) похожие документы |
| П. С. Андрианов, В. С. Мутилин, А. В. Хорошилов | ||
| "... The paper presents an approach to lightweight static data race detection, called CPALockator ..." | ||
| Том 34, № 6 (2022) | Irbis: статический анализатор помеченных данных для поиска уязвимостей в программах на C/C++ | Аннотация PDF (Rus) похожие документы |
| Никита Владимирович ШИМЧИК, Валерий Николаевич ИГНАТЬЕВ, Андрей Андреевич БЕЛЕВАНЦЕВ | ||
| "... Static taint analysis can be used to find various security weaknesses and vulnerabilities ..." | ||
| Том 30, № 1 (2018) | Асинхронные распределенные алгоритмы на статических и динамических ориентированных корневых графах | Аннотация похожие документы |
| И. Б. Бурдонов, А. С. Косачев, В. В. Кулямин, А. Н. Томилин, В. З. Шнитман | ||
| "... in a given time interval). A graph can be static or dynamic, i.e. changing. For a static graph we propose ..." | ||
| Том 31, № 6 (2019) | Анализ корректности работы с памятью с использованием расширения теории символьных графов предикатами над символьными значениями | Аннотация PDF (Rus) похожие документы |
| Антон Александрович Васильев, Вадим Сергеевич Мутилин | ||
| "... of the required specification is correct memory usage. The article describes an efficient method for static ..." | ||
| Том 27, № 6 (2015) | Статический анализатор Svace как коллекция анализаторов разных уровней сложности | Аннотация PDF (Rus) похожие документы |
| А. Е. Бородин, А. А. Белеванцев | ||
| "... static analysis. This approach allows missing some of the defects. The goal is to find as many defects ..." | ||
| Том 27, № 5 (2015) | Моделирование памяти с использованием неинтерпретируемых функций в предикатных абстракциях | Аннотация PDF (Rus) похожие документы |
| М. У. Мандрыкин, В. С. Мутилин | ||
| "... One of the key problems in modern static verification methods is a precise model for semantics ..." | ||
| Том 30, № 3 (2018) | Статический анализ для поиска переполнения буфера: актуальные направления развития | Аннотация похожие документы |
| И. А. Дудина | ||
| "... and vulnerabilities. Among other solutions several static analysis techniques were developed to mitigate such program ..." | ||
| Том 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 ..." | ||
| Том 21 (2011) | Механизмы расширения системы статического анализа Svace детекторами новых видов уязвимостей и критических ошибок | Аннотация PDF (Rus) похожие документы |
| Арутюн Аветисян, Алексей Бородин | ||
| "... A static analysis tool Svace finding vulnerabilities and critical errors in the source code of C/C ..." | ||
| Том 33, № 4 (2021) | Полная решающая процедура для теории ограниченной адресной арифметики | Аннотация PDF (Rus) похожие документы |
| Рафаэль Фаритович САДЫКОВ, Михаил Усамович МАНДРЫКИН | ||
| "... arithmetic and operations on memory addresses. This promotes a need in developing various tools for automated ..." | ||
| Том 36, № 3 (2024) | Статический анализ для языка Scala | Аннотация PDF (Rus) похожие документы |
| Виталий Олегович АФАНАСЬЕВ, Алексей Евгеньевич БОРОДИН, Андрей Андреевич БЕЛЕВАНЦЕВ | ||
| "... The paper describes a static analyzer for finding defects in Scala programs. The proposed analysis ..." | ||
| Том 22 (2012) | Обзор инструментов статической верификации Си программ в применении к драйверам устройств операционной системы Linux | Аннотация PDF (Rus) похожие документы |
| М. У. Мандрыкин, В. С. Мутилин, Е. М. Новиков, А. В. Хорошилов | ||
| "... and complex memory structures. For future improvements in static verification of C programs and Linux device ..." | ||
| Том 28, № 1 (2016) | Основанный на резюме метод реализации произвольных контекстно-чувствительных проверок при анализе исходного кода посредством символьного выполнения | Аннотация PDF (Rus) похожие документы |
| А. В. Дергачёв, А. В. Сидорин | ||
| "... in detail. A particular implementation of the approach, based on Clang Static Analyzer, is described ..." | ||
| Том 29, № 4 (2017) | Статическая верификация конфигураций ядра Linux | Аннотация похожие документы |
| С. В. Козин, В. С. Мутилин | ||
| Том 33, № 3 (2021) | Обзор моделей работы статических анализаторов | Аннотация похожие документы |
| Максим Александрович МЕНЬШИКОВ | ||
| "... The static program analysis is gradually adopting advanced use cases, and integration ..." | ||
| Том 36, № 3 (2024) | Статический анализ ассоциативных массивов в Go | Аннотация PDF (Rus) похожие документы |
| Даниил Николаевич СУББОТИН, Алексей Евгеньевич БОРОДИН, Варвара Викторовна ДВОРЦОВА | ||
| "... The paper describes static analysis of map in the Go language for dereferencing a null pointer ..." | ||
| Том 31, № 5 (2019) | Автоматическое доказательство корректности программ с динамической памятью | Аннотация PDF (Rus) похожие документы |
| Юрий Олегович Костюков, Константин Аланович Батоев, Дмитрий Александрович Мордвинов, Михаил Павлович Костицын, Александр Владимирович Мисонижник | ||
| "... are investigated. We introduce a novel concept of compositional symbolic memory and its relevant properties. We ..." | ||
| Том 31, № 5 (2019) | Анализ корректности синхронизации компонентов ядра операционных систем | Аннотация PDF (Rus) похожие документы |
| Павел Сергеевич Андрианов | ||
| "... and fast and imprecise static analyzers. The key idea of the approach is an abstraction over the precise ..." | ||
| Том 26, № 2 (2014) | Межпроцедурный анализ помеченных данных на базе инфраструктуры LLVM | Аннотация PDF (Rus) похожие документы |
| В. К. Кошелев, А. О. Избышев, И. А. Дудина | ||
| "... static interprocedural flow, context, and object-sensitive taint analysis approach for C/C++ applications ..." | ||
| Том 29, № 3 (2017) | Сравнительный анализ двух подходов к статическому анализу помеченных данных | Аннотация PDF (Rus) похожие документы |
| М. В. Беляев, Н. В. Шимчик, В. Н. Игнатьев, А. А. Белеванцев | ||
| "... . It can be based on static analysis and successfully detect errors that lead to vulnerabilities ..." | ||
| Том 34, № 6 (2022) | Статический анализатор для языков с обработкой исключений | Аннотация PDF (Rus) похожие документы |
| Виталий Олегович АФАНАСЬЕВ, Варвара Викторовна ДВОРЦОВА, Алексей Евгеньевич БОРОДИН | ||
| "... This paper describes static analysis for the languages with exception handling. A low level ..." | ||
| Том 37, № 2 (2025) | TSAR: инструмент для оценки статических анализаторов | Аннотация PDF (Rus) похожие документы |
| Кирилл Алексеевич ЧИБИСОВ, Рубен Артурович БУЧАЦКИЙ, Андрей Дмитриевич ТИМОНИН, Владислав Игоревич ЛАЗАРЬ, Дмитрий Михайлович ЖУРИХИН, Андрей Андреевич БЕЛЕВАНЦЕВ | ||
| "... The article presents a new tool, TSAR, designed for evaluating the effectiveness of static ..." | ||
| Том 30, № 5 (2018) | Об одном подходе к анализу строк в языке Си для поиска переполнения буфера | Аннотация PDF (Rus) похожие документы |
| И. А. Дудина, Н. Е. Малышев | ||
| "... to eliminate such defects in the course of program development is static analysis. Existing static analysis ..." | ||
| Том 27, № 6 (2015) | Использование различных представлений java-программ для статического анализа | Аннотация PDF (Rus) похожие документы |
| Е. А. Карпулевич | ||
| "... A program representation plays an important role in static analysis of software. The article ..." | ||
| Том 29, № 3 (2017) | Анализ программ на языке Java в инструменте Svace | Аннотация PDF (Rus) похожие документы |
| А. П. Меркулов, С. А. Поляков, А. А. Белеванцев | ||
| "... The paper is devoted to the works performed within the Svace static analysis tool to support Java ..." | ||
| Том 32, № 5 (2020) | Обнаружение дефекта взаимной блокировки с помощью статического анализа | Аннотация PDF (Rus) похожие документы |
| Сергей Андреевич ПОЛЯКОВ, Алексей Евгеньевич БОРОДИН | ||
| "... The paper describes an extension to summary based static program analysis to find deadlock errors ..." | ||
| Том 26, № 3 (2014) | Статический поиск ошибок повторной блокировки семафора | Аннотация PDF (Rus) похожие документы |
| А. Е. Бородин | ||
| "... This paper describes algorithm for static search for error of double locking of mutex ..." | ||
| 1 - 39 из 275 результатов | 1 2 3 4 5 6 7 8 > >> | |
Советы по поиску:
- Поиск ведется с учетом регистра (строчные и прописные буквы различаются)
- Служебные слова (предлоги, союзы и т.п.) игнорируются
- По умолчанию отображаются статьи, содержащие хотя бы одно слово из запроса (то есть предполагается условие OR)
- Чтобы гарантировать, что слово содержится в статье, предварите его знаком +; например, +журнал +мембрана органелла рибосома
- Для поиска статей, содержащих все слова из запроса, объединяйте их с помощью AND; например, клетка AND органелла
- Исключайте слово при помощи знака - (дефис) или NOT; например. клетка -стволовая или клетка NOT стволовая
- Для поиска точной фразы используйте кавычки; например, "бесплатные издания". Совет: используйте кавычки для поиска последовательности иероглифов; например, "中国"
- Используйте круглые скобки для создания сложных запросов; например, архив ((журнал AND конференция) NOT диссертация)
