Preview

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

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

Поиск


Сортировать по:     
 
Выпуск Название
 
Том 36, № 3 (2024) Обнаружение вредоносной активности в проектах с открытым исходным кодом с помощью методов машинного обучения Аннотация  похожие документы
Станислав Александрович РАКОВСКИЙ
"... проект, а также в случае надобности изучить исходный код. Платформа не проверяет проекты, опубликованные ..."
 
Том 20 (2011) Развитие taint-анализа для решения задачи поиска программных закладок Аннотация  PDF (Rus)  похожие документы
А. Ю. Тихонов, А. И. Аветисян
"... закладка может быть реализована в виде вредоносной программы или программного кода. Предлагаемый подход ..."
 
Том 28, № 1 (2016) Равномерное распределение нагрузки аппаратно-программного ядра в UNIX-системах Аннотация  PDF (Rus)  похожие документы
Е. В. Пальчевский, А. Р. Халиков
"... сервера. Разработаны алгоритмы и программные коды для оптимизации распределения нагрузки на центральные ..."
 
Том 38, № 2: март-апрель Уроки эволюции С-кода и шаблоны архитектуры реального времени на основе проекта ioquake3 Аннотация  похожие документы
Сергей Михайлович СТАРОЛЕТОВ
"... мы изучаем различия между оригинальным исходным кодом Quake III и кодом современного проекта ioquake ..."
 
Том 26, № 1 (2014) Рефакторинг в рамках программного проекта Аннотация  PDF (Rus)  похожие документы
С. В. Сыромятников, И. Е. Бронштейн, Н. Л. Луговской
"... Рефакторинг является одной из самых популярных и «успешных» техник улучшения исходного кода ..."
 
Том 31, № 1 (2019) Анализ характера изменений программ и поиск неисправленных фрагментов кода Аннотация  PDF (Rus)  похожие документы
Марьям Сероповна Арутюнян, Григорий Сергеевич Иванов, Вааг Геворгович Варданян, Айк Каренович Асланян, Арутюн Ишханович Аветисян, Шамиль Фаимович Курмангалеев
"... Разработчики программного обеспечения часто прибегают к заимствованию кода – как внутри одного ..."
 
Том 32, № 6 (2020) Практическая абстрактная интерпретация бинарного кода Аннотация  PDF (Rus)  похожие документы
Михаил Александрович СОЛОВЬЕВ, Максим Геннадьевич БАКУЛИН, Сергей Сергеевич МАКАРОВ, Дмитрий Валерьевич МАНУШИН, Вартан Андроникович ПАДАРЯН
"... для практически значимых задач анализа бинарного кода связано с большим числом вызовов, как научных ..."
 
Том 38, № 3: часть 2. май-июнь Архитектурный подход к быстрой кросс-языковой навигации по связанным сущностям в программных проектах Аннотация  PDF (Rus)  похожие документы
Дмитрий Сергеевич ДРОЗДОВ, Станислав Станиславович МИХАЛКОВИЧ
"... решается за счет создания разметки проекта и автоматических переходов между соответствующими точками в коде ..."
 
Том 36, № 3 (2024) Поддержка Visual Basic .NET в статическом анализаторе SharpChecker Аннотация  похожие документы
Вадим Сергеевич КАРЦЕВ, Валерий Николаевич ИГНАТЬЕВ
"... в SharpChecker, что позволило выполнять статический анализ кода для проектов VB.NET. Процесс включал в себя ..."
 
Том 37, № 3: май-июнь Опыт отраслевого применения программного обеспечения с открытым исходным кодом при аэродинамическом проектировании и проверочном моделировании обтекания летательных аппаратов Аннотация  PDF (Rus)  похожие документы
Андрей Леонидович ПАВЛЕВИЧ
"... Применение расчетных инструментов с открытым исходным кодом довольно распространенная практика ..."
 
Том 33, № 6 (2021) Технический долг в жизненном цикле разработки ПО: запахи кода Аннотация  PDF (Rus)  похожие документы
Владимир Владимирович КАЧАНОВ, Михаил Кириллович ЕРМАКОВ, Георгий Александрович ПАНКРАТЕНКО, Александр Вячеславович СПИРИДОНОВ, Александр Сергеевич ВОЛКОВ, Сергей Игоревич МАРКОВ
"... проектов с открытым исходным кодом для вычисления точности обнаружения и согласованности выбранных ..."
 
