Сортировать по:
| Выпуск | Название | |
| Том 37, № 1 (2025) | Методика поиска уязвимостей в программном обеспечении, написанном на нескольких языках программирования | Аннотация PDF (Rus) похожие документы |
| Борис Аронович ПОЗИН, Полина Андреевна БОРОДУШКИНА, Дмитрий Антонович КОРОТКОВ, Михаил Александрович ФЕДОРОВ, Айнур Фуатович МУРАТОВ | ||
| "... of an automated vulnerability search in programs conducted using SAST (Static Application Security Testing) tool ..." | ||
| Том 33, № 6 (2021) | Использование идентификации потоков выполнения при решении задач полносистемного анализа бинарного кода | Аннотация PDF (Rus) похожие документы |
| Иван Александрович ВАСИЛЬЕВ, Павел Михайлович ДОВГАЛЮК, Мария Анатольевна КЛИМУШЕНКОВА | ||
| "... Dynamic binary analysis, that is often used for full-system analysis, provides the analyst ..." | ||
| Том 33, № 6 (2021) | Kotlin с точки зрения разработчика статического анализатора | Аннотация PDF (Rus) похожие документы |
| Виталий Олегович АФАНАСЬЕВ, Сергей Андреевич ПОЛЯКОВ, Алексей Евгеньевич БОРОДИН, Андрей Андреевич БЕЛЕВАНЦЕВ | ||
| "... analysis, but is also capable of analyzing mixed projects that use both Java and Kotlin languages. We hope ..." | ||
| Том 27, № 4 (2015) | Метод поиска уязвимости форматной строки | Аннотация PDF (Rus) похожие документы |
| И. А. Вахрушев, В. В. Каушан, В. А. Падарян, А. Н. Федотов | ||
| "... In this paper search method for format string vulnerabilities is presented. The method is based ..." | ||
| Том 28, № 6 (2016) | Классификация ROP гаджетов | Аннотация PDF (Rus) похожие документы |
| А. В. Вишняков | ||
| "... , a certain set of gadgets should be available to exploit a vulnerability. Determining gadgets that can ..." | ||
| Том 33, № 4 (2021) | Предотвращение уязвимостей, возникающих в результате оптимизации кода с неопределенным поведением | Аннотация PDF (Rus) похожие документы |
| Роман Вячеславович БАЕВ, Леонид Владленович СКВОРЦОВ, Евгений Алексеевич КУДРЯШОВ, Рубен Артурович БУЧАЦКИЙ, Роман Александрович ЖУЙКОВ | ||
| "... Aggressive optimization in modern compilers may uncover vulnerabilities in program code that did ..." | ||
| Том 26, № 3 (2014) | Применение компиляторных преобразований для противодействия эксплуатации уязвимостей программного обеспечения | Аннотация PDF (Rus) похожие документы |
| А. Р. Нурмухаметов, Ш. Ф. Курмангалеев, В. В. Каушан, С. С. Гайсарян | ||
| "... Software vulnerabilities are critical for security. All C/C++ programs contain significant amount ..." | ||
| Том 31, № 3 (2019) | Поиск уязвимостей при помощи статического анализа помеченных данных | Аннотация похожие документы |
| Никита Владимирович Шимчик, Валерий Николаевич Игнатьев | ||
| "... of security vulnerabilities using interprocedural static taint analysis. The goal of this study is to develop ..." | ||
| Том 33, № 1 (2021) | Поиск уязвимостей небезопасного использования помеченных данных в статическом анализаторе Svace | Аннотация PDF (Rus) похожие документы |
| Алексей Евгеньевич БОРОДИН, Алексей Вячеславович ГОРЕМЫКИН, Сергей Павлович ВАРТАНОВ, Андрей Андреевич БЕЛЕВАНЦЕВ | ||
| "... functions that require checked arguments. Checkers covering most of the possible types of vulnerabilities ..." | ||
| Том 34, № 6 (2022) | Статический анализатор для языков с обработкой исключений | Аннотация PDF (Rus) похожие документы |
| Виталий Олегович АФАНАСЬЕВ, Варвара Викторовна ДВОРЦОВА, Алексей Евгеньевич БОРОДИН | ||
| "... Svace for C++, Java and Kotlin languages. ..." | ||
| Том 34, № 6 (2022) | Irbis: статический анализатор помеченных данных для поиска уязвимостей в программах на C/C++ | Аннотация PDF (Rus) похожие документы |
| Никита Владимирович ШИМЧИК, Валерий Николаевич ИГНАТЬЕВ, Андрей Андреевич БЕЛЕВАНЦЕВ | ||
| "... Static taint analysis can be used to find various security weaknesses and vulnerabilities ..." | ||
| Том 22 (2012) | Двухэтапная компиляция для оптимизации и развертывания программ на языках общего назначения | Аннотация PDF (Rus) похожие документы |
| Арутюн Аветисян | ||
| "... be used allowing for additional features like defect and vulnerability checking while the cloud store has ..." | ||
| Том 28, № 5 (2016) | Оценка критичности программных дефектов в условиях работы современных защитных механизмов | Аннотация PDF (Rus) похожие документы |
| А. Н. Федотов, В. А. Падарян, В. В. Каушан, Ш. Ф. Курмангалеев, А. В. Вишняков, А. Р. Нурмухаметов | ||
| "... to solve this problem in practice. Generated exploit confirms the presence of a critical vulnerability ..." | ||
| Том 36, № 3 (2024) | Поддержка Visual Basic .NET в статическом анализаторе SharpChecker | Аннотация похожие документы |
| Вадим Сергеевич КАРЦЕВ, Валерий Николаевич ИГНАТЬЕВ | ||
| Том 26, № 3 (2014) | Автоматизированный метод построения эксплойтов для уязвимости переполнения буфера на стеке | Аннотация PDF (Rus) похожие документы |
| В. А. Падарян, В. В. Каушан, А. Н. Федотов | ||
| "... exploits for stack buffer overflow vulnerabilities and also to prioritize software bugs. It is applied ..." | ||
| Том 34, № 1 (2022) | Оценка уровня защищенности недоверенного программного обеспечения на основе технологии TrustZone | Аннотация похожие документы |
| Дмитрий Олегович МАРКИН, Сергей Михайлович МАКЕЕВ, Чунг Тхай ХО | ||
| "... software from the components of the TrustZone technology. The results of vulnerability analysis ..." | ||
| Том 21 (2011) | Использование статического анализа для поиска уязвимостей и критических ошибок в исходном коде программ | Аннотация PDF (Rus) похожие документы |
| Арутюн Аветисян, Андрей Белеванцев, Алексей Бородин, Владимир Несов | ||
| "... , critical errors, security vulnerabilities, malicious code). In this paper we review the static analysis ..." | ||
| Том 28, № 4 (2016) | Метод оценки эксплуатируемости программных дефектов | Аннотация PDF (Rus) похожие документы |
| А. Н. Федотов | ||
| Том 35, № 5 (2023) | Метод мутации сложноструктурированных входных данных при фаззинг-тестировании JavaScript интерпретаторов | Аннотация PDF (Rus) похожие документы |
| Наталья Сергеевна ЕРОХИНА | ||
| "... , which can lead to the identification of errors and vulnerabilities in JavaScript engines. This method ..." | ||
| Том 36, № 3 (2024) | Статический анализ для языка Scala | Аннотация PDF (Rus) похожие документы |
| Виталий Олегович АФАНАСЬЕВ, Алексей Евгеньевич БОРОДИН, Андрей Андреевич БЕЛЕВАНЦЕВ | ||
| Том 36, № 4 (2024) | Разработка безопасного компилятора на основе Clang | Аннотация PDF (Rus) похожие документы |
| Павел Дмитриевич ДУНАЕВ, Артем Александрович СИНКЕВИЧ, Артемий Максимович ГРАНАТ, Инна Александровна БАТРАЕВА, Сергей Владимирович МИРОНОВ, Никита Юрьевич ШУГАЛЕЙ | ||
| Том 29, № 5 (2017) | Исследование атак типа «Cross-Site Request Forgery» в рамках проведения анализа уязвимостей веб-приложений | Аннотация похожие документы |
| А. В. Барабанов, А. И. Лавров, А. С. Марков, И. А. Полотнянщиков, В. Л. Цирлов | ||
| "... vulnerabilities during information security certification is due to the fact that web technologies are actively ..." | ||
| Том 21 (2011) | Механизмы расширения системы статического анализа Svace детекторами новых видов уязвимостей и критических ошибок | Аннотация PDF (Rus) похожие документы |
| Арутюн Аветисян, Алексей Бородин | ||
| "... A static analysis tool Svace finding vulnerabilities and critical errors in the source code of C/C ..." | ||
| Том 29, № 6 (2017) | Построение предикатов безопасности для некоторых типов программных дефектов | Аннотация PDF (Rus) похожие документы |
| А. Н. Федотов, В. В. Каушан, С. С. Гайсарян, Ш. Ф. Курмангалеев | ||
| "... Approaches for code execution using program vulnerabilities are considered in this paper ..." | ||
| Том 35, № 1 (2023) | Исследование встречаемости небезопасно сериализованных программных объектов в клиентском коде веб–приложений | Аннотация PDF (Rus) похожие документы |
| Денис Дмитриевич МИРОНОВ, Даниил Алексеевич СИГАЛОВ, Максим Петрович МАЛЬКОВ | ||
| "... . As a result of this check, previously unknown vulnerabilities were found, which were reported ..." | ||
| Том 26, № 1 (2014) | Статический анализатор Svace для поиска дефектов в исходном коде программ | Аннотация PDF (Rus) похожие документы |
| В. П. Иванников, А. А. Белеванцев, А. Е. Бородин, В. Н. Игнатьев, Д. М. Журихин, А. И. Аветисян, М. И. Леонов | ||
| "... allows to find defects and potential vulnerabilities in source code of programs written in C/C ..." | ||
| Том 32, № 5 (2020) | Модельный подход к обеспечению безопасности и надежности Web-сервисов | Аннотация PDF (Rus) похожие документы |
| Екатерина Михайловна ЛАВРИЩЕВА, Сергей Вадимович ЗЕЛЕНОВ | ||
| Том 36, № 3 (2024) | Платформа автоматизации фаззинг-тестирования компонентов операционной системы | Аннотация PDF (Rus) похожие документы |
| Егор Петрович СУРАЕВ, Виктория Вячеславовна ЕГОРОВА, Алексей Сергеевич ПАНОВ | ||
| "... it allows vulnerabilities to be detected and fixed at an early stage. This article presents the development ..." | ||
| Том 30, № 5 (2018) | Метод анализа атак повторного использования кода | Аннотация PDF (Rus) похожие документы |
| А. В. Вишняков, А. Р. Нурмухаметов, Ш. Ф. Курмангалеев, С. С. Гайсарян | ||
| "... in operation of program software can lead to serious consequences and exploitation of vulnerabilities can ..." | ||
| Том 26, № 1 (2014) | Динамический анализ программ с целью поиска ошибок и уязвимостей при помощи целенаправленной генерации входных данных | Аннотация PDF (Rus) похожие документы |
| С. П. Вартанов, А. Ю. Герасимов | ||
| "... Programming RAS---Avalanche (Valgrind-based tool) and a prototype tool for Java applications. The paper ..." | ||
| Том 27, № 6 (2015) | Использование различных представлений java-программ для статического анализа | Аннотация PDF (Rus) похожие документы |
| Е. А. Карпулевич | ||
| Том 29, № 3 (2017) | Анализ программ на языке Java в инструменте Svace | Аннотация PDF (Rus) похожие документы |
| А. П. Меркулов, С. А. Поляков, А. А. Белеванцев | ||
| "... The paper is devoted to the works performed within the Svace static analysis tool to support Java ..." | ||
| Том 37, № 2 (2025) | TSAR: инструмент для оценки статических анализаторов | Аннотация PDF (Rus) похожие документы |
| Кирилл Алексеевич ЧИБИСОВ, Рубен Артурович БУЧАЦКИЙ, Андрей Дмитриевич ТИМОНИН, Владислав Игоревич ЛАЗАРЬ, Дмитрий Михайлович ЖУРИХИН, Андрей Андреевич БЕЛЕВАНЦЕВ | ||
| "... creates specific cases based on known vulnerabilities. Code transformations create complex structures ..." | ||
| Том 25 (2013) | Применение динамического анализа для поиска дефектов в программах на языке | Аннотация PDF (Rus) похожие документы |
| С. П. Вартанов, А. Ю. Герасимов | ||
| "... for Java applications is given. It is complemented by a detailed description of actual prototype ..." | ||
| Том 27, № 2 (2015) | Подход к проведению динамического анализа Java-программ методом модификации виртуальной машины Java | Аннотация PDF (Rus) похожие документы |
| М. К. Ермаков, С. П. Вартанов | ||
| Том 30, № 4 (2018) | Интерактивный специализатор подмножества языка Java, основанный на методе частичных вычислений | Аннотация похожие документы |
| И. А. Адамович, Анд. В. Климов | ||
| "... on partial evaluation for a subset of the Java programming language. The specializer has been implemented ..." | ||
| Том 27, № 2 (2015) | Подход к проведению динамического анализа Java-программ методом модификации виртуальной машины Java | Аннотация PDF (Rus) похожие документы |
| М. К. Ермаков, С. П. Вартанов | ||
| "... in multi-threaded Java applications. We use static Java byte-code instrumentation framework Coffee Machine ..." | ||
| Том 31, № 5 (2019) | Проактивная разметка примеров для адаптации к домену | Аннотация PDF (Rus) похожие документы |
| Максим Алексеевич Рындин, Денис Юрьевич Турдаков | ||
| "... сложности примера из целевого домена и принятии решения о необходимости его разметки надежным экспертом ..." | ||
| Том 27, № 1 (2015) | Применение статической инструментации байт-кода языка Java для динамического анализа программ | Аннотация PDF (Rus) похожие документы |
| С. П. Вартанов, М. К. Ермаков | ||
| "... This paper focuses on dynamic analysis of Java programs. We consider the following limitations ..." | ||
| 1 - 39 из 138 результатов | 1 2 3 4 > >> | |
Советы по поиску:
- Поиск ведется с учетом регистра (строчные и прописные буквы различаются)
- Служебные слова (предлоги, союзы и т.п.) игнорируются
- По умолчанию отображаются статьи, содержащие хотя бы одно слово из запроса (то есть предполагается условие OR)
- Чтобы гарантировать, что слово содержится в статье, предварите его знаком +; например, +журнал +мембрана органелла рибосома
- Для поиска статей, содержащих все слова из запроса, объединяйте их с помощью AND; например, клетка AND органелла
- Исключайте слово при помощи знака - (дефис) или NOT; например. клетка -стволовая или клетка NOT стволовая
- Для поиска точной фразы используйте кавычки; например, "бесплатные издания". Совет: используйте кавычки для поиска последовательности иероглифов; например, "中国"
- Используйте круглые скобки для создания сложных запросов; например, архив ((журнал AND конференция) NOT диссертация)
