Сортировать по:
Выпуск | Название | |
Том 24 (2013) | Автоматический поиск ошибок синхронизации в приложениях на платформе Android | Аннотация PDF (Rus) похожие документы |
В. П. Иванников, С. П. Вартанов, М. К. Ермаков | ||
"... динамического анализа приложений в рамках платформы Android. Приводится теоретический обзор существующих методов ..." | ||
Том 24 (2013) | Вероятностный анализ нового алгоритма упаковки прямоугольников в полосу | Аннотация PDF (Rus) похожие документы |
М. А. Трушников | ||
Том 23 (2012) | Динамический анализ обфусцированных приложений с диспетчеризацией или виртуализацией кода | Аннотация PDF (Rus) похожие документы |
М. Г. Бакулин, С. С. Гайсарян, Ш. Ф. Курмангалеев, И. Н. Ледовских, В. А. Падарян, С. М. Щевьева | ||
Том 23 (2012) | Повышение уровня представления трасс выполнения программ | Аннотация PDF (Rus) похожие документы |
А. Г. Назаров, М. А. Климушенкова, П. М. Довгалюк, В. А. Макаров | ||
"... Использование динамического анализа для понимания поведения программы является распространенной ..." | ||
Том 23 (2012) | Подход для проведения рефакторинга «Выделение функции» в инструменте Klocwork Insight | Аннотация PDF (Rus) похожие документы |
Н. Л. Луговской | ||
Том 21 (2011) | Обнаружение поискового спама в Вебе на основе анализа разнообразия текстов | Аннотация PDF (Rus) похожие документы |
А. С. Павлов, Б. В. Добров | ||
Том 27, № 2 (2015) | Подход к проведению динамического анализа Java-программ методом модификации виртуальной машины Java | Аннотация PDF (Rus) похожие документы |
М. К. Ермаков, С. П. Вартанов | ||
"... Данная статья посвящена вопросам проведения анализа программ интерпретируемых языков ..." | ||
Том 27, № 2 (2015) | Подход к проведению динамического анализа Java-программ методом модификации виртуальной машины Java | Аннотация PDF (Rus) похожие документы |
М. К. Ермаков, С. П. Вартанов | ||
"... при помощи динамического анализа. Преимущества динамического анализа заключаются в отсутствии ложных ..." | ||
Том 31, № 2 (2019) | Теоретический подход к поиску глобального экстремума при обучении нейронных сетей | Аннотация PDF (Rus) похожие документы |
Николай Анатольевич Вершков, Виктор Андреевич Кучуков, Наталья Николаевна Кучукова | ||
"... модели подтверждается широким применением ее в системах передачи информации для анализа и восстановления ..." | ||
Том 28, № 5 (2016) | Формализация определения ошибок при статическом символьном выполнении | Аннотация PDF (Rus) похожие документы |
В. К. Кошелев | ||
"... Данная работа посвящена формализации понятия ошибочной ситуации при статическом анализе исходного ..." | ||
Том 29, № 3 (2017) | О представлении результатов обратной инженерии бинарного кода | Аннотация PDF (Rus) похожие документы |
В. А. Падарян | ||
"... рамках задачи обратной инженерии: как промежуточные представления для автоматического анализа, так и ..." | ||
Том 32, № 6 (2020) | Внутрипроцедурный анализ для поиска ошибок на основе символьного выполнения | Аннотация PDF (Rus) похожие документы |
Алексей Евгеньевич БОРОДИН, Ирина Александровна ДУДИНА | ||
"... В работе описывается внутрипроцедурный анализ отдельных функций, использующийся в инструменте ..." | ||
Том 33, № 6 (2021) | Использование идентификации потоков выполнения при решении задач полносистемного анализа бинарного кода | Аннотация PDF (Rus) похожие документы |
Иван Александрович ВАСИЛЬЕВ, Павел Михайлович ДОВГАЛЮК, Мария Анатольевна КЛИМУШЕНКОВА | ||
"... При полносистемном анализе бинарного кода зачастую применяется динамический бинарный анализ, при ..." | ||
Том 35, № 6 (2023) | Классификация текста растрового документа по признаку начертания | Аннотация PDF (Rus) похожие документы |
Даниил Евгеньевич КОПЫЛОВ, Андрей Анатольевич МИХАЙЛОВ | ||
Том 34, № 4 (2022) | Обнаружение ошибок взаимоисключающей блокировки в программах на языке С# при помощи методов статического анализа | Аннотация PDF (Rus) похожие документы |
Полина Ильинична РАГОЗИНА, Валерий Николаевич ИГНАТЬЕВ | ||
"... В статье рассматриваются алгоритмы статического анализа, которые направлены на поиск трех типов ..." | ||
Том 34, № 6 (2022) | Повышение точности статического анализа за счет учета значений полей класса, имеющих единственное константное значение | Аннотация PDF (Rus) похожие документы |
Вадим Сергеевич КАРЦЕВ, Валерий Николаевич ИГНАТЬЕВ | ||
"... В данной статье описывается подход, позволяющий с помощью предварительного анализа полей с ..." | ||
Том 35, № 1 (2023) | Исследование встречаемости небезопасно сериализованных программных объектов в клиентском коде веб–приложений | Аннотация PDF (Rus) похожие документы |
Денис Дмитриевич МИРОНОВ, Даниил Алексеевич СИГАЛОВ, Максим Петрович МАЛЬКОВ | ||
"... уникальные классы, главной целью которых является облегчение ручного и автоматического анализа веб-приложений ..." | ||
Том 26, № 3 (2014) | Статический поиск ошибок повторной блокировки семафора | Аннотация PDF (Rus) похожие документы |
А. Е. Бородин | ||
"... терминах анализа потока данных. При анализе элементы домена используются в качестве свойств потока данных ..." | ||
Том 27, № 3 (2015) | Рациональное проектирование модели, описывающей структуру классов объектов, на основе онтологического анализа данных | Аннотация PDF (Rus) похожие документы |
А. Н. Коварцев, В. С. Смирнов, С. В. Смирнов | ||
"... -ориентированном анализе и проектировании программного обеспечения. Предложено формировать модель, описывающую ..." | ||
Том 32, № 3 (2020) | Подходы к отладке и обеспечению качества статического анализатора | Аннотация похожие документы |
Максим Александрович МЕНЬШИКОВ | ||
"... исследователя статического анализа. В этой статье представлен наш опыт отладки незавершенного промышленного ..." | ||
Том 25 (2013) | Подход к обнаружению ошибок несоответствия типов в коде на динамических языках программирования | Аннотация PDF (Rus) похожие документы |
И. Е. Бронштейн | ||
Том 21 (2011) | Механизмы расширения системы статического анализа Svace детекторами новых видов уязвимостей и критических ошибок | Аннотация PDF (Rus) похожие документы |
Арутюн Аветисян, Алексей Бородин | ||
"... В ИСП РАН разрабатывается инструмент статического анализа Svace для поиска ошибок в исходном коде ..." | ||
Том 31, № 6 (2019) | Программный комплекс для выявления недекларированных возможностей в условиях отсутствия исходного кода | Аннотация PDF (Rus) похожие документы |
Александр Борисович Бугеря, Василий Юрьевич Ефимов, Иван Иванович Кулагин, Вартан Андроникович Падарян, Михаил Александрович Соловьев, Андрей Юрьевич Тихонов | ||
"... задач анализа безопасности бинарного кода. Автоматизация решения этой задачи затруднена и требует ..." | ||
Том 28, № 5 (2016) | Обнаружение ошибок доступа к буферу в программах на языке C/C++ с помощью статического анализа | Аннотация PDF (Rus) похожие документы |
И. А. Дудина | ||
"... статического анализа. В основе рассматриваемого подхода лежит разработанный ранее алгоритм внутрипроцедурного ..." | ||
Том 33, № 1 (2021) | Поиск уязвимостей небезопасного использования помеченных данных в статическом анализаторе Svace | Аннотация PDF (Rus) похожие документы |
Алексей Евгеньевич БОРОДИН, Алексей Вячеславович ГОРЕМЫКИН, Сергей Павлович ВАРТАНОВ, Андрей Андреевич БЕЛЕВАНЦЕВ | ||
"... анализатору SvEng. Анализатор строит граф вызовов, после чего выполняет анализ на основе резюме. При таком ..." | ||
Том 33, № 6 (2021) | Модель и декларативный язык спецификации бинарных форматов данных | Аннотация PDF (Rus) похожие документы |
Александр Александрович ЕВГИН, Михаил Александрович СОЛОВЬЕВ, Вартан Андроникович ПАДАРЯН | ||
"... совместного анализа кода и данных. Ключевым элементом для решения всех этих задач является универсальная ..." | ||
Том 35, № 6 (2023) | Статический анализ на основе обобщённого абстрактного синтаксического дерева | Аннотация похожие документы |
Виталий Олегович АФАНАСЬЕВ, Алексей Евгеньевич БОРОДИН, Константин Игоревич ВИХЛЯНЦЕВ, Андрей Андреевич БЕЛЕВАНЦЕВ | ||
"... ), подходящее для статического анализа нескольких языков программирования. Предлагаемая схема анализа состоит в ..." | ||
Том 23 (2012) | Верификация драйверов операционной системы Linux | Аннотация PDF (Rus) похожие документы |
Д. Бейер, А. К. Петренко | ||
"... применения различных техник анализа программ: использования SMT-решателей, методов верификации моделей (model ..." | ||
Том 26, № 1 (2014) | Анализ социальных сетей: методы и приложения | Аннотация PDF (Rus) похожие документы |
Антон Коршунов, Иван Белобородов, Назар Бузун, Валерий Аванесов, Роман Пастухов, Кирилл Чихрадзе, Илья Козлов, Андрей Гомзин, Иван Андрианов, Андрей Сысоев, Степан Ипатов, Илья Филоненко, Кристина Чуприна, Денис Турдаков, Сергей Кузнецов | ||
"... В статье описаны основные компоненты разработанного в ИСП РАН стека технологий для анализа ..." | ||
Том 27, № 6 (2015) | Статический анализатор Svace как коллекция анализаторов разных уровней сложности | Аннотация PDF (Rus) похожие документы |
А. Е. Бородин, А. А. Белеванцев | ||
"... статического анализа. При таком подходе допускается пропуск некоторых дефектов. Целью анализа является поиск ..." | ||
61 - 90 из 209 результатов | << < 1 2 3 4 5 6 7 > >> |
Советы по поиску:
- Поиск ведется с учетом регистра (строчные и прописные буквы различаются)
- Служебные слова (предлоги, союзы и т.п.) игнорируются
- По умолчанию отображаются статьи, содержащие хотя бы одно слово из запроса (то есть предполагается условие OR)
- Чтобы гарантировать, что слово содержится в статье, предварите его знаком +; например, +журнал +мембрана органелла рибосома
- Для поиска статей, содержащих все слова из запроса, объединяйте их с помощью AND; например, клетка AND органелла
- Исключайте слово при помощи знака - (дефис) или NOT; например. клетка -стволовая или клетка NOT стволовая
- Для поиска точной фразы используйте кавычки; например, "бесплатные издания". Совет: используйте кавычки для поиска последовательности иероглифов; например, "中国"
- Используйте круглые скобки для создания сложных запросов; например, архив ((журнал AND конференция) NOT диссертация)