Preview

Труды Института системного программирования РАН

Расширенный поиск

Поиск


Сортировать по:     
 
Выпуск Название
 
Том 36, № 3 (2024) О методах извлечения алгоритмов из бинарного кода Аннотация  PDF (Rus)  похожие документы
Иван Иванович КУЛАГИН, Вартан Андроникович ПАДАРЯН, Вячеслав Александрович КОШКИН
"... В работе предложен итеративный метод извлечения алгоритмов из бинарного кода и построения ..."
 
Том 29, № 3 (2017) Комплекс алгоритмов функционирования системы безопасного исполнения программного кода Аннотация  PDF (Rus)  похожие документы
А. В. Козачок, Е. В. Кочетков
"... исполнения программного кода и алгоритм построения модели программы, пригодной для проведения верификации ..."
 
Том 22 (2012) Комбинированный (статический и динамический) анализ бинарного кода Аннотация  PDF (Rus)  похожие документы
А. Ю. Тихонов, А. И. Аветисян
"... Рассматриваются проблемы анализа программы в бинарном коде для распознавания алгоритмов ..."
 
Том 31, № 6 (2019) Исследование и разработка межпроцедурных алгоритмов поиска дефектов в исполняемом коде программ Аннотация  PDF (Rus)  похожие документы
Григорий Сергеевич Иванов, Павел Михайлович Пальчиков, Артём Юрьевич Тарасов, Глеб Станиславович Акимов, Айк Каренович Асланян, Ваагн Геворгович Варданян, Мариам Сероповна Арутюнян, Григор Сосович Керопян
"... является разработка методов межпроцедурных алгоритмов поиска дефектов в бинарном коде, обладающих хорошей ..."
 
Том 34, № 3 (2022) Исследование свойств алгоритма слайсинга предиката пути Аннотация  PDF (Rus)  похожие документы
Алексей Вадимович ВИШНЯКОВ
"... завершения и зависания анализируемого кода. Гибридный подход, совмещающий в себе фаззинг и динамическую ..."
 
Том 27, № 6 (2015) Техника инструментирования кода и оптимизация кодовых строк при моделировании фазовых переходов на языке программирования C++ Аннотация  PDF (Rus)  похожие документы
Е. В. Пальчевский, А. Р. Халиков
"... C++. Приведены примеры алгоритмов написания кода для системных программ и рассмотрены оптимизированные ..."
 
Том 38, № 3: часть 1. май-июнь Оптимизация алгоритма расширения оснований в модулярном коде для гомоморфных шифров Аннотация  PDF (Rus)  похожие документы
Михаил Григорьевич БАБЕНКО, Антон Алексеевич СИНИЦЫН, Максим Анатольевич ДЕРЯБИН
"... используют модулярный код через систему остаточных классов (СОК) как арифметическую основу для ..."
 
Том 35, № 2 (2023) Об использовании открытых сторонних библиотек при программной реализации вихревых методов вычислительной гидродинамики Аннотация  PDF (Rus)  похожие документы
Илья Константинович МАРЧЕВСКИЙ, Юлия Андреевна ИЗМАЙЛОВА, Мария Александровна ЕРОФЕЕВА, Дарья Юрьевна КОБЗАРЬ
"... Обсуждается наиболее общая структура вычислительного алгоритма, реализующего бессеточные ..."
 
Том 22 (2012) Автоматическая настройка оптимизационных преобразований компилятора GCC для платформы ARM Аннотация  PDF (Rus)  похожие документы
Роман Жуйков, Дмитрий Плотников, Мамикон Варданян
"... , приводящие к генерации неоптимального кода для платформы ARM. Были выявлены причины генерации неоптимального ..."
 
Том 32, № 6 (2020) Практическая абстрактная интерпретация бинарного кода Аннотация  PDF (Rus)  похожие документы
Михаил Александрович СОЛОВЬЕВ, Максим Геннадьевич БАКУЛИН, Сергей Сергеевич МАКАРОВ, Дмитрий Валерьевич МАНУШИН, Вартан Андроникович ПАДАРЯН
"... и изучения алгоритмов анализа программ для самого широкого спектра прикладных задач. Однако его применение ..."
 