Том 33, № 6 (2021) Автоматическое исправление дефектов кода в системе Svace Аннотация  PDF (Rus)  похожие документы
Сергей Владимирович СЫРОМЯТНИКОВ
"... В данной статье рассматривается задача автоматического исправления дефектов кода на языках ..."
 
Том 38, № 3: часть 1. май-июнь Оценка эффективности по критерию трудоемкости применения тестовых систем на основе генераторов конвейеризированных контрольных кодов Аннотация  PDF (Rus)  похожие документы
Максим Олегович РАТНИКОВ
"... трудоемкости была проведена на основе количества строк кода в проекте и состояла из нескольких последовательных ..."
 
Том 21 (2011) Использование статического анализа для поиска уязвимостей и критических ошибок в исходном коде программ Аннотация  PDF (Rus)  похожие документы
Арутюн Аветисян, Андрей Белеванцев, Алексей Бородин, Владимир Несов
"... Статический анализ является популярным средством поиска в исходном или двоичном коде программ ..."
 
Том 32, № 3 (2020) Генерация кодов для вещественной арифметики в архитектуре MIPS Аннотация  похожие документы
Иван Сергеевич АРХИПОВ
"... является частью проекта «RuC». В ней рассматривается только генерация кодов для операций с числами ..."
 
Том 38, № 3: часть 1. май-июнь Автодополнение кода на основе LLM для языка программирования Python Аннотация  PDF (Rus)  похожие документы
Михаил Валериевич ВОЛКОВ, Александр Сергеевич БОЖНЮК, Дарья Владимировна ВАСИНА, Владимир Анатольевич ВАСИЛЬЕВ, Николай Владимирович ТРОПИН, Максим Борисович НИКИТИН, Дмитрий Владимирович КОЗНОВ
"... , и Repository Context, извлекающий значимые участки кода из всего проекта. Эксперименты на бенчмарке RepoEval ..."
 
Том 31, № 3 (2019) Поиск уязвимостей при помощи статического анализа помеченных данных Аннотация  похожие документы
Никита Владимирович Шимчик, Валерий Николаевич Игнатьев
"... . Оценка результатов была проведена на Juliet Test Suite и проектах с открытым исходным кодом, имеющих ..."
 
Том 36, № 4 (2024) Выявление ошибок в программном модуле Pandas с помощью статического анализатора Svace Аннотация  похожие документы
Мария Анатольевна ЛАПИНА, Максим Иванович ХОДАКОВ, Софья Кирилловна ГРОБОВА
"... на раннем этапе его разработки. Особое внимание уделяется статическому анализу кода, который является ..."
 
Том 34, № 2 (2022) Поиск ошибок в бинарном коде методами динамической символьной интерпретации Аннотация  похожие документы
Алексей Вадимович ВИШНЯКОВ, Илай Александрович КОБРИН, Андрей Николаевич ФЕДОТОВ
"... применения предложенного метода к программам с открытым исходным кодом было найдено 11 различных новых ошибок ..."
 
Том 33, № 3 (2021) Какие стили архитектуры программного обеспечения популярны? Аннотация  похожие документы
Алексей Александрович МИЦЮК, Николай Арсенович ЖАМГАРЯН
"... открытого исходного кода с платформы GitHub применялись автоматические скрипты. Эти скрипты позволяют ..."
 
Том 37, № 6: часть 1. ноябрь-декабрь Предсказание истинности предупреждений промышленного статического анализатора с использованием методов машинного обучения Аннотация  PDF (Rus)  похожие документы
Ульяна Владимировна ТЯЖКОРОБ, Михаил Владимирович БЕЛЯЕВ, Андрей Андреевич БЕЛЕВАНЦЕВ, Валерий Николаевич ИГНАТЬЕВ
"... уязвимостей и ошибок в исходном коде. Однако зачастую статические анализаторы генерируют большое количество ..."
 
Том 34, № 6 (2022) Поиск использований освобожденного ресурса в исходном коде на языке C# методами статического анализа Аннотация  PDF (Rus)  похожие документы
Ульяна Владимировна ТЯЖКОРОБ, Валерий Николаевич ИГНАТЬЕВ, Андрей Андреевич БЕЛЕВАНЦЕВ
"... на наборе ПО с открытым исходным кодом и примеры срабатываний на реальных проектах. ..."
 
