Сортировать по:
| Выпуск | Название | |
| Том 37, № 5: сентябрь-октябрь | Настройка языковой модели для безопасной генерации кода | Аннотация похожие документы |
| Данил Салаватович ШАЙХЕЛИСЛАМОВ, Мария Сергеевна ВАРЕЦА, Арсений Сергеевич СЁМКИН, Олег Юрьевич РОГОВ | ||
| "... Популярность использования LLM для генерации кода делает обязательной всестороннюю проверку ..." | ||
| Том 37, № 6: часть 1. ноябрь-декабрь | Повышение точности статического анализа кода при помощи больших языковых моделей | Аннотация PDF (Rus) похожие документы |
| Данила Дмитриевич ПАНОВ, Никита Владимирович ШИМЧИК, Дмитрий Александрович ЧИБИСОВ, Андрей Андреевич БЕЛЕВАНЦЕВ, Валерий Николаевич ИГНАТЬЕВ | ||
| "... В данной работе описывается подход к проверке результатов статического анализа кода при помощи ..." | ||
| Том 37, № 6: часть 1. ноябрь-декабрь | Аннотирование исходного кода для статического анализа | Аннотация PDF (Rus) похожие документы |
| Виталий Олегович АФАНАСЬЕВ, Алексей Евгеньевич БОРОДИН, Евгений Александрович ВЕЛЕСЕВИЧ, Борис Викторович ОРЛОВ | ||
| "... В статье описывается аннотирование исходного кода для статического анализа. Рассмотрены атрибуты ..." | ||
| Том 37, № 5: сентябрь-октябрь | Интерактивная генерация кода на основе LLM: эмпирическая оценка | Аннотация PDF (Rus) похожие документы |
| Данил Салаватович ШАЙХЕЛИСЛАМОВ, Михаил Дмитриевич ДРОБЫШЕВСКИЙ, Андрей Андреевич БЕЛЕВАНЦЕВ | ||
| "... ИИ-помощники разработчика, основанные на больших языковых моделях (LLM), продемонстрировали ..." | ||
| Том 37, № 4: часть 1. июль-август | Извлечение функциональности из бинарного кода | Аннотация похожие документы |
| Анна Александровна ИЛЬИНА, Шамиль Фаимович КУРМАНГАЛЕЕВ | ||
| "... Семантический анализ кода – важный, но трудоемкий процесс, используемый во многих областях ..." | ||
| Том 22 (2012) | Комбинированный (статический и динамический) анализ бинарного кода | Аннотация PDF (Rus) похожие документы |
| А. Ю. Тихонов, А. И. Аветисян | ||
| "... Рассматриваются проблемы анализа программы в бинарном коде для распознавания алгоритмов ..." | ||
| Том 30, № 5 (2018) | Платформа межпроцедурного статического анализа бинарного кода | Аннотация PDF (Rus) похожие документы |
| А. К. Асланян | ||
| "... В рамках данной статьи описывается разработанная платформа для статического анализа бинарного кода ..." | ||
| Том 37, № 6: часть 1. ноябрь-декабрь | Статический анализ исходного кода для языка Golang: обзор литературы | Аннотация PDF (Rus) похожие документы |
| Варвара Викторовна ДВОРЦОВА, Алексей Евгеньевич БОРОДИН | ||
| "... Go 1.0 (с 2012 по 2025 год включительно), посвящённые статическому анализу исходного кода на языке Golang ..." | ||
| Том 32, № 3 (2020) | Моделирование библиотечных функций в промышленном статическом анализаторе кода | Аннотация похожие документы |
| Михаил Владимирович БЕЛЯЕВ, Егор Сергеевич РОМАНЕНКОВ, Валерий Николаевич ИГНАТЬЕВ | ||
| "... SharpChecker – это статический анализатор промышленного уровня, предназначенный для обнаружения ..." | ||
| Том 33, № 3 (2021) | Автоматизированная система тестирования инструментов статического анализа кода | Аннотация похожие документы |
| Дамир Маратович ГИМАТДИНОВ, Александр Юрьевич ГЕРАСИМОВ, Пётр Алексеевич ПРИВАЛОВ, Вероника Николаевна БУТКЕВИЧ, Наталья Андреевна ЧЕРНОВА, Анна Антоновна ГОРЕЛОВА | ||
| "... статического анализа исходного кода программ на языках C, C++ и Python. ..." | ||
| Том 31, № 1 (2019) | Анализ характера изменений программ и поиск неисправленных фрагментов кода | Аннотация PDF (Rus) похожие документы |
| Марьям Сероповна Арутюнян, Григорий Сергеевич Иванов, Вааг Геворгович Варданян, Айк Каренович Асланян, Арутюн Ишханович Аветисян, Шамиль Фаимович Курмангалеев | ||
| "... Разработчики программного обеспечения часто прибегают к заимствованию кода – как внутри одного ..." | ||
| Том 31, № 3 (2019) | Поиск уязвимостей при помощи статического анализа помеченных данных | Аннотация похожие документы |
| Никита Владимирович Шимчик, Валерий Николаевич Игнатьев | ||
| "... В связи с большими объёмами кода в современных программных продуктах, в программах всегда ..." | ||
| Том 36, № 3 (2024) | Поддержка Visual Basic .NET в статическом анализаторе SharpChecker | Аннотация похожие документы |
| Вадим Сергеевич КАРЦЕВ, Валерий Николаевич ИГНАТЬЕВ | ||
| "... в SharpChecker, что позволило выполнять статический анализ кода для проектов VB.NET. Процесс включал в себя ..." | ||
| Том 34, № 4 (2022) | Применение статического анализа исходного кода для поиска проблем с производительностью: примеры из практики | Аннотация похожие документы |
| Александр Юрьевич ГЕРАСИМОВ, Алексей Алексеевич КАНАХИН, Петр Алексеевич ПРИВАЛОВ, Андрей Александрович ЖУКОВ, Евгений Аркадьевич КАМИНСКИЙ | ||
| "... Статический анализ исходного кода программ широко используется для обнаружения ошибок. В основном ..." | ||
| Том 23 (2012) | Подход для проведения рефакторинга «Выделение функции» в инструменте Klocwork Insight | Аннотация PDF (Rus) похожие документы |
| Н. Л. Луговской | ||
| "... В статье рассматривается подход для проведения рефакторинга исходного кода на языках ..." | ||
| Том 32, № 6 (2020) | Практическая абстрактная интерпретация бинарного кода | Аннотация PDF (Rus) похожие документы |
| Михаил Александрович СОЛОВЬЕВ, Максим Геннадьевич БАКУЛИН, Сергей Сергеевич МАКАРОВ, Дмитрий Валерьевич МАНУШИН, Вартан Андроникович ПАДАРЯН | ||
| "... для практически значимых задач анализа бинарного кода связано с большим числом вызовов, как научных ..." | ||
| Том 36, № 4 (2024) | Выявление ошибок в программном модуле Pandas с помощью статического анализатора Svace | Аннотация похожие документы |
| Мария Анатольевна ЛАПИНА, Максим Иванович ХОДАКОВ, Софья Кирилловна ГРОБОВА | ||
| "... на раннем этапе его разработки. Особое внимание уделяется статическому анализу кода, который является ..." | ||
| Том 26, № 1 (2014) | Статический анализатор Svace для поиска дефектов в исходном коде программ | Аннотация PDF (Rus) похожие документы |
| В. П. Иванников, А. А. Белеванцев, А. Е. Бородин, В. Н. Игнатьев, Д. М. Журихин, А. И. Аветисян, М. И. Леонов | ||
| "... В работе описывается разрабатываемый в ИСП РАН инструмент автоматического статического анализа ..." | ||
| Том 30, № 6 (2018) | Комбинирование динамического символьного исполнения, статического анализа кода и фаззинга | Аннотация похожие документы |
| А. Ю. Герасимов, С. С. Саргсян, Ш. Ф. Курмангалеев, Д. А. Акопян, С. А. Асрян, М. К. Ермаков | ||
| "... динамическое символьное исполнение программ и статический анализ кода программ с фаззингом для повышения ..." | ||
| Том 26, № 1 (2014) | Методы и программные средства, поддерживающие комбинированный анализ бинарного кода | Аннотация PDF (Rus) похожие документы |
| В. А. Падарян, А. И. Гетьман, М. А. Соловьев, М. Г. Бакулин, А. И. Борзилов, В. В. Каушан, И. Н. Ледовских, Ю. В. Маркин, С. С. Панасенко | ||
| "... В статье рассматриваются разработанные в ИСП РАН методы и инструменты анализа бинарного кода ..." | ||
| Том 22 (2012) | Инкрементальный анализ исходного кода на языках C/C++ | Аннотация PDF (Rus) похожие документы |
| В. О. Савицкий, Д. В. Сидоров | ||
| "... В статье описан метод построения статического анализатора кода, позволяющий существенно сократить ..." | ||
| Том 28, № 5 (2016) | Использование анализа недостижимого кода в статическом анализаторе для поиска ошибок в исходном коде программ | Аннотация PDF (Rus) похожие документы |
| Р. Р. Мулюков, А. Е. Бородин | ||
| "... особенности поиска недостижимого кода в статических анализаторах, предназначенных для поиска ошибок. Отмечены ..." | ||
| Том 37, № 6: часть 2. ноябрь-декабрь | Статический анализ языка Visual Basic .NET | Аннотация PDF (Rus) похожие документы |
| Вадим Сергеевич КАРЦЕВ, Валерий Николаевич ИГНАТЬЕВ | ||
| "... интегрирована поддержка языка Visual Basic .NET. Это позволило выполнять статический анализ исходного кода ..." | ||
| Том 37, № 6: часть 1. ноябрь-декабрь | Предсказание истинности предупреждений промышленного статического анализатора с использованием методов машинного обучения | Аннотация PDF (Rus) похожие документы |
| Ульяна Владимировна ТЯЖКОРОБ, Михаил Владимирович БЕЛЯЕВ, Андрей Андреевич БЕЛЕВАНЦЕВ, Валерий Николаевич ИГНАТЬЕВ | ||
| "... уязвимостей и ошибок в исходном коде. Однако зачастую статические анализаторы генерируют большое количество ..." | ||
| Том 33, № 6 (2021) | Автоматическое исправление дефектов кода в системе Svace | Аннотация PDF (Rus) похожие документы |
| Сергей Владимирович СЫРОМЯТНИКОВ | ||
| "... В данной статье рассматривается задача автоматического исправления дефектов кода на языках ..." | ||
| Том 34, № 6 (2022) | Поиск использований освобожденного ресурса в исходном коде на языке C# методами статического анализа | Аннотация PDF (Rus) похожие документы |
| Ульяна Владимировна ТЯЖКОРОБ, Валерий Николаевич ИГНАТЬЕВ, Андрей Андреевич БЕЛЕВАНЦЕВ | ||
| "... ресурса в исходном коде на основе статического символьного выполнения. Данный детектор выполняет ..." | ||
| Том 21 (2011) | Использование статического анализа для поиска уязвимостей и критических ошибок в исходном коде программ | Аннотация PDF (Rus) похожие документы |
| Арутюн Аветисян, Андрей Белеванцев, Алексей Бородин, Владимир Несов | ||
| "... Статический анализ является популярным средством поиска в исходном или двоичном коде программ ..." | ||
| Том 32, № 3 (2020) | Подходы к отладке и обеспечению качества статического анализатора | Аннотация похожие документы |
| Максим Александрович МЕНЬШИКОВ | ||
| "... статического анализатора. Представлено несколько наиболее эффективных методов конструктивной (генерация кода ..." | ||
| Том 25 (2013) | Применение языка KAST для преобразования исходного кода и автоматического исправления дефектов | Аннотация PDF (Rus) похожие документы |
| Н. Л. Луговской, С. В. Сыромятников | ||
| "... В данной работе описывается расширение языка KAST для решения задачи трансформации исходного кода ..." | ||
| Том 27, № 2 (2015) | Анализ сущностей программ на языках Си/Си++ и связей между ними для понимания программ | Аннотация PDF (Rus) похожие документы |
| А. А. Белеванцев, Е. А. Велесевич | ||
| "... В статье рассматривается инструмент статического анализа программ, определяющий сущности программы ..." | ||
| Том 37, № 4: часть 1. июль-август | Поиск мёртвых вызовов функций как дефектов исходного кода методами статического анализа | Аннотация похожие документы |
| Вера Игоревна ВАСИЛЬЕВА, Алексей Евгеньевич БОРОДИН, Александр Ефимович ВОЛКОВ | ||
| "... Обнаружение мёртвого кода традиционно используется в компиляторах как один из видов оптимизации ..." | ||
| Том 38, № 1: январь-февраль | Поиск ошибок в исходном коде на C# на основе статического анализа помеченных данных | Аннотация PDF (Rus) похожие документы |
| Михаил Владимирович БЕЛЯЕВ, Полина Ильинична РАГОЗИНА, Валерий Николаевич ИГНАТЬЕВ | ||
| "... Ошибки в исходном коде, часто являющиеся причиной уязвимостей, могут быть найдены с помощью разных ..." | ||
| Том 38, № 2: март-апрель | Повышение полноты статического анализа приложений, использующих фреймворки, методом генерации эквивалентного кода | Аннотация PDF (Rus) похожие документы |
| Никита Александрович БОРОДАВКО, Валерий Николаевич ИГНАТЬЕВ | ||
| "... В статье описывается подход к повышению полноты анализа за счет генерации эквивалентного кода ..." | ||
| Том 29, № 4 (2017) | Статическая верификация конфигураций ядра Linux | Аннотация похожие документы |
| С. В. Козин, В. С. Мутилин | ||
| "... , необходимо анализировать конфигурационный файл Kconfig помимо исходного кода. Ядро содержит десять тысяч ..." | ||
| Том 30, № 6 (2018) | О новом поколении промежуточных представлений, применяемых для анализа бинарного кода | Аннотация PDF (Rus) похожие документы |
| М. А. Соловьев, М. Г. Бакулин, М. С. Горбачев, Д. В. Манушин, В. А. Падарян, С. С. Панасенко | ||
| "... Многие программные инструменты анализа бинарного кода работают не напрямую с машинными командами ..." | ||
| Том 31, № 6 (2019) | Исследование и разработка межпроцедурных алгоритмов поиска дефектов в исполняемом коде программ | Аннотация PDF (Rus) похожие документы |
| Григорий Сергеевич Иванов, Павел Михайлович Пальчиков, Артём Юрьевич Тарасов, Глеб Станиславович Акимов, Айк Каренович Асланян, Ваагн Геворгович Варданян, Мариам Сероповна Арутюнян, Григор Сосович Керопян | ||
| "... участков может отсутствовать. Приобретают популярность статические методы поиска дефектов в коде ..." | ||
| Том 33, № 3 (2021) | Обзор моделей работы статических анализаторов | Аннотация похожие документы |
| Максим Александрович МЕНЬШИКОВ | ||
| "... Статический анализ программ постепенно осваивает продвинутые случаи использования, и плотная ..." | ||
| Том 31, № 6 (2019) | Декодирование машинных команд в задаче абстрактной интерпретации бинарного кода | Аннотация PDF (Rus) похожие документы |
| Михаил Александрович Соловьев, Максим Геннадьевич Бакулин, Сергей Сергеевич Макаров, Дмитрий Валерьевич Манушин, Вартан Андроникович Падарян | ||
| "... Программный инструментарий для работы с бинарным кодом востребован не только разработчиками ..." | ||
| Том 38, № 3: часть 2. май-июнь | Рефакторинг исходного кода на основе LLM и расширения UML | Аннотация PDF (Rus) похожие документы |
| Екатерина Андреевна КАРАВАЕВА, Людмила Александровна РЕЗУНИК, Леон Андреевич КУЛИГИН, Дмитрий Владимирович АЛЕКСАНДРОВ | ||
| "... модели (LLM) и расширенной UML-модели программного кода. Предложенный подход позволяет выявлять ..." | ||
| Том 38, № 3: часть 1. май-июнь | Поиск модификаций коллекции во время её перечисления в исходном коде на языке C# методами статического анализа | Аннотация PDF (Rus) похожие документы |
| Ксения Андреевна ХАНЕВСКАЯ, Ульяна Владимировна ТЯЖКОРОБ, Валерий Николаевич ИГНАТЬЕВ | ||
| "... программы во время выполнения. Предлагаемое решение реализовано в рамках промышленного статического ..." | ||
| Том 28, № 1 (2016) | Инфраструктура статического анализа программ на языке C# | Аннотация PDF (Rus) похожие документы |
| В. К. Кошелев, В. Н. Игнатьев, А. И. Борзилов | ||
| "... В работе рассмотрены различные аспекты статического анализа программ на языке C# с целью ..." | ||
| Том 37, № 4: часть 1. июль-август | Обзор методов миграции программных интерфейсов приложений для объектно-ориентированных языков | Аннотация PDF (Rus) похожие документы |
| Ян Андреевич ЧУРКИН, Дмитрий Михайлович МЕЛЬНИК, Рубен Артурович БУЧАЦКИЙ | ||
| "... автоматизированных инструментов, методов адаптации и рефакторинга кода на объектно-ориентированных языках ..." | ||
| Том 38, № 2: март-апрель | Оценка корректности сгенерированного нейросетями кода: вероятностный подход | Аннотация PDF (Rus) похожие документы |
| Давид Арменович АВАГЯН | ||
| "... . Однако исследование корректности генерируемого ими кода осложняется недостаточной формализацией понятия ..." | ||
| Том 37, № 2: март-апрель | TSAR: инструмент для оценки статических анализаторов | Аннотация PDF (Rus) похожие документы |
| Кирилл Алексеевич ЧИБИСОВ, Рубен Артурович БУЧАЦКИЙ, Андрей Дмитриевич ТИМОНИН, Владислав Игоревич ЛАЗАРЬ, Дмитрий Михайлович ЖУРИХИН, Андрей Андреевич БЕЛЕВАНЦЕВ | ||
| "... статических анализаторов. TSAR включает в себя три основных компонента: систему анализа статических ..." | ||
| Том 34, № 6 (2022) | Статический анализатор для языков с обработкой исключений | Аннотация PDF (Rus) похожие документы |
| Виталий Олегович АФАНАСЬЕВ, Варвара Викторовна ДВОРЦОВА, Алексей Евгеньевич БОРОДИН | ||
| "... для поиска недостижимого кода, связанного с исключениями; приведена общая схема для статического ..." | ||
| Том 27, № 1 (2015) | Применение статической инструментации байт-кода языка Java для динамического анализа программ | Аннотация PDF (Rus) похожие документы |
| С. П. Вартанов, М. К. Ермаков | ||
| "... . В качестве метода решения поставленной задачи рассматривается применение статической инструментации байт-кода ..." | ||
| Том 37, № 6: часть 4. ноябрь-декабрь | Предварительный анализ промпт-инжиниринга в LLM для генерации кода | Аннотация похожие документы |
| Ярослав Олегович ЮДИНСКИХ, Владимир Владимирович ИВАНОВ | ||
| "... Большие языковые модели (LLM) существенно продвинули задачи генерации кода, сделав возможным ..." | ||
| Том 29, № 3 (2017) | Сравнительный анализ двух подходов к статическому анализу помеченных данных | Аннотация PDF (Rus) похожие документы |
| М. В. Беляев, Н. В. Шимчик, В. Н. Игнатьев, А. А. Белеванцев | ||
| "... анализ помеченных данных. Он может быть реализован на основе статического анализа и успешно обнаруживать ..." | ||
| Том 38, № 3: часть 1. май-июнь | Автодополнение кода на основе LLM для языка программирования Python | Аннотация PDF (Rus) похожие документы |
| Михаил Валериевич ВОЛКОВ, Александр Сергеевич БОЖНЮК, Дарья Владимировна ВАСИНА, Владимир Анатольевич ВАСИЛЬЕВ, Николай Владимирович ТРОПИН, Максим Борисович НИКИТИН, Дмитрий Владимирович КОЗНОВ | ||
| "... продуктивность разработчиков за счёт подсказок релевантных фрагментов кода. Большие языковые модели (LLM ..." | ||
| Том 25 (2013) | Подход к обнаружению ошибок несоответствия типов в коде на динамических языках программирования | Аннотация PDF (Rus) похожие документы |
| И. Е. Бронштейн | ||
| "... Статья посвящена обнаружению дефектов в коде, написанном на динамических языках программирования ..." | ||
| Том 29, № 3 (2017) | Анализ программ на языке Java в инструменте Svace | Аннотация PDF (Rus) похожие документы |
| А. П. Меркулов, С. А. Поляков, А. А. Белеванцев | ||
| "... В статье описываются работы, выполненные для поддержки анализа программ на языке Java в статическом ..." | ||
| Том 37, № 6: часть 4. ноябрь-декабрь | Об описании реляционной модели кода | Аннотация похожие документы |
| Дмитрий Евгеньевич ДУЖИНСКИЙ, Дмитрий Юрьевич БУЛЫЧЕВ | ||
| "... гарантии сохранения инвариантов модели кода. Мы описываем сам язык, его статическую и динамическую ..." | ||
| Том 27, № 6 (2015) | Статический анализатор Svace как коллекция анализаторов разных уровней сложности | Аннотация PDF (Rus) похожие документы |
| А. Е. Бородин, А. А. Белеванцев | ||
| "... В статье описывается практический подход поиска ошибок в исходном коде программ с помощью методов ..." | ||
| 1 - 53 из 140 результатов | 1 2 3 > >> | |
Советы по поиску:
- Поиск ведется с учетом регистра (строчные и прописные буквы различаются)
- Служебные слова (предлоги, союзы и т.п.) игнорируются
- По умолчанию отображаются статьи, содержащие хотя бы одно слово из запроса (то есть предполагается условие OR)
- Чтобы гарантировать, что слово содержится в статье, предварите его знаком +; например, +журнал +мембрана органелла рибосома
- Для поиска статей, содержащих все слова из запроса, объединяйте их с помощью AND; например, клетка AND органелла
- Исключайте слово при помощи знака - (дефис) или NOT; например. клетка -стволовая или клетка NOT стволовая
- Для поиска точной фразы используйте кавычки; например, "бесплатные издания". Совет: используйте кавычки для поиска последовательности иероглифов; например, "中国"
- Используйте круглые скобки для создания сложных запросов; например, архив ((журнал AND конференция) NOT диссертация)