Том 30, № 3 (2018) Извлечение архитектурной информации из исходного кода ARINC 653 совместимых приложений с использованием алгоритма CEGAR Аннотация  похожие документы
С. Л. Лесовой
"... архитектуры (AADL). Данная статья описывает алгоритм извлечения архитектурной информации из исходного кода ..."
 
Том 29, № 3 (2017) О представлении результатов обратной инженерии бинарного кода Аннотация  PDF (Rus)  похожие документы
В. А. Падарян
"... В статье рассматривается вопрос представления кода алгоритмов, извлекаемых из бинарного кода ..."
 
Том 31, № 6 (2019) Программный комплекс для выявления недекларированных возможностей в условиях отсутствия исходного кода Аннотация  PDF (Rus)  похожие документы
Александр Борисович Бугеря, Василий Юрьевич Ефимов, Иван Иванович Кулагин, Вартан Андроникович Падарян, Михаил Александрович Соловьев, Андрей Юрьевич Тихонов
"... задач анализа безопасности бинарного кода. Автоматизация решения этой задачи затруднена и требует ..."
 
Том 33, № 5 (2021) Автоматизация разработки на Vulkan: предметно-ориентированный подход Аннотация  PDF (Rus)  похожие документы
Владимир Александрович ФРОЛОВ, Вадим Владимирович САНЖАРОВ, Владимир Александрович ГАЛАКТИОНОВ, Александр Станиславович ЩЕРБАКОВ
"... . Цель работы – снижение трудоемкости разработки и отладки приложений, реализующих сложные алгоритмы ..."
 
Том 35, № 6 (2023) Параллельная реализация алгоритма исправления нарушений антенных правил в маршруте OpenLane Аннотация  PDF (Rus)  похожие документы
Дмитрий Александрович БУЛАХ, Андрей Владимирович КОРШУНОВ
"... выигрыш по времени составил более 60%. В статье рассматриваются как разработанные алгоритм и построенное ..."
 
Том 38, № 1: январь-февраль Версионирование кода как развитие оптимизации методом Распространения констант Аннотация  PDF (Rus)  похожие документы
Иван Александрович ЗИНИН, Вячеслав Викторович ЧЕРНОНОГ
"... большую роль во многих современных оптимизирующих компиляторах. Исследована техника версионирования кода ..."
 
Том 28, № 5 (2016) Использование анализа недостижимого кода в статическом анализаторе для поиска ошибок в исходном коде программ Аннотация  PDF (Rus)  похожие документы
Р. Р. Мулюков, А. Е. Бородин
"... В статье описывается поиск недостижимого кода в исходном коде программ, написанных на языках ..."
 
Том 27, № 1 (2015) Масштабируемый инструмент поиска клонов кода на основе семантического анализа программ Аннотация  PDF (Rus)  похожие документы
Севак Саргсян, Шамиль Курмангалеев, Андрей Белеванцев, Айк Асланян, Артем Балоян
"... В статье обсуждаются существующие методы поиска семантически сходных участков кода (клонов ..."
 
Том 33, № 2 (2021) Регулярные выражения для обнаружения Web-рекламы на основе автоматического скользящего алгоритма Аннотация  PDF (Rus)  похожие документы
Донован РИАНЬО-ЭНРИКЕС, Родриго ПИНОН-АЯЛА, Гильермо МОЛЕРО-КАСТИЛЬО, Эверардо БАРСЕНАС, Алехандро ВЕЛАСКЕС-МЕНА
"... Представлена реализация алгоритма распознавания Web-рекламы с использованием регулярных выражений ..."
 
Том 30, № 4 (2018) Толерантный синтаксический анализ с использованием специального символа «Any»: алгоритм и практическое применение Аннотация  похожие документы
А. В. Головешкин, С. С. Михалкович
"... , термином «вода» - нерелевантный код. В настоящей работе описывается модифицированный LL(1) алгоритм ..."
 
Том 26, № 1 (2014) Методы и программные средства, поддерживающие комбинированный анализ бинарного кода Аннотация  PDF (Rus)  похожие документы
В. А. Падарян, А. И. Гетьман, М. А. Соловьев, М. Г. Бакулин, А. И. Борзилов, В. В. Каушан, И. Н. Ледовских, Ю. В. Маркин, С. С. Панасенко
"... и их применение к задачам восстановления алгоритмов и форматов данных. Предметом анализа выступает исполняемый код ..."
 