Том 38, № 3: часть 1. май-июнь Поиск модификаций коллекции во время её перечисления в исходном коде на языке C# методами статического анализа Аннотация  PDF (Rus)  похожие документы
Ксения Андреевна ХАНЕВСКАЯ, Ульяна Владимировна ТЯЖКОРОБ, Валерий Николаевич ИГНАТЬЕВ
"... , происходящие через цепочки вызовов методов. Тестирование на проектах с открытым исходным кодом показало ..."
 
Том 37, № 5: сентябрь-октябрь Генерация и отладка Java-кода с использованием больших языковых моделей на основе ассоциативной рекуррентной памяти Аннотация  похожие документы
Владимир Игоревич ВАСИЛЕВСКИЙ, Дмитрий Владимирович АЛЕКСАНДРОВ
"... Автоматическая генерация кода большими языковыми моделями (LLM) достигла значительных успехов ..."
 
Том 38, № 2: март-апрель Повышение полноты статического анализа приложений, использующих фреймворки, методом генерации эквивалентного кода Аннотация  PDF (Rus)  похожие документы
Никита Александрович БОРОДАВКО, Валерий Николаевич ИГНАТЬЕВ
"... В статье описывается подход к повышению полноты анализа за счет генерации эквивалентного кода ..."
 
Том 38, № 1: январь-февраль Поиск ошибок в исходном коде на C# на основе статического анализа помеченных данных Аннотация  PDF (Rus)  похожие документы
Михаил Владимирович БЕЛЯЕВ, Полина Ильинична РАГОЗИНА, Валерий Николаевич ИГНАТЬЕВ
"... Ошибки в исходном коде, часто являющиеся причиной уязвимостей, могут быть найдены с помощью разных ..."
 
Том 35, № 5 (2023) О проблемах использования библиотеки OpenBLAS в продуктовом коде на RISC-V Аннотация  PDF (Rus)  похожие документы
Ксения Алексеевна ЗАЙЦЕВА, Валерия Валентиновна ПУЗИКОВА, Андрей Дмитриевич СОКОЛОВ
"... появляющееся RISC-V оборудование и расширения. Однако, к библиотекам, использующимся в продуктовом коде ..."
 
Том 37, № 6: часть 2. ноябрь-декабрь Статический анализ языка Visual Basic .NET Аннотация  PDF (Rus)  похожие документы
Вадим Сергеевич КАРЦЕВ, Валерий Николаевич ИГНАТЬЕВ
"... и на наборе реальных проектов с открытым исходным кодом суммарным объемом более 1.6 млн. строк кода. Было ..."
 
Том 32, № 3 (2020) Подходы к отладке и обеспечению качества статического анализатора Аннотация  похожие документы
Максим Александрович МЕНЬШИКОВ
"... между исходным кодом программы, промежуточным представлением и большими формулами в формате ..."
 
Том 37, № 1: январь-февраль Система статического анализа для языка описания аппаратуры SystemVerilog Аннотация  PDF (Rus)  похожие документы
Ян Андреевич ЧУРКИН, Рубен Артурович БУЧАЦКИЙ, Константин Николаевич КИТАЕВ, Алексей Георгиевич ВОЛОХОВ, Егор Викторович ДОЛГОДВОРОВ, Александр Сергеевич КАМКИН, Артем Михайлович КОЦЫНЯК, Дмитрий Олегович САМОВАРОВ
"... Рост сложности современных цифровых систем и увеличение объемов кода на языках описания аппаратуры ..."
 
Том 27, № 3 (2015) Удаленное обслуживание системных вызовов в микроядерном гипервизоре Аннотация  PDF (Rus)  похожие документы
К. Маллачиев, Н. Пакулин
"... от вредоносных приложений, включая злонамеренный код на самом высоком уровне привилегий в ядре ОС. Использование ..."
 
