Сортировать по:
Выпуск | Название | |
Том 30, № 5 (2018) | Платформа межпроцедурного статического анализа бинарного кода | Аннотация PDF (Rus) похожие документы |
А. К. Асланян | ||
"... This paper describes the developed platform for static analysis of binary code. The platform ..." | ||
Том 34, № 4 (2022) | Обнаружение ошибок взаимоисключающей блокировки в программах на языке С# при помощи методов статического анализа | Аннотация PDF (Rus) похожие документы |
Полина Ильинична РАГОЗИНА, Валерий Николаевич ИГНАТЬЕВ | ||
"... The paper describes static analysis algorithms aimed at finding three types of errors related ..." | ||
Том 21 (2011) | Использование статического анализа для поиска уязвимостей и критических ошибок в исходном коде программ | Аннотация PDF (Rus) похожие документы |
Арутюн Аветисян, Андрей Белеванцев, Алексей Бородин, Владимир Несов | ||
"... Static analysis is a popular way of finding given patterns in source or binary code (e.g., coding ..." | ||
Том 26, № 2 (2014) | Межпроцедурный анализ помеченных данных на базе инфраструктуры LLVM | Аннотация PDF (Rus) похожие документы |
В. К. Кошелев, А. О. Избышев, И. А. Дудина | ||
"... Today the development cycle of many application classes requires a security analysis stage. Taint ..." | ||
Том 34, № 6 (2022) | Поиск использований освобожденного ресурса в исходном коде на языке C# методами статического анализа | Аннотация PDF (Rus) похожие документы |
Ульяна Владимировна ТЯЖКОРОБ, Валерий Николаевич ИГНАТЬЕВ, Андрей Андреевич БЕЛЕВАНЦЕВ | ||
"... of an industrial SharpChecker, that performs a scalable inter-procedural path-, and context-sensitive analysis ..." | ||
Том 28, № 1 (2016) | Инфраструктура статического анализа программ на языке C# | Аннотация PDF (Rus) похожие документы |
В. К. Кошелев, В. Н. Игнатьев, А. И. Борзилов | ||
"... proposed approaches are implemented in the SharpChecker static analysis tool and, as evaluated on several ..." | ||
Том 31, № 6 (2019) | Исследование и разработка межпроцедурных алгоритмов поиска дефектов в исполняемом коде программ | Аннотация PDF (Rus) похожие документы |
Григорий Сергеевич Иванов, Павел Михайлович Пальчиков, Артём Юрьевич Тарасов, Глеб Станиславович Акимов, Айк Каренович Асланян, Ваагн Геворгович Варданян, Мариам Сероповна Арутюнян, Григор Сосович Керопян | ||
"... код проблемных участков может отсутствовать. Приобретают популярность статические методы поиска ..." | ||
Том 26, № 1 (2014) | Статический анализатор Svace для поиска дефектов в исходном коде программ | Аннотация PDF (Rus) похожие документы |
В. П. Иванников, А. А. Белеванцев, А. Е. Бородин, В. Н. Игнатьев, Д. М. Журихин, А. И. Аветисян, М. И. Леонов | ||
"... This paper describes Svace, a tool for static program analysis developed in ISP RAS. This tool ..." | ||
Том 28, № 1 (2016) | Основанный на резюме метод реализации произвольных контекстно-чувствительных проверок при анализе исходного кода посредством символьного выполнения | Аннотация PDF (Rus) похожие документы |
А. В. Дергачёв, А. В. Сидорин | ||
"... is suitable for analysis of program source code developed with high-level programming languages and allows ..." | ||
Том 32, № 3 (2020) | Моделирование библиотечных функций в промышленном статическом анализаторе кода | Аннотация похожие документы |
Михаил Владимирович БЕЛЯЕВ, Егор Сергеевич РОМАНЕНКОВ, Валерий Николаевич ИГНАТЬЕВ | ||
"... SharpChecker is an industrial level static analyzer, which is aimed at detection of various bugs ..." | ||
Том 28, № 5 (2016) | Обнаружение ошибок доступа к буферу в программах на языке C/C++ с помощью статического анализа | Аннотация PDF (Rus) похожие документы |
И. А. Дудина | ||
"... We propose inter-procedural static analysis tool for buffer overflow detection. It is based ..." | ||
Том 27, № 6 (2015) | Статический анализатор Svace как коллекция анализаторов разных уровней сложности | Аннотация PDF (Rus) похожие документы |
А. Е. Бородин, А. А. Белеванцев | ||
"... static analysis. This approach allows missing some of the defects. The goal is to find as many defects ..." | ||
Том 31, № 3 (2019) | Поиск уязвимостей при помощи статического анализа помеченных данных | Аннотация похожие документы |
Никита Владимирович Шимчик, Валерий Николаевич Игнатьев | ||
"... of security vulnerabilities using interprocedural static taint analysis. The goal of this study is to develop ..." | ||
Том 34, № 6 (2022) | Irbis: статический анализатор помеченных данных для поиска уязвимостей в программах на C/C++ | Аннотация PDF (Rus) похожие документы |
Никита Владимирович ШИМЧИК, Валерий Николаевич ИГНАТЬЕВ, Андрей Андреевич БЕЛЕВАНЦЕВ | ||
"... Static taint analysis can be used to find various security weaknesses and vulnerabilities ..." | ||
Том 30, № 3 (2018) | Статический анализ для поиска переполнения буфера: актуальные направления развития | Аннотация похожие документы |
И. А. Дудина | ||
"... and vulnerabilities. Among other solutions several static analysis techniques were developed to mitigate such program ..." | ||
Том 34, № 6 (2022) | Повышение точности статического анализа за счет учета значений полей класса, имеющих единственное константное значение | Аннотация PDF (Rus) похожие документы |
Вадим Сергеевич КАРЦЕВ, Валерий Николаевич ИГНАТЬЕВ | ||
"... as part of the industrial static analyzer SharpChecker. The main analysis is performed at the AST level ..." | ||
Том 33, № 1 (2021) | Поиск уязвимостей небезопасного использования помеченных данных в статическом анализаторе Svace | Аннотация PDF (Rus) похожие документы |
Алексей Евгеньевич БОРОДИН, Алексей Вячеславович ГОРЕМЫКИН, Сергей Павлович ВАРТАНОВ, Андрей Андреевич БЕЛЕВАНЦЕВ | ||
"... and then performs summary-based analysis. In this analysis, the functions are traversed according to the call graph ..." | ||
Том 26, № 3 (2014) | Обзор масштабируемых систем межмодульных оптимизаций | Аннотация PDF (Rus) похожие документы |
К. Ю. Долгорукова | ||
"... stages of whole program compilation as well as ways to save memory consumed by cross-module analysis ..." | ||
Том 33, № 3 (2021) | Обзор моделей работы статических анализаторов | Аннотация похожие документы |
Максим Александрович МЕНЬШИКОВ | ||
"... The static program analysis is gradually adopting advanced use cases, and integration ..." | ||
Том 27, № 1 (2015) | Применение статической инструментации байт-кода языка Java для динамического анализа программ | Аннотация PDF (Rus) похожие документы |
С. П. Вартанов, М. К. Ермаков | ||
"... This paper focuses on dynamic analysis of Java programs. We consider the following limitations ..." | ||
Том 29, № 5 (2017) | Подход к определению достижимости программных дефектов, обнаруженных методом статического анализа, при помощи динамического символьного исполнения | Аннотация PDF (Rus) похожие документы |
А. Ю. Герасимов, Л. В. Круглов, М. К. Ермаков, С. П. Вартанов | ||
"... Historically program analysis methods are divided into two groups - static program analysis methods ..." | ||
Том 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 ..." | ||
Том 29, № 3 (2017) | Обзор подходов к улучшению качества результатов статического анализа программ | Аннотация PDF (Rus) похожие документы |
А. Ю. Герасимов | ||
"... as for check software for critical runtime defects and security vulnerabilities. Program analysis is one ..." | ||
Том 28, № 4 (2016) | Поиск ошибок доступа к буферу в программах на языке C/C++ | Аннотация PDF (Rus) похожие документы |
И. А. Дудина, В. К. Кошелев, А. Е. Бородин | ||
"... The paper describes a static analysis approach for buffer overflow detection in C/C++ source code ..." | ||
Том 28, № 5 (2016) | Вычисление входных данных для достижения определенной функции в программе методом итеративного динамического анализа | Аннотация PDF (Rus) похожие документы |
А. Ю. Герасимов, Л. В. Круглов | ||
"... Dynamic symbolic execution is a well-known technique used for different tasks of program analysis ..." | ||
Том 28, № 5 (2016) | Формализация определения ошибок при статическом символьном выполнении | Аннотация PDF (Rus) похожие документы |
В. К. Кошелев | ||
"... This paper is devoted to the formalization of the error criteria for program static analysis, based ..." | ||
Том 33, № 6 (2021) | Kotlin с точки зрения разработчика статического анализатора | Аннотация PDF (Rus) похожие документы |
Виталий Олегович АФАНАСЬЕВ, Сергей Андреевич ПОЛЯКОВ, Алексей Евгеньевич БОРОДИН, Андрей Андреевич БЕЛЕВАНЦЕВ | ||
"... The paper describes a static analysis for finding defects and computing metrics for programs ..." | ||
Том 26, № 3 (2014) | Статический поиск ошибок повторной блокировки семафора | Аннотация PDF (Rus) похожие документы |
А. Е. Бородин | ||
"... a domain approximated set of regular languages. The algorithm is implemented in terms of data flow analysis ..." | ||
1 - 30 из 525 результатов | 1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 17 18 > >> |
Советы по поиску:
- Поиск ведется с учетом регистра (строчные и прописные буквы различаются)
- Служебные слова (предлоги, союзы и т.п.) игнорируются
- По умолчанию отображаются статьи, содержащие хотя бы одно слово из запроса (то есть предполагается условие OR)
- Чтобы гарантировать, что слово содержится в статье, предварите его знаком +; например, +журнал +мембрана органелла рибосома
- Для поиска статей, содержащих все слова из запроса, объединяйте их с помощью AND; например, клетка AND органелла
- Исключайте слово при помощи знака - (дефис) или NOT; например. клетка -стволовая или клетка NOT стволовая
- Для поиска точной фразы используйте кавычки; например, "бесплатные издания". Совет: используйте кавычки для поиска последовательности иероглифов; например, "中国"
- Используйте круглые скобки для создания сложных запросов; например, архив ((журнал AND конференция) NOT диссертация)