Том 31, № 3 (2019) C# парсер для извлечения структуры криптографических протоколов из исходного кода Аннотация  похожие документы
Илья Александрович Писарев, Людмила Климентьевна Бабенко
"... проанализировать протокол. В данной статье представлен алгоритм анализа исходного кода языка программирования ..."
 
Том 24 (2013) О методах деобфускации программ Аннотация  PDF (Rus)  похожие документы
Ш. Ф. Курмангалеев, К. Ю. Долгорукова, В. В. Савченко, А. Р. Нурмухаметов, Р. А. Матевосян, В. П. Корчагин
"... преобразования. Основная область применения - это анализ запутанного кода вредоносного программного обеспечения ..."
 
Том 26, № 1 (2014) Инструменты анализа и разработки эффективного кода для параллельных архитектур Аннотация  PDF (Rus)  похожие документы
Александр Монаков, Владимир Платонов, Арутюн Аветисян, Евгений Велесевич
"... программиста, занимающегося распараллеливанием существующего кода, либо для поиска неэффективного использования ..."
 
Том 28, № 2 (2016) Контекстно-ориентированная модель для разметки сквозной функциональности в исходном коде Аннотация  похожие документы
М. С. Малеванный, С. С. Михалкович
"... В данной статье описывается подход к упрощению работы со сквозной функциональностью в исходном коде ..."
 
Том 26, № 2 (2014) Применение информационных технологий (генетические алгоритмы, нейронные сети, параллельные вычисления) в анализе безопасности АЭС Аннотация  PDF (Rus)  похожие документы
Ю. Б. Воробьев, П. Кудинов, М. Ельцов, К. Кёоп, К. Н. Чыонг Ван
"... использования кодов расчетной гидродинамики (CFD) для моделирования сложных процессов ядерных энергетических ..."
 
Том 31, № 3 (2019) Поиск уязвимостей при помощи статического анализа помеченных данных Аннотация  похожие документы
Никита Владимирович Шимчик, Валерий Николаевич Игнатьев
"... В связи с большими объёмами кода в современных программных продуктах, в программах всегда ..."
 
Том 34, № 2 (2022) Алгоритм генерации тестов из функциональной спецификации с использованием модели Open IE и кластеризации Аннотация  похожие документы
Кирилл Сергеевич КОБЫШЕВ, Сергей Александрович МОЛОДЯКОВ
"... обработки естественного языка. Алгоритм включает следующие этапы: подготовка тестовых сценариев ..."
 
Том 33, № 6 (2021) Модель и декларативный язык спецификации бинарных форматов данных Аннотация  PDF (Rus)  похожие документы
Александр Александрович ЕВГИН, Михаил Александрович СОЛОВЬЕВ, Вартан Андроникович ПАДАРЯН
"... и совместного анализа кода и данных. Ключевым элементом для решения всех этих задач является универсальная ..."
 
Том 31, № 3 (2019) Толерантный синтаксический анализ с использованием модифицированных алгоритмов LL(1) и LR(1) со встроенной обработкой символа «Any» Аннотация  похожие документы
Алексей Валерьевич Головешкин
"... из основных способов реализации толерантного парсинга. Термином «остров» обозначаются релевантные области кода ..."
 
Том 31, № 6 (2019) Обзор методов автоматизированной генерации эксплойтов повторного использования кода Аннотация  PDF (Rus)  похожие документы
Алексей Вадимович Вишняков, Алексей Раисович Нурмухаметов
"... эксплойтов повторного использования кода. Такие эксплойты используют код, уже содержащийся в уязвимом ..."
 
Том 31, № 1 (2019) Обнаружение неисправностей в комбинационных схемах на основе самодвойственного дополнения до равновесных кодов Аннотация  PDF (Rus)  похожие документы
Дмитрий Викторович Ефанов, Валерий Владимирович Сапожников, Владимир Владимирович Сапожников, Дмитрий Вячеславович Пивоваров
"... функций объекта диагностирования до кодовых слов равновесных кодов с параллельным преобразованием функций ..."
 
Том 21 (2011) Интеграция алгоритма кластеризации Fuzzy c-Means в PostgreSQL Аннотация  PDF (Rus)  похожие документы
Р. М. Миниахметов
"... . Алгоритм кластеризации, реализованный на языке SQL, обеспечивает более легкий процесс кластеризации ..."
 