Том 37, № 4: часть 2. июль-август Sydr-Fuzz: непрерывный гибридный фаззинг и динамический анализ для жизненного цикла безопасной разработки Аннотация  PDF (Rus)  похожие документы
Алексей Вадимович ВИШНЯКОВ, Даниил Олегович КУЦ, Влада Игоревна ЛОГУНОВА, Дарья Алексеевна ПАРЫГИНА, Илай Александрович КОБРИН, Георгий Анатольевич САВИДОВ, Андрей Николаевич ФЕДОТОВ
"... методов фаззинга превосходит традиционный фаззинг, основанный на покрытии кода. Мы предлагаем улучшенный ..."
 
Том 30, № 3 (2018) Скрытая отладка программ отладчиком WinDbg в эмуляторе Qemu Аннотация  похожие документы
М. А. Абакумов, П. М. Довгалюк
"... При анализе программ на наличие уязвимостей и вредоносного кода бывают ситуации, в которых ..."
 
Том 28, № 1 (2016) Инфраструктура статического анализа программ на языке C# Аннотация  PDF (Rus)  похожие документы
В. К. Кошелев, В. Н. Игнатьев, А. И. Борзилов
"... на наборе проектов различного объема (от 1.5 тыс. до 1.35 млн. строк кода) с открытым исходным кодом. ..."
 
Том 37, № 6: часть 4. ноябрь-декабрь Подход к анализу помеченных данных в статическом анализаторе Svace Аннотация  PDF (Rus)  похожие документы
Иван Cергеевич ЧЕРЕМИСЕНОВ, Алексей Евгеньевич БОРОДИН, Александр Ефимович ВОЛКОВ, Михаил Вадимович ВЕЛИКАНОВ
"... свойства анализа для практического обнаружения в исходном коде реальных программных проектов ошибок ..."
 
Том 27, № 2 (2015) Подход к проведению динамического анализа Java-программ методом модификации виртуальной машины Java Аннотация  PDF (Rus)  похожие документы
М. К. Ермаков, С. П. Вартанов
"... используется статическая инструментация байт-кода языка Java при помощи инструмента Coffee Machine, что ..."
 
Том 26, № 1 (2014) Динамический анализ программ с целью поиска ошибок и уязвимостей при помощи целенаправленной генерации входных данных Аннотация  PDF (Rus)  похожие документы
С. П. Вартанов, А. Ю. Герасимов
"... на проектах с открытым кодом и результаты проведения динамического анализа Java-программ с целью поиска ошибок ..."
 
Том 38, № 2: март-апрель Непрерывная наблюдаемость для клиент-серверной IDE: воспроизводимый подход с низкими накладными расходами Аннотация  похожие документы
Владислав Игоревич МИРОШНИКОВ, Ольга Игоревна БАЧИЩЕ, Илья Александрович КУЗНЕЦОВ, Александр Андреевич ПЛАТОНОВ, Николай Владимирович ТРОПИН, Дарья Владимировна ВАСИНА, Дмитрий Владимирович КОЗНОВ
"... , в которых даже незначительные изменения исходного кода могут привести к регрессиям производительности ..."
 
Том 28, № 2 (2016) Верификация преобразования грамматики в нормальную форму Хомского в F Аннотация  похожие документы
М. И. Полубелова, С. Н. Божко, С. В. Григорьев
"... более сложные доказательства, если это необходимо. Мы работаем над применением данного подхода к проекту ..."
 
Том 26, № 1 (2014) Инструментальные средства проектирования систем интегрированной модульной авионики Аннотация  PDF (Rus)  похожие документы
Д. В. Буздалов, С. В. Зеленов, Е. В. Корныхин, А. К. Петренко, А. В. Страх, А. А. Угненко, А. В. Хорошилов
"... ряд открытых международных проектов с разной степенью зрелости, доступности исходного кода ..."
 
Том 34, № 2 (2022) Алгоритм генерации тестов из функциональной спецификации с использованием модели Open IE и кластеризации Аннотация  похожие документы
Кирилл Сергеевич КОБЫШЕВ, Сергей Александрович МОЛОДЯКОВ
"... в долгосрочных проектах разработки программного обеспечения. Согласно подходу к разработке тестов, каждый ..."
 
Том 32, № 3 (2020) Трассировка сетевых пакетов в ядре Linux с использованием eBPF Аннотация  похожие документы
Марк Германович КОВАЛЕВ
"... При разработке и обслуживании комплексных сетевых инфраструктур в больших проектах разработчики ..."
 
