Сортировать по:
| Выпуск | Название | |
| Том 29, № 4 (2017) | Статическая верификация конфигураций ядра Linux | Аннотация похожие документы |
| С. В. Козин, В. С. Мутилин | ||
| "... создания продуктовых линеек программного обеспечения. Сегодня это одна из наиболее сложных программных ..." | ||
| Том 28, № 1 (2016) | Инфраструктура статического анализа программ на языке C# | Аннотация PDF (Rus) похожие документы |
| В. К. Кошелев, В. Н. Игнатьев, А. И. Борзилов | ||
| "... В работе рассмотрены различные аспекты статического анализа программ на языке C# с целью ..." | ||
| Том 30, № 3 (2018) | Статический анализ для поиска переполнения буфера: актуальные направления развития | Аннотация похожие документы |
| И. А. Дудина | ||
| "... В последние десятилетия переполнение буфера остаётся одним из главных источников программных ошибок ..." | ||
| Том 27, № 6 (2015) | Использование различных представлений java-программ для статического анализа | Аннотация PDF (Rus) похожие документы |
| Е. А. Карпулевич | ||
| "... При статическом анализе программ важную роль играет используемое представление программного кода ..." | ||
| Том 29, № 3 (2017) | Комбинация методов статической верификации композиции требований | Аннотация PDF (Rus) похожие документы |
| В. О. Мордань | ||
| "... Статическая верификация программного обеспечения доказывает выполнение требований в программах ..." | ||
| Том 37, № 1: январь-февраль | Методика поиска уязвимостей в программном обеспечении, написанном на нескольких языках программирования | Аннотация PDF (Rus) похожие документы |
| Борис Аронович ПОЗИН, Полина Андреевна БОРОДУШКИНА, Дмитрий Антонович КОРОТКОВ, Михаил Александрович ФЕДОРОВ, Айнур Фуатович МУРАТОВ | ||
| "... автоматизированного поиска уязвимостей в программах, проведенного с использованием инструментального средства ..." | ||
| Том 29, № 3 (2017) | Обзор подходов к улучшению качества результатов статического анализа программ | Аннотация PDF (Rus) похожие документы |
| А. Ю. Герасимов | ||
| "... разрабатываемого программного обеспечения требует новых подходов к процессу проверки корректности программ как ..." | ||
| Том 37, № 6: часть 4. ноябрь-декабрь | Подход к анализу помеченных данных в статическом анализаторе Svace | Аннотация PDF (Rus) похожие документы |
| Иван Cергеевич ЧЕРЕМИСЕНОВ, Алексей Евгеньевич БОРОДИН, Александр Ефимович ВОЛКОВ, Михаил Вадимович ВЕЛИКАНОВ | ||
| "... Многие уязвимости программного обеспечения вызваны непроверенными данными, которые программы ..." | ||
| Том 26, № 1 (2014) | Методы и программные средства, поддерживающие комбинированный анализ бинарного кода | Аннотация PDF (Rus) похожие документы |
| В. А. Падарян, А. И. Гетьман, М. А. Соловьев, М. Г. Бакулин, А. И. Борзилов, В. В. Каушан, И. Н. Ледовских, Ю. В. Маркин, С. С. Панасенко | ||
| "... в статье. Приводятся примеры применения к реальным программам. ..." | ||
| Том 29, № 2 (2017) | Возможности статической верификации монолитного ядра операционных систем | Аннотация PDF (Rus) похожие документы |
| Е. М. Новиков | ||
| "... , безопасности, надежности и производительности. Те подходы к обеспечению качества программных систем, которые ..." | ||
| Том 35, № 5 (2023) | Проверка программ на соответствие стандарту MISRA C с использованием инфраструктуры Clang | Аннотация PDF (Rus) похожие документы |
| Рубен Артурович БУЧАЦКИЙ, Ян Андрееви ЧУРКИН, Кирилл Алексеевич ЧИБИСОВ, Михаил Вячеславович ПАНТИЛИМОНОВ, Егор Викторович ДОЛГОДВОРОВ, Андрей Викторович ВЯЗОВЦЕВ, Алексей Георгиевич ВОЛОХОВ, Владимир Владимирович ТРУНОВ, Гаяне Оганнесовна МИРАКЯН, Константин Николаевич КИТАЕВ, Андрей Андреевич БЕЛЕВАНЦЕВ | ||
| "... MISRA (Motor Industry Software Reliability Association) и включает в себя набор рекомендаций, которые ..." | ||
| Том 29, № 5 (2017) | Подход к определению достижимости программных дефектов, обнаруженных методом статического анализа, при помощи динамического символьного исполнения | Аннотация PDF (Rus) похожие документы |
| А. Ю. Герасимов, Л. В. Круглов, М. К. Ермаков, С. П. Вартанов | ||
| "... Среди методов анализа программ на наличие дефектов выделяют методы статического и динамического ..." | ||
| Том 29, № 6 (2017) | Инкрементальное построение спецификаций моделей окружения и требований для подсистем монолитного ядра операционных систем | Аннотация PDF (Rus) похожие документы |
| И. С. Захаров, Е. М. Новиков | ||
| "... Методы и инструменты автоматической статической верификации позволяют выявить все ошибки искомых ..." | ||
| Том 27, № 1 (2015) | Применение статической инструментации байт-кода языка Java для динамического анализа программ | Аннотация PDF (Rus) похожие документы |
| С. П. Вартанов, М. К. Ермаков | ||
| "... В статье рассматривается задача проведения динамического анализа программ на языке Java при ..." | ||
| Том 33, № 3 (2021) | Автоматизированная система тестирования инструментов статического анализа кода | Аннотация похожие документы |
| Дамир Маратович ГИМАТДИНОВ, Александр Юрьевич ГЕРАСИМОВ, Пётр Алексеевич ПРИВАЛОВ, Вероника Николаевна БУТКЕВИЧ, Наталья Андреевна ЧЕРНОВА, Анна Антоновна ГОРЕЛОВА | ||
| "... статического анализа исходного кода программ на языках C, C++ и Python. ..." | ||
| Том 36, № 4 (2024) | Выявление ошибок в программном модуле Pandas с помощью статического анализатора Svace | Аннотация похожие документы |
| Мария Анатольевна ЛАПИНА, Максим Иванович ХОДАКОВ, Софья Кирилловна ГРОБОВА | ||
| "... кода и подтверждает эффективность статического анализа в обеспечении безопасности программного ..." | ||
| Том 37, № 4: часть 1. июль-август | Поиск мёртвых вызовов функций как дефектов исходного кода методами статического анализа | Аннотация похожие документы |
| Вера Игоревна ВАСИЛЬЕВА, Алексей Евгеньевич БОРОДИН, Александр Ефимович ВОЛКОВ | ||
| "... с целью его удаления. Мёртвые вызовы функций могут рассматриваться и как вид программных дефектов, которые ..." | ||
| Том 29, № 4 (2017) | Метод моделирования памяти в предикатных абстракциях с разделением на непересекающиеся области | Аннотация похожие документы |
| А. Р. Волков, М. У. Мандрыкин | ||
| "... программного обеспечения и обнаружения ошибок в нем. Статическая верификация - это один из способов верификации ..." | ||
| Том 31, № 1 (2019) | Анализ характера изменений программ и поиск неисправленных фрагментов кода | Аннотация PDF (Rus) похожие документы |
| Марьям Сероповна Арутюнян, Григорий Сергеевич Иванов, Вааг Геворгович Варданян, Айк Каренович Асланян, Арутюн Ишханович Аветисян, Шамиль Фаимович Курмангалеев | ||
| "... Разработчики программного обеспечения часто прибегают к заимствованию кода – как внутри одного ..." | ||
| Том 31, № 3 (2019) | Поиск уязвимостей при помощи статического анализа помеченных данных | Аннотация похожие документы |
| Никита Владимирович Шимчик, Валерий Николаевич Игнатьев | ||
| "... В связи с большими объёмами кода в современных программных продуктах, в программах всегда ..." | ||
| Том 26, № 2 (2014) | Конфигурируемая система статической верификации модулей ядра операционных систем | Аннотация PDF (Rus) похожие документы |
| И. С. Захаров, М. У. Мандрыкин, В. С. Мутилин, Е. М. Новиков, А. К. Петренко, А. В. Хорошилов | ||
| "... и производительности программную систему. Качество ядра современных ОС уже находится на достаточно высоком уровне ..." | ||
| Том 31, № 6 (2019) | Декодирование машинных команд в задаче абстрактной интерпретации бинарного кода | Аннотация PDF (Rus) похожие документы |
| Михаил Александрович Соловьев, Максим Геннадьевич Бакулин, Сергей Сергеевич Макаров, Дмитрий Валерьевич Манушин, Вартан Андроникович Падарян | ||
| "... Программный инструментарий для работы с бинарным кодом востребован не только разработчиками ..." | ||
| Том 30, № 1 (2018) | Методы анализа вредоносного программного обеспечения под ОС Android | Аннотация похожие документы |
| С. М. Старолетов | ||
| "... программно- и научно-технических экспертиз (статические, динамические проверки, отладка, декомпиляция ..." | ||
| Том 27, № 1 (2015) | Применение статической бинарной инструментации с целью проведения динамического анализа программ для платформы ARM | Аннотация PDF (Rus) похожие документы |
| М. К. Ермаков, С. П. Вартанов | ||
| "... одного из методов обработки кода программы в рамках динамического анализа — статической инструментации ..." | ||
| Том 38, № 3: часть 2. май-июнь | Статический анализатор для распознавания массивов в С-программах для задач фаззинга | Аннотация PDF (Rus) похожие документы |
| Дмитрий Владимирович КОЗНОВ, Данила Александрович УСАЧЕВ | ||
| "... применяется фаззинг – подход к тестированию, где на вход тестируемой программе подаются случайные, неожиданные ..." | ||
| Том 29, № 3 (2017) | Сравнительный анализ двух подходов к статическому анализу помеченных данных | Аннотация PDF (Rus) похожие документы |
| М. В. Беляев, Н. В. Шимчик, В. Н. Игнатьев, А. А. Белеванцев | ||
| "... анализ помеченных данных. Он может быть реализован на основе статического анализа и успешно обнаруживать ..." | ||
| Том 37, № 2: март-апрель | TSAR: инструмент для оценки статических анализаторов | Аннотация PDF (Rus) похожие документы |
| Кирилл Алексеевич ЧИБИСОВ, Рубен Артурович БУЧАЦКИЙ, Андрей Дмитриевич ТИМОНИН, Владислав Игоревич ЛАЗАРЬ, Дмитрий Михайлович ЖУРИХИН, Андрей Андреевич БЕЛЕВАНЦЕВ | ||
| "... статических анализаторов. TSAR включает в себя три основных компонента: систему анализа статических ..." | ||
| Том 28, № 2 (2016) | Применимость AutoProof: учебный пример верификации ПО | Аннотация похожие документы |
| Мансур Хазеев, Виктор Ривера, Мануэль Маццара, Александр Чичигин | ||
| "... Очень часто инструменты статической верификации являются результатом многолетних научно ..." | ||
| Том 34, № 4 (2022) | Обнаружение ошибок взаимоисключающей блокировки в программах на языке С# при помощи методов статического анализа | Аннотация PDF (Rus) похожие документы |
| Полина Ильинична РАГОЗИНА, Валерий Николаевич ИГНАТЬЕВ | ||
| "... В статье рассматриваются алгоритмы статического анализа, которые направлены на поиск трех типов ..." | ||
| Том 30, № 5 (2018) | Об одном подходе к анализу строк в языке Си для поиска переполнения буфера | Аннотация PDF (Rus) похожие документы |
| И. А. Дудина, Н. Е. Малышев | ||
| "... разработки программы является статический анализ. Существующие методы статического анализа, ориентированные ..." | ||
| Том 33, № 5 (2021) | Формирование методологии разработки безопасного системного программного обеспечения на примере операционных систем | Аннотация PDF (Rus) похожие документы |
| Петр Николаевич ДЕВЯНИН, Владимир Юрьевич ТЕЛЕЖНИКОВ, Алексей Владимирович ХОРОШИЛОВ | ||
| "... статического и динамического анализа программного кода системного ПО с учётом его специфики. В-четвертых ..." | ||
| Том 28, № 5 (2016) | Обнаружение ошибок доступа к буферу в программах на языке C/C++ с помощью статического анализа | Аннотация PDF (Rus) похожие документы |
| И. А. Дудина | ||
| "... статического анализа. В основе рассматриваемого подхода лежит разработанный ранее алгоритм внутрипроцедурного ..." | ||
| Том 30, № 5 (2018) | Платформа межпроцедурного статического анализа бинарного кода | Аннотация PDF (Rus) похожие документы |
| А. К. Асланян | ||
| "... В рамках данной статьи описывается разработанная платформа для статического анализа бинарного кода ..." | ||
| Том 33, № 6 (2021) | Автоматическое исправление дефектов кода в системе Svace | Аннотация PDF (Rus) похожие документы |
| Сергей Владимирович СЫРОМЯТНИКОВ | ||
| "... C/C++, найденных статическим анализатором на больших программных проектах. Описан опыт реализации соответствующего ..." | ||
| Том 37, № 4: часть 1. июль-август | Обзор методов миграции программных интерфейсов приложений для объектно-ориентированных языков | Аннотация PDF (Rus) похожие документы |
| Ян Андреевич ЧУРКИН, Дмитрий Михайлович МЕЛЬНИК, Рубен Артурович БУЧАЦКИЙ | ||
| "... Миграция приложений – это процесс переноса программного обеспечения с одной платформы или версии ..." | ||
| Том 37, № 6: часть 1. ноябрь-декабрь | Сравнение объектно-ориентированного и процедурно-параметрического полиморфизма | Аннотация PDF (Rus) похожие документы |
| Павел Владимирович КОСОВ, Александр Иванович ЛЕГАЛОВ | ||
| "... программного обеспечения. Сопоставляются базовые техники, обеспечивающие расширение функциональности программ ..." | ||
| Том 37, № 4: часть 1. июль-август | Извлечение функциональности из бинарного кода | Аннотация похожие документы |
| Анна Александровна ИЛЬИНА, Шамиль Фаимович КУРМАНГАЛЕЕВ | ||
| "... , который основан на разделении программ на семантические ядра с использованием частичных трасс выполнения ..." | ||
| Том 28, № 4 (2016) | Поиск ошибок доступа к буферу в программах на языке C/C++ | Аннотация PDF (Rus) похожие документы |
| И. А. Дудина, В. К. Кошелев, А. Е. Бородин | ||
| "... В статье рассматривается алгоритм статического анализа для поиска в исходном коде программы ошибок ..." | ||
| Том 37, № 4: часть 1. июль-август | Определение неточностей в работе некоторых специализированных цикловых оптимизаций в компиляторе LCC для архитектуры «Эльбрус» | Аннотация PDF (Rus) похожие документы |
| Александр Викторович ЕРМОЛИЦКИЙ, Дмитрий Николаевич ЛЕВЧЕНКО, Мурад Искендер-оглы НЕЙМАН-ЗАДЕ | ||
| "... ), построенных на архитектуре «Эльбрус» со статическим планированием. Проанализированы существующие подходы ..." | ||
| Том 22 (2012) | Обзор инструментов статической верификации Си программ в применении к драйверам устройств операционной системы Linux | Аннотация PDF (Rus) похожие документы |
| М. У. Мандрыкин, В. С. Мутилин, Е. М. Новиков, А. В. Хорошилов | ||
| "... В работе рассмотрены методы и техники, используемые в современных инструментах статической ..." | ||
| Том 36, № 3 (2024) | Статический анализ для языка Scala | Аннотация PDF (Rus) похожие документы |
| Виталий Олегович АФАНАСЬЕВ, Алексей Евгеньевич БОРОДИН, Андрей Андреевич БЕЛЕВАНЦЕВ | ||
| "... В работе описывается статический анализатор для поиска ошибок в программах на языке Scala ..." | ||
| Том 29, № 3 (2017) | Анализ программ на языке Java в инструменте Svace | Аннотация PDF (Rus) похожие документы |
| А. П. Меркулов, С. А. Поляков, А. А. Белеванцев | ||
| "... В статье описываются работы, выполненные для поддержки анализа программ на языке Java в статическом ..." | ||
| Том 38, № 3: часть 1. май-июнь | Построение графа вызовов для анализа программ | Аннотация похожие документы |
| Артём ФАРТЫГИН, Алексей Евгеньевич БОРОДИН, Варвара Викторовна ДВОРЦОВА, Виталий Олегович АФАНАСЬЕВ, Артемий Львович ГАЛУСТОВ, Андрей Андреевич БЕЛЕВАНЦЕВ | ||
| "... Статья посвящена задаче построения графа вызовов для программ, написанных на популярных языках ..." | ||
| Том 26, № 1 (2014) | Рефакторинг в рамках программного проекта | Аннотация PDF (Rus) похожие документы |
| С. В. Сыромятников, И. Е. Бронштейн, Н. Л. Луговской | ||
| Том 30, № 6 (2018) | Комбинирование динамического символьного исполнения, статического анализа кода и фаззинга | Аннотация похожие документы |
| А. Ю. Герасимов, С. С. Саргсян, Ш. Ф. Курмангалеев, Д. А. Акопян, С. А. Асрян, М. К. Ермаков | ||
| "... динамическое символьное исполнение программ и статический анализ кода программ с фаззингом для повышения ..." | ||
| Том 31, № 6 (2019) | Исследование и разработка межпроцедурных алгоритмов поиска дефектов в исполняемом коде программ | Аннотация PDF (Rus) похожие документы |
| Григорий Сергеевич Иванов, Павел Михайлович Пальчиков, Артём Юрьевич Тарасов, Глеб Станиславович Акимов, Айк Каренович Асланян, Ваагн Геворгович Варданян, Мариам Сероповна Арутюнян, Григор Сосович Керопян | ||
| "... алгоритмы исследования статической модели программы, в том числе графа вызовов, потока управления, потока ..." | ||
| Том 37, № 3: май-июнь | Тестирование в жизненном цикле автоматизированных систем | Аннотация PDF (Rus) похожие документы |
| Борис Аронович ПОЗИН | ||
| "... Software testing of automated systems at different stages of their life cycle (LC) differs ..." | ||
| Том 33, № 3 (2021) | Обзор моделей работы статических анализаторов | Аннотация похожие документы |
| Максим Александрович МЕНЬШИКОВ | ||
| "... Статический анализ программ постепенно осваивает продвинутые случаи использования, и плотная ..." | ||
| Том 30, № 6 (2018) | О новом поколении промежуточных представлений, применяемых для анализа бинарного кода | Аннотация PDF (Rus) похожие документы |
| М. А. Соловьев, М. Г. Бакулин, М. С. Горбачев, Д. В. Манушин, В. А. Падарян, С. С. Панасенко | ||
| "... Многие программные инструменты анализа бинарного кода работают не напрямую с машинными командами ..." | ||
| Том 22 (2012) | Комбинированный (статический и динамический) анализ бинарного кода | Аннотация PDF (Rus) похожие документы |
| А. Ю. Тихонов, А. И. Аветисян | ||
| "... динамический анализ (анализ трасс программы) в дополнение к статическому. Рассматриваются проблемы, возникающие ..." | ||
| Том 32, № 2 (2020) | Верифицированная тактика Isabelle/HOL для теории ограниченных целых на основе инстанцирования и SMT | Аннотация PDF (Rus) похожие документы |
| Рафаэль Фаритович САДЫКОВ, Михаил Усамович МАНДРЫКИН | ||
| "... При дедуктивной верификации Си-программ как с помощью различных платформ верификации (Why3, Frama ..." | ||
| Том 34, № 4 (2022) | Применение статического анализа исходного кода для поиска проблем с производительностью: примеры из практики | Аннотация похожие документы |
| Александр Юрьевич ГЕРАСИМОВ, Алексей Алексеевич КАНАХИН, Петр Алексеевич ПРИВАЛОВ, Андрей Александрович ЖУКОВ, Евгений Аркадьевич КАМИНСКИЙ | ||
| "... Статический анализ исходного кода программ широко используется для обнаружения ошибок. В основном ..." | ||
| Том 37, № 6: часть 3. ноябрь-декабрь | Статический анализ языка Python с использованием девиртуализации | Аннотация похожие документы |
| Артемий Львович ГАЛУСТОВ, Константин Игоревич ВИХЛЯНЦЕВ, Алексей Евгеньевич БОРОДИН, Андрей Андреевич БЕЛЕВАНЦЕВ | ||
| "... В статье предлагается подход к статическому анализу программ на языке Python на основе ..." | ||
| 1 - 53 из 206 результатов | 1 2 3 4 > >> | |
Советы по поиску:
- Поиск ведется с учетом регистра (строчные и прописные буквы различаются)
- Служебные слова (предлоги, союзы и т.п.) игнорируются
- По умолчанию отображаются статьи, содержащие хотя бы одно слово из запроса (то есть предполагается условие OR)
- Чтобы гарантировать, что слово содержится в статье, предварите его знаком +; например, +журнал +мембрана органелла рибосома
- Для поиска статей, содержащих все слова из запроса, объединяйте их с помощью AND; например, клетка AND органелла
- Исключайте слово при помощи знака - (дефис) или NOT; например. клетка -стволовая или клетка NOT стволовая
- Для поиска точной фразы используйте кавычки; например, "бесплатные издания". Совет: используйте кавычки для поиска последовательности иероглифов; например, "中国"
- Используйте круглые скобки для создания сложных запросов; например, архив ((журнал AND конференция) NOT диссертация)