Том 20 (2011) Развитие taint-анализа для решения задачи поиска программных закладок Аннотация  PDF (Rus)  похожие документы
А. Ю. Тихонов, А. И. Аветисян
"... свойств исследуемого ПО. Это могут быть и описания реализуемых алгоритмов, и информация о структурах ..."
 
Том 37, № 5: сентябрь-октябрь Применение суффиксных кодов в модульной метрике для решения задачи кластеризации и задачи поиска k-соседей Аннотация  PDF (Rus)  похожие документы
Александр Рауилович ШАРАПОВ, Вячеслав Анатольевич ДАВЫДОВ
"... Данная работа посвящена применению суффиксных кодов в модульной метрике для решения задач ..."
 
Том 29, № 5 (2017) Модифицированные коды с суммированием взвешенных переходов в системах функционального контроля комбинационных схем Аннотация  PDF (Rus)  похожие документы
В. В. Сапожников, Вл. В. Сапожников, Д. В. Ефанов
"... кодами с суммированием взвешенных переходов. Сформирован алгоритм синтеза системы функционального ..."
 
Том 37, № 6: часть 1. ноябрь-декабрь Предсказание истинности предупреждений промышленного статического анализатора с использованием методов машинного обучения Аннотация  PDF (Rus)  похожие документы
Ульяна Владимировна ТЯЖКОРОБ, Михаил Владимирович БЕЛЯЕВ, Андрей Андреевич БЕЛЕВАНЦЕВ, Валерий Николаевич ИГНАТЬЕВ
"... уязвимостей и ошибок в исходном коде. Однако зачастую статические анализаторы генерируют большое количество ..."
 
Том 34, № 6 (2022) Поиск использований освобожденного ресурса в исходном коде на языке C# методами статического анализа Аннотация  PDF (Rus)  похожие документы
Ульяна Владимировна ТЯЖКОРОБ, Валерий Николаевич ИГНАТЬЕВ, Андрей Андреевич БЕЛЕВАНЦЕВ
"... ресурса в исходном коде на основе статического символьного выполнения. Данный детектор выполняет ..."
 
Том 28, № 4 (2016) Метод оценки эксплуатируемости программных дефектов Аннотация  PDF (Rus)  похожие документы
А. Н. Федотов
"... соответствующий алгоритм генерации эксплойта. В случае успешной генерации эксплойта происходит проверка ..."
 
Том 38, № 1: январь-февраль Поиск ошибок в исходном коде на C# на основе статического анализа помеченных данных Аннотация  PDF (Rus)  похожие документы
Михаил Владимирович БЕЛЯЕВ, Полина Ильинична РАГОЗИНА, Валерий Николаевич ИГНАТЬЕВ
"... Ошибки в исходном коде, часто являющиеся причиной уязвимостей, могут быть найдены с помощью разных ..."
 
Том 33, № 6 (2021) Использование идентификации потоков выполнения при решении задач полносистемного анализа бинарного кода Аннотация  PDF (Rus)  похожие документы
Иван Александрович ВАСИЛЬЕВ, Павел Михайлович ДОВГАЛЮК, Мария Анатольевна КЛИМУШЕНКОВА
"... При полносистемном анализе бинарного кода зачастую применяется динамический бинарный анализ, при ..."
 
Том 35, № 1 (2023) Исследование встречаемости небезопасно сериализованных программных объектов в клиентском коде веб–приложений Аннотация  PDF (Rus)  похожие документы
Денис Дмитриевич МИРОНОВ, Даниил Алексеевич СИГАЛОВ, Максим Петрович МАЛЬКОВ
"... десериализации при взаимодействии между клиентским кодом и серверной стороной веб–приложения. Особое внимание ..."
 
Том 36, № 3 (2024) Обнаружение вредоносной активности в проектах с открытым исходным кодом с помощью методов машинного обучения Аннотация  похожие документы
Станислав Александрович РАКОВСКИЙ
"... платформой с открытым исходным кодом: каждый может зарегистрировать пользователя в PyPI и опубликовать свой ..."
 
Том 37, № 4: часть 2. июль-август Применение динамической символьной интерпретации в гибридном фаззинге бинарного кода для архитектур Байкал-М и RISC-V 64 Аннотация  PDF (Rus)  похожие документы
Влада Игоревна ЛОГУНОВА
"... разработки безопасного программного обеспечения. В настоящее время доля кода программ, разрабатываемых для ..."
 