Том 35, № 6 (2023) Обнаружение возможной перезаписи переменных вследствие использования функций нелокальных переходов Аннотация  PDF (Rus)  похожие документы
Никита Юрьевич ШУГАЛЕЙ, Владислав Анатольевич ИВАНИШИН, Александр Владимирович МОНАКОВ
"... Причиной возникновения неопределенного поведения является исходный код, написанный с нарушением ..."
 
Том 36, № 2 (2024) Классификация коммитов в репозиториях киберфизических систем для исследования исправлений ошибок в них Аннотация  похожие документы
Никита Александрович СТАРОВОЙТОВ, Сергей Михайлович СТАРОЛЕТОВ
"... с неправильной организацией кода и работой аппаратных средств, так и с неверным пониманием физических законов ..."
 
Том 33, № 3 (2021) Обзор моделей работы статических анализаторов Аннотация  похожие документы
Максим Александрович МЕНЬШИКОВ
"... , инструменты для Continuous Integration обычно анализируют проекты с нуля, в то время, как тот же самый анализ ..."
 
Том 32, № 5 (2020) Обнаружение дефекта взаимной блокировки с помощью статического анализа Аннотация  PDF (Rus)  похожие документы
Сергей Андреевич ПОЛЯКОВ, Алексей Евгеньевич БОРОДИН
"... 8 проектов с открытым исходном кодом на языках C/C++/Java общим размером более 14 млн. строк кода ..."
 
Том 36, № 2 (2024) Об автоматической генерации модульных тестов для Java-приложений, использующих фреймворк Spring Аннотация  похожие документы
Кирилл Александрович ШИШИН, Илья Владимирович МУРАВЬЁВ, Егор Константинович КУЛИКОВ
"... некоторых проектов с открытым исходным кодом. ..."
 
Том 29, № 4 (2017) Обнаружение неточно повторяющегося текста в документации программного обеспечения Аннотация  похожие документы
Л. Д. Кантеев, Ю. О. Костюков, Д. В. Луцив, Д. В. Кознов, М. Н. Смирнов
"... Toolkit. Алгоритм апробирован на документации нескольких проектов с открытым исходным кодом. ..."
 
Том 31, № 3 (2019) Толерантный синтаксический анализ с использованием модифицированных алгоритмов LL(1) и LR(1) со встроенной обработкой символа «Any» Аннотация  похожие документы
Алексей Валерьевич Головешкин
"... из основных способов реализации толерантного парсинга. Термином «остров» обозначаются релевантные области кода ..."
 
Том 37, № 6: часть 3. ноябрь-декабрь Сопоставление номенклатур товаров ресторанов и поставщиков с помощью LLM – Case Study для ресторанного холдинга Аннотация  PDF (Rus)  похожие документы
Сеунгмин ДЖИН, Петр Борисович ПАНФИЛОВ, Александр Сергеевич СУЛЕЙКИН
"... модели (LLM) для автоматизации и повышения точности сопоставления продуктов. В рамках пилотного проекта ..."
 
Том 30, № 4 (2018) Толерантный синтаксический анализ с использованием специального символа «Any»: алгоритм и практическое применение Аннотация  похожие документы
А. В. Головешкин, С. С. Михалкович
"... из основных способов реализации толерантного парсинга. Термином «остров» обозначаются релевантные области кода ..."
 
Том 28, № 2 (2016) Устройство и архитектура операционной системы реального времени Аннотация  похожие документы
К. М. Маллачиев, Н. В. Пакулин, А. В. Хорошилов
"... ПО. В данной статье представляется JetOS - ОСРВ с открытым исходным кодом полностью соответствующую требованиям ..."
 
Том 34, № 6 (2022) Irbis: статический анализатор помеченных данных для поиска уязвимостей в программах на C/C++ Аннотация  PDF (Rus)  похожие документы
Никита Владимирович ШИМЧИК, Валерий Николаевич ИГНАТЬЕВ, Андрей Андреевич БЕЛЕВАНЦЕВ
"... уязвимостей в коде программ путём исследования потоков данных между истоками и стоками помеченных данных. Чаще ..."
 
1 - 53 из 60 результатов 1 2 > >> 

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

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