Сортировать по:
| Выпуск | Название | |
| Том 30, № 5 (2018) | Платформа межпроцедурного статического анализа бинарного кода | Аннотация PDF (Rus) похожие документы |
| А. К. Асланян | ||
| "... is developed based on interprocedural, flow-sensitive and context-sensitive analysis of the program ..." | ||
| Том 28, № 5 (2016) | Платформенно-независимый и масштабируемый инструмент поиска клонов кода в бинарных файлах | Аннотация PDF (Rus) похожие документы |
| А. К. Асланян, Ш. Ф. Курмангалеев, В. Г. Варданян, М. С. Арутюнян, С. С. Саргсян | ||
| "... REIL (Reverse Engineering Intermediate Language). The usage of REIL language allows to generate graphs ..." | ||
| Том 26, № 2 (2014) | Межпроцедурный анализ помеченных данных на базе инфраструктуры LLVM | Аннотация PDF (Rus) похожие документы |
| В. К. Кошелев, А. О. Избышев, И. А. Дудина | ||
| "... static interprocedural flow, context, and object-sensitive taint analysis approach for C/C++ applications ..." | ||
| Том 21 (2011) | Использование статического анализа для поиска уязвимостей и критических ошибок в исходном коде программ | Аннотация PDF (Rus) похожие документы |
| Арутюн Аветисян, Андрей Белеванцев, Алексей Бородин, Владимир Несов | ||
| "... . The tool uses interprocedural unsound dataflow analysis and allows performing fully automatic analysis ..." | ||
| Том 31, № 6 (2019) | Исследование и разработка межпроцедурных алгоритмов поиска дефектов в исполняемом коде программ | Аннотация PDF (Rus) похожие документы |
| Григорий Сергеевич Иванов, Павел Михайлович Пальчиков, Артём Юрьевич Тарасов, Глеб Станиславович Акимов, Айк Каренович Асланян, Ваагн Геворгович Варданян, Мариам Сероповна Арутюнян, Григор Сосович Керопян | ||
| "... on a certain set of paths in the call graph, which requires interprocedural algorithms for finding defects ..." | ||
| Том 26, № 1 (2014) | Статический анализатор Svace для поиска дефектов в исходном коде программ | Аннотация PDF (Rus) похожие документы |
| В. П. Иванников, А. А. Белеванцев, А. Е. Бородин, В. Н. Игнатьев, Д. М. Журихин, А. И. Аветисян, М. И. Леонов | ||
| "... В работе описывается разрабатываемый в ИСП РАН инструмент автоматического статического анализа ..." | ||
| Том 28, № 1 (2016) | Основанный на резюме метод реализации произвольных контекстно-чувствительных проверок при анализе исходного кода посредством символьного выполнения | Аннотация PDF (Rus) похожие документы |
| А. В. Дергачёв, А. В. Сидорин | ||
| "... A specific approach to summary-based interprocedural symbolic execution is described. The approach ..." | ||
| Том 27, № 6 (2015) | Статический анализатор Svace как коллекция анализаторов разных уровней сложности | Аннотация PDF (Rus) похожие документы |
| А. Е. Бородин, А. А. Белеванцев | ||
| "... статического анализа. При таком подходе допускается пропуск некоторых дефектов. Целью анализа является поиск ..." | ||
| Том 36, № 3 (2024) | Платформа автоматизации фаззинг-тестирования компонентов операционной системы | Аннотация PDF (Rus) похожие документы |
| Егор Петрович СУРАЕВ, Виктория Вячеславовна ЕГОРОВА, Алексей Сергеевич ПАНОВ | ||
| "... интеграция с платформой обработки и хранения результатов различных средств анализа безопасности ..." | ||
| Том 34, № 4 (2022) | Обнаружение ошибок взаимоисключающей блокировки в программах на языке С# при помощи методов статического анализа | Аннотация PDF (Rus) похожие документы |
| Полина Ильинична РАГОЗИНА, Валерий Николаевич ИГНАТЬЕВ | ||
| "... execution technology and involve interprocedural analysis via summary of functions, which ensures ..." | ||
| Том 31, № 3 (2019) | Поиск уязвимостей при помощи статического анализа помеченных данных | Аннотация похожие документы |
| Никита Владимирович Шимчик, Валерий Николаевич Игнатьев | ||
| "... of security vulnerabilities using interprocedural static taint analysis. The goal of this study is to develop ..." | ||
| Том 24 (2013) | Автоматический поиск ошибок синхронизации в приложениях на платформе Android | Аннотация PDF (Rus) похожие документы |
| В. П. Иванников, С. П. Вартанов, М. К. Ермаков | ||
| "... динамического анализа приложений в рамках платформы Android. Приводится теоретический обзор существующих методов ..." | ||
| Том 36, № 3 (2024) | Статический анализ ассоциативных массивов в Go | Аннотация PDF (Rus) похожие документы |
| Даниил Николаевич СУББОТИН, Алексей Евгеньевич БОРОДИН, Варвара Викторовна ДВОРЦОВА | ||
| "... dereference detector works. Then we proceed with a summary-based interprocedural analysis. We show evaluation ..." | ||
| Том 30, № 3 (2018) | Статический анализ для поиска переполнения буфера: актуальные направления развития | Аннотация похожие документы |
| И. А. Дудина | ||
| "... static analyzer). Our research has shown that interprocedural analysis, path-sensitivity and loop ..." | ||
| Том 34, № 6 (2022) | Irbis: статический анализатор помеченных данных для поиска уязвимостей в программах на C/C++ | Аннотация PDF (Rus) похожие документы |
| Никита Владимирович ШИМЧИК, Валерий Николаевич ИГНАТЬЕВ, Андрей Андреевич БЕЛЕВАНЦЕВ | ||
| "... a static taint analyzer Irbis. It implements analysis based on IFDS (Interprocedural Finite Distributive ..." | ||
| Том 34, № 2 (2022) | Паттерны проектирования для аналитической платформы, основанной на знаниях | Аннотация похожие документы |
| Виктор Сергеевич ЗАЯКИН, Людмила Николаевна ЛЯДОВА, Евгений Андреевич РАБЧЕВСКИЙ | ||
| "... , анализ социальных сетей и медиа (Social Network Analysis, SNA). Во многом это связано со свойствами ..." | ||
| Том 37, № 3 (2025) | Поиск утечек памяти и ресурсов в статическом анализаторе Svace | Аннотация PDF (Rus) похожие документы |
| Никита Евгеньевич МАЛЫШЕВ, Алексей Евгеньевич БОРОДИН, Андрей Андреевич БЕЛЕВАНЦЕВ, Виталий Адольфович СЕМЕНОВ | ||
| "... describe the main analysis infrastructure based on an interprocedural symbolic execution with state merging ..." | ||
| Том 28, № 1 (2016) | Инфраструктура статического анализа программ на языке C# | Аннотация PDF (Rus) похожие документы |
| В. К. Кошелев, В. Н. Игнатьев, А. И. Борзилов | ||
| "... construction, data flow analysis, context- and path-sensitive interprocedural analysis. We propose ..." | ||
| Том 32, № 5 (2020) | Распределенная модульная платформа «Цифровая Лаборатория» как среда для проведения научных исследований и разработок НИЦ «Курчатовский Институт» | Аннотация PDF (Rus) похожие документы |
| Андрей Николаевич ПОЛЯКОВ, Ирина Михайловна ЕНЯГИНА, Дмитрий Сергеевич КОКОВИН | ||
| "... образом, возникают задачи обмена данными между различными зданиями, организации их обработки, анализа и ..." | ||
| Том 27, № 1 (2015) | Применение статической бинарной инструментации с целью проведения динамического анализа программ для платформы ARM | Аннотация PDF (Rus) похожие документы |
| М. К. Ермаков, С. П. Вартанов | ||
| "... В настоящее время динамический анализ программ активно используется для контроля качества ..." | ||
| Том 32, № 3 (2020) | Анализ активности студентов на курсах онлайн-обучения на основе логов платформы «OpenEdu» | Аннотация похожие документы |
| Никита Дмитриевич БАРСУКОВ, Иван Михайлович СЫСОЕВ, Алина Александровна ПЕРЕСКОКОВА, Игорь Валерьевич НИКИФОРОВ, Денисс ПОСМЕТНЫЙС | ||
| "... В настоящее время многие люди используют образовательные онлайн-платформы. Большинство из них ..." | ||
| Том 37, № 1 (2025) | Компьютерное моделирование и оптимизация конструкции микрофлюидного чипа | Аннотация PDF (Rus) похожие документы |
| Анастасия Андреевна ВАРФОЛОМЕЕВА, Лев Андреевич ПЯТКО, Софья Романовна ПАРШИНА | ||
| "... Работа посвящена анализу гидродинамической модели клапана Теслы, позволяющего регулировать поток ..." | ||
| Том 22 (2012) | Автоматическая настройка оптимизационных преобразований компилятора GCC для платформы ARM | Аннотация PDF (Rus) похожие документы |
| Роман Жуйков, Дмитрий Плотников, Мамикон Варданян | ||
| "... компиляции, разработанная для использования на встраиваемых платформах. Система включает в себя средства ..." | ||
| Том 37, № 2 (2025) | Какой статус васюганского варианта хантыйcкого языка подтверждают вычисления на платформе ЛингвоДок с точки зрения его системных морфологических характеристик? | Аннотация похожие документы |
| Виктория Владимировна ВОРОБЬЕВА, Ирина Владимировна НОВИЦКАЯ | ||
| "... В данном исследовании объектом анализа выступает васюганский вариант хантыйского языка. Его статус ..." | ||
| Том 32, № 6 (2020) | Практическая абстрактная интерпретация бинарного кода | Аннотация PDF (Rus) похожие документы |
| Михаил Александрович СОЛОВЬЕВ, Максим Геннадьевич БАКУЛИН, Сергей Сергеевич МАКАРОВ, Дмитрий Валерьевич МАНУШИН, Вартан Андроникович ПАДАРЯН | ||
| "... handle interprocedural analysis internally, via inlining or using summaries, so the interpretations only ..." | ||
| Том 35, № 4 (2023) | Функциональные особенности падежных показателей в ваховском хантыйском языке (на материале базы современных полевых данных на платформе ЛингвоДок) | Аннотация PDF (Rus) похожие документы |
| Виктория Владимировна ВОРОБЬЕВА, Ирина Владимировна НОВИЦКАЯ | ||
| "... В настоящем исследовании объектом анализа выступает совокупность падежных морфем существительных ..." | ||
| Том 33, № 1 (2021) | Поиск уязвимостей небезопасного использования помеченных данных в статическом анализаторе Svace | Аннотация PDF (Rus) похожие документы |
| Алексей Евгеньевич БОРОДИН, Алексей Вячеславович ГОРЕМЫКИН, Сергей Павлович ВАРТАНОВ, Андрей Андреевич БЕЛЕВАНЦЕВ | ||
| "... by an attacker. The interprocedural static analyzer Svace was used as a basis. The analyzer searches both ..." | ||
| Том 34, № 6 (2022) | Опция «Phonology» платформы LingvoDoc как способ верификации (на материале сосьвинского диалекта мансийского языка) | Аннотация PDF (Rus) похожие документы |
| Наталья Андреевна КОШЕЛЮК | ||
| "... села Ломбовож. Его экспериментально-фонологический анализ был выполнен с помощью современной системы ..." | ||
| Том 26, № 3 (2014) | Прототип интегрированной программной платформы для сопровождения вычислительного эксперимента в комплексных задачах математического моделирования | Аннотация PDF (Rus) похожие документы |
| М. П. Галанин, М. М. Горбунов-Посадов, А. В. Ермаков, В. В. Лукин, А. С. Родин, К. Л. Шаповалов | ||
| "... Представлена архитектура, интерфейсы и форматы входных и выходных данных платформы, реализованные ..." | ||
| Том 28, № 3 (2016) | Автоматическая генерация кода по вложенным сетям Петри для систем на основе событий на платформе Telegram | Аннотация похожие документы |
| Д. И. Самохвалов, Л. В. Дворянский | ||
| "... анализа вложенных сетей Петри, но синтез мультиагентных систем по моделям вложенных сетей Петри еще ..." | ||
| Том 35, № 6 (2023) | Словарь Г.Ф. Миллера «Описание живущих в Казанской губернии языческих народов, яко то черемис, чуваш и вотяков...» как источник для изучения татарского языка XVIII века (на материале ЛингвоДок) | Аннотация похожие документы |
| Фануза Шакуровна НУРИЕВА, Гульшат Раисовна ГАЛИУЛЛИНА, Айрат Фаикович ЮСУПОВ | ||
| "... . В статье представлены результаты анализа трех словарей Г.Ф. Миллера, созданных в XVIII веке и ..." | ||
| Том 36, № 3 (2024) | Перспективы использования доверенной информационной аналитической системы на базе платформы Талисман с применением методов искусственного интеллекта для повышения эффективности эксплуатации сложных аппаратных систем | Аннотация PDF (Rus) похожие документы |
| Филипп Аркадьевич КОЛОКОЛЬНИКОВ, Владимир Владимирович ОРЛОВ, Денис Юрьевич ТУРДАКОВ | ||
| "... импорта, автоматической обработки, структурирования и анализа информации на основе компонентов платформы ..." | ||
| Том 37, № 3 (2025) | Компьютерные экспериментальные методы изучения английского языка австралийских аборигенов | Аннотация похожие документы |
| Эвелина Олеговна ТИМОФЕЕВА | ||
| "... особенностей английского языка аборигенов Австралии, обнаруженных в ходе анализа текстов на этом варианте ..." | ||
| Том 37, № 2 (2025) | Место коми-язьвинского в классификации языков коми на основании фонетических, лексических и морфологических особенностей с помощью программ платформы ЛингвоДок | Аннотация похожие документы |
| Ольга Николаевна БАЖЕНОВА | ||
| "... цели на лингвистической платформе LingvoDoc было обработано 8 коми словарей (аудиословари коми ..." | ||
| Том 31, № 5 (2019) | Повышение эффективность фаззинга с помощью интервальных мутаций | Аннотация похожие документы |
| Севак Сеникович Саргсян, Дживан Андраникович Акопян, Оганес Мушегович Мовсисян, Матевос Саргисович Меграбян, Ваагн Телемакович Сирунян, Шамиль Фаимович Курмангалеев | ||
| "... . Чтобы решить эту задачу, мы разработали и внедрили три специальных плагинов в платформу ISP-Fuzzer ..." | ||
| Том 28, № 5 (2016) | Ускорение оптимизации программ во время связывания | Аннотация PDF (Rus) похожие документы |
| К. Ю. Долгорукова, С. В. Аришин | ||
| "... of interprocedural optimization passes instead of full IR code in memory. The problem of horizontal LTO system ..." | ||
| Том 35, № 3 (2023) | Фреймворк для анализа использования машинных инструкций | Аннотация похожие документы |
| Данила Евгеньевич ПЕЧЕНЕВ, Яков Александрович КИРИЛЕНКО, Ольга Андреевна АФОНИНА | ||
| "... оптимизирующих компиляторов для новых платформ, возникает необходимость в статистическом анализе данных об ..." | ||
| Том 29, № 4 (2017) | Программа для мониторинга общественных настроений в России на основе сообщений из Twitter | Аннотация похожие документы |
| С. И. Сметанин | ||
| "... общественных настроений на основе анализа тональности сообщений из русскоязычного сегмента социальной сети ..." | ||
| Том 34, № 6 (2022) | Перспективы исследований татарского языка на платформе LingvoDoc | Аннотация похожие документы |
| Фануза Шакуровна НУРИЕВА, Гульшат Раисовна ГАЛИУЛЛИНА, Айрат Фаикович ЮСУПОВ | ||
| "... В статье рассматриваются перспективы исследования татарского языка на платформе LingvoDoc ..." | ||
| 1 - 39 из 588 результатов | 1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 > >> | |
Советы по поиску:
- Поиск ведется с учетом регистра (строчные и прописные буквы различаются)
- Служебные слова (предлоги, союзы и т.п.) игнорируются
- По умолчанию отображаются статьи, содержащие хотя бы одно слово из запроса (то есть предполагается условие OR)
- Чтобы гарантировать, что слово содержится в статье, предварите его знаком +; например, +журнал +мембрана органелла рибосома
- Для поиска статей, содержащих все слова из запроса, объединяйте их с помощью AND; например, клетка AND органелла
- Исключайте слово при помощи знака - (дефис) или NOT; например. клетка -стволовая или клетка NOT стволовая
- Для поиска точной фразы используйте кавычки; например, "бесплатные издания". Совет: используйте кавычки для поиска последовательности иероглифов; например, "中国"
- Используйте круглые скобки для создания сложных запросов; например, архив ((журнал AND конференция) NOT диссертация)