Том 33, № 5 (2021) Методы маркирования текстовых документов при печати посредством вертикального сдвига и изменения яркости фрагментов слов Аннотация  PDF (Rus)  похожие документы
Дмитрий Олегович ОБЫДЕНКОВ, Александр Евгеньевич ФРОЛОВ, Юрий Витальевич МАРКИН, Станислав Александрович ФОМИН, Борис Владимирович КОНДРАТЬЕВ
"... , представленных как растровое изображение. Важной особенностью алгоритмов является возможность обратного ..."
 
Том 37, № 3: май-июнь Контроль комбинационных схем по двум диагностическим признакам на основе логической коррекции сигналов с использованием свойств кодов Хэмминга Аннотация  PDF (Rus)  похожие документы
Дмитрий Викторович ЕФАНОВ
"... кода Хэмминга (7, 4) с контролем вычислений по двум диагностическим признакам. В качестве признаков ..."
 
Том 37, № 6: часть 3. ноябрь-декабрь Модель размыва правого берега переливной запруды на протоке Пемзенской Аннотация  PDF (Rus)  похожие документы
Игорь Иванович ПОТАПОВ, Дмитрий Игоревич ПОТАПОВ
"... асимптотически стремится к его режимной глубине. Для решения задачи численно разработан алгоритм на основе метода ..."
 
Том 27, № 6 (2015) Статический анализатор Svace как коллекция анализаторов разных уровней сложности Аннотация  PDF (Rus)  похожие документы
А. Е. Бородин, А. А. Белеванцев
"... В статье описывается практический подход поиска ошибок в исходном коде программ с помощью методов ..."
 
Том 24 (2013) Вывод типов для языка Python Аннотация  PDF (Rus)  похожие документы
И. Е. Бронштейн
"... Тема статьи - вывод типов для программного кода на языке Python. Сначала производится обзор ..."
 
Том 20 (2011) Оптимизация динамической двоичной трансляции Аннотация  PDF (Rus)  похожие документы
Кирилл Батузов, Алексей Меркулов
"... , проанализировали влияние алгоритма распределения регистров на быстродействие кода в QEMU, реализовали простые ..."
 
Том 22 (2012) Подход к восстановлению потока управления запутанной программы Аннотация  PDF (Rus)  похожие документы
И. Н. Ледовских, М. Г. Бакулин
"... кода приложений от анализа. Запутывающие преобразования резко увеличивают трудоёмкость выделения ..."
 
Том 38, № 3: часть 2. май-июнь Архитектурный подход к быстрой кросс-языковой навигации по связанным сущностям в программных проектах Аннотация  PDF (Rus)  похожие документы
Дмитрий Сергеевич ДРОЗДОВ, Станислав Станиславович МИХАЛКОВИЧ
"... архитектуры для языковой пары GraphQL и Go. Проблема навигации между фрагментами кода на разных языках ..."
 
Том 28, № 5 (2016) Задача глобального распределения регистров во время динамической двоичной трансляции Аннотация  PDF (Rus)  похожие документы
К. А. Батузов
"... переменные на их частоты использования в данном фрагменте кода. Алгоритм локального распределения регистров ..."
 
1 - 53 из 92 результатов 1 2 > >> 

Советы по поиску:

  • Поиск ведется с учетом регистра (строчные и прописные буквы различаются)
  • Служебные слова (предлоги, союзы и т.п.) игнорируются
  • По умолчанию отображаются статьи, содержащие хотя бы одно слово из запроса (то есть предполагается условие OR)
  • Чтобы гарантировать, что слово содержится в статье, предварите его знаком +; например, +журнал +мембрана органелла рибосома
  • Для поиска статей, содержащих все слова из запроса, объединяйте их с помощью AND; например, клетка AND органелла
  • Исключайте слово при помощи знака - (дефис) или NOT; например. клетка -стволовая или клетка NOT стволовая
  • Для поиска точной фразы используйте кавычки; например, "бесплатные издания". Совет: используйте кавычки для поиска последовательности иероглифов; например, "中国"
  • Используйте круглые скобки для создания сложных запросов; например, архив ((журнал AND конференция) NOT диссертация)