Сортировать по:
| Выпуск | Название | |
| Том 29, № 5 (2017) | Модифицированные коды с суммированием взвешенных переходов в системах функционального контроля комбинационных схем | Аннотация PDF (Rus) похожие документы |
| В. В. Сапожников, Вл. В. Сапожников, Д. В. Ефанов | ||
| "... Предложен способ построения модифицированных кодов с суммированием взвешенных переходов между ..." | ||
| Том 34, № 2 (2022) | Поиск ошибок в бинарном коде методами динамической символьной интерпретации | Аннотация похожие документы |
| Алексей Вадимович ВИШНЯКОВ, Илай Александрович КОБРИН, Андрей Николаевич ФЕДОТОВ | ||
| "... применения предложенного метода к программам с открытым исходным кодом было найдено 11 различных новых ошибок ..." | ||
| Том 27, № 2 (2015) | Поиск семантических ошибок, возникающих при некорректной адаптации скопированных участков кода | Аннотация PDF (Rus) похожие документы |
| Севак Саргсян | ||
| "... копировании исходного кода в процессе разработки ПО. Метод состоит из двух основных этапов. На первом этапе ..." | ||
| Том 31, № 1 (2019) | Анализ характера изменений программ и поиск неисправленных фрагментов кода | Аннотация PDF (Rus) похожие документы |
| Марьям Сероповна Арутюнян, Григорий Сергеевич Иванов, Вааг Геворгович Варданян, Айк Каренович Асланян, Арутюн Ишханович Аветисян, Шамиль Фаимович Курмангалеев | ||
| "... Разработчики программного обеспечения часто прибегают к заимствованию кода – как внутри одного ..." | ||
| Том 36, № 4 (2024) | Выявление ошибок в программном модуле Pandas с помощью статического анализатора Svace | Аннотация похожие документы |
| Мария Анатольевна ЛАПИНА, Максим Иванович ХОДАКОВ, Софья Кирилловна ГРОБОВА | ||
| "... на раннем этапе его разработки. Особое внимание уделяется статическому анализу кода, который является ..." | ||
| Том 37, № 5: сентябрь-октябрь | Настройка языковой модели для безопасной генерации кода | Аннотация похожие документы |
| Данил Салаватович ШАЙХЕЛИСЛАМОВ, Мария Сергеевна ВАРЕЦА, Арсений Сергеевич СЁМКИН, Олег Юрьевич РОГОВ | ||
| "... Популярность использования LLM для генерации кода делает обязательной всестороннюю проверку ..." | ||
| Том 25 (2013) | Подход к обнаружению ошибок несоответствия типов в коде на динамических языках программирования | Аннотация PDF (Rus) похожие документы |
| И. Е. Бронштейн | ||
| "... Статья посвящена обнаружению дефектов в коде, написанном на динамических языках программирования ..." | ||
| Том 21 (2011) | Использование статического анализа для поиска уязвимостей и критических ошибок в исходном коде программ | Аннотация PDF (Rus) похожие документы |
| Арутюн Аветисян, Андрей Белеванцев, Алексей Бородин, Владимир Несов | ||
| "... Статический анализ является популярным средством поиска в исходном или двоичном коде программ ..." | ||
| Том 36, № 1 (2024) | Применение энтропии для обнаружения ошибок модулярного кода в системах надежного распределенного хранения | Аннотация PDF (Rus) похожие документы |
| Виктор Андреевич КУЧУКОВ | ||
| "... В статье рассмотрена проблема обнаружения и локализации ошибок модулярного кода. Рассмотрено ..." | ||
| Том 38, № 1: январь-февраль | Поиск ошибок в исходном коде на C# на основе статического анализа помеченных данных | Аннотация PDF (Rus) похожие документы |
| Михаил Владимирович БЕЛЯЕВ, Полина Ильинична РАГОЗИНА, Валерий Николаевич ИГНАТЬЕВ | ||
| "... Ошибки в исходном коде, часто являющиеся причиной уязвимостей, могут быть найдены с помощью разных ..." | ||
| Том 28, № 5 (2016) | Платформенно-независимый и масштабируемый инструмент поиска клонов кода в бинарных файлах | Аннотация PDF (Rus) похожие документы |
| А. К. Асланян, Ш. Ф. Курмангалеев, В. Г. Варданян, М. С. Арутюнян, С. С. Саргсян | ||
| "... участка кода для достижения желаемого результата. Копирование кода может привести к появлению различных ..." | ||
| Том 38, № 2: март-апрель | Направленный фаззинг Rust и Go с помощью LibAFL-DiFuzz | Аннотация похожие документы |
| Тимофей Павлович МЕЖУЕВ, Дарья Алексеевна ПАРЫГИНА, Даниил Олегович КУЦ | ||
| "... ориентированы на анализ C/C++ кода, растущая популярность Rust и Go вызывает потребность в точных и эффективных ..." | ||
| Том 28, № 5 (2016) | Поиск ошибок выхода за границы буфера в бинарном коде программ | Аннотация PDF (Rus) похожие документы |
| В. В. Каушан | ||
| "... комбинированного (статико-динамического) анализа бинарного кода. Для поиска ошибок используется символьная ..." | ||
| Том 34, № 4 (2022) | Применение статического анализа исходного кода для поиска проблем с производительностью: примеры из практики | Аннотация похожие документы |
| Александр Юрьевич ГЕРАСИМОВ, Алексей Алексеевич КАНАХИН, Петр Алексеевич ПРИВАЛОВ, Андрей Александрович ЖУКОВ, Евгений Аркадьевич КАМИНСКИЙ | ||
| "... Статический анализ исходного кода программ широко используется для обнаружения ошибок. В основном ..." | ||
| Том 31, № 3 (2019) | Поиск уязвимостей при помощи статического анализа помеченных данных | Аннотация похожие документы |
| Никита Владимирович Шимчик, Валерий Николаевич Игнатьев | ||
| "... В связи с большими объёмами кода в современных программных продуктах, в программах всегда ..." | ||
| Том 31, № 1 (2019) | Обнаружение неисправностей в комбинационных схемах на основе самодвойственного дополнения до равновесных кодов | Аннотация PDF (Rus) похожие документы |
| Дмитрий Викторович Ефанов, Валерий Владимирович Сапожников, Владимир Владимирович Сапожников, Дмитрий Вячеславович Пивоваров | ||
| "... функций объекта диагностирования до кодовых слов равновесных кодов с параллельным преобразованием функций ..." | ||
| Том 37, № 5: сентябрь-октябрь | Применение суффиксных кодов в модульной метрике для решения задачи кластеризации и задачи поиска k-соседей | Аннотация PDF (Rus) похожие документы |
| Александр Рауилович ШАРАПОВ, Вячеслав Анатольевич ДАВЫДОВ | ||
| "... Данная работа посвящена применению суффиксных кодов в модульной метрике для решения задач ..." | ||
| Том 29, № 1 (2017) | Тестирование возможностей открытого кода BEM++ по решению задач акустики | Аннотация PDF (Rus) похожие документы |
| П. С. Лукашин, С. В. Стрижак, Г. А. Щеглов | ||
| "... Testing of capabilities of open-source BEM++ code for simulation of acoustics problems at medium ..." | ||
| Том 31, № 3 (2019) | C# парсер для извлечения структуры криптографических протоколов из исходного кода | Аннотация похожие документы |
| Илья Александрович Писарев, Людмила Климентьевна Бабенко | ||
| "... проанализировать протокол. В данной статье представлен алгоритм анализа исходного кода языка программирования ..." | ||
| Том 34, № 6 (2022) | Поиск использований освобожденного ресурса в исходном коде на языке C# методами статического анализа | Аннотация PDF (Rus) похожие документы |
| Ульяна Владимировна ТЯЖКОРОБ, Валерий Николаевич ИГНАТЬЕВ, Андрей Андреевич БЕЛЕВАНЦЕВ | ||
| "... ресурса в исходном коде на основе статического символьного выполнения. Данный детектор выполняет ..." | ||
| Том 37, № 4: часть 1. июль-август | Поиск мёртвых вызовов функций как дефектов исходного кода методами статического анализа | Аннотация похожие документы |
| Вера Игоревна ВАСИЛЬЕВА, Алексей Евгеньевич БОРОДИН, Александр Ефимович ВОЛКОВ | ||
| "... Обнаружение мёртвого кода традиционно используется в компиляторах как один из видов оптимизации ..." | ||
| Том 38, № 2: март-апрель | Повышение полноты статического анализа приложений, использующих фреймворки, методом генерации эквивалентного кода | Аннотация PDF (Rus) похожие документы |
| Никита Александрович БОРОДАВКО, Валерий Николаевич ИГНАТЬЕВ | ||
| "... В статье описывается подход к повышению полноты анализа за счет генерации эквивалентного кода ..." | ||
| Том 35, № 5 (2023) | О проблемах использования библиотеки OpenBLAS в продуктовом коде на RISC-V | Аннотация PDF (Rus) похожие документы |
| Ксения Алексеевна ЗАЙЦЕВА, Валерия Валентиновна ПУЗИКОВА, Андрей Дмитриевич СОКОЛОВ | ||
| "... появляющееся RISC-V оборудование и расширения. Однако, к библиотекам, использующимся в продуктовом коде ..." | ||
| Том 38, № 3: часть 1. май-июнь | Поиск модификаций коллекции во время её перечисления в исходном коде на языке C# методами статического анализа | Аннотация PDF (Rus) похожие документы |
| Ксения Андреевна ХАНЕВСКАЯ, Ульяна Владимировна ТЯЖКОРОБ, Валерий Николаевич ИГНАТЬЕВ | ||
| "... , происходящие через цепочки вызовов методов. Тестирование на проектах с открытым исходным кодом показало ..." | ||
| Том 30, № 3 (2018) | Извлечение архитектурной информации из исходного кода ARINC 653 совместимых приложений с использованием алгоритма CEGAR | Аннотация похожие документы |
| С. Л. Лесовой | ||
| "... системы по ее исходному коду. Построенная архитектурная модель существующей системы позволяет ..." | ||
| Том 37, № 3: май-июнь | Контроль комбинационных схем по двум диагностическим признакам на основе логической коррекции сигналов с использованием свойств кодов Хэмминга | Аннотация PDF (Rus) похожие документы |
| Дмитрий Викторович ЕФАНОВ | ||
| "... кода Хэмминга (7, 4) с контролем вычислений по двум диагностическим признакам. В качестве признаков ..." | ||
| Том 32, № 5 (2020) | Экспертная оценка результатов верификации инструментов верификации моделей программ | Аннотация PDF (Rus) похожие документы |
| Владимир Анатольевич ГРАТИНСКИЙ, Евгений Михайлович НОВИКОВ, Илья Сергеевич ЗАХАРОВ | ||
| "... и отчеты о покрытии кода представляют собой наибольшую ценность с точки зрения экспертов, которые хотят ..." | ||
| Том 32, № 3 (2020) | Подходы к отладке и обеспечению качества статического анализатора | Аннотация похожие документы |
| Максим Александрович МЕНЬШИКОВ | ||
| "... между исходным кодом программы, промежуточным представлением и большими формулами в формате ..." | ||
| Том 38, № 3: часть 1. май-июнь | Оптимизация алгоритма расширения оснований в модулярном коде для гомоморфных шифров | Аннотация PDF (Rus) похожие документы |
| Михаил Григорьевич БАБЕНКО, Антон Алексеевич СИНИЦЫН, Максим Анатольевич ДЕРЯБИН | ||
| "... используют модулярный код через систему остаточных классов (СОК) как арифметическую основу для ..." | ||
| Том 36, № 2 (2024) | Классификация коммитов в репозиториях киберфизических систем для исследования исправлений ошибок в них | Аннотация похожие документы |
| Никита Александрович СТАРОВОЙТОВ, Сергей Михайлович СТАРОЛЕТОВ | ||
| "... с неправильной организацией кода и работой аппаратных средств, так и с неверным пониманием физических законов ..." | ||
| Том 30, № 3 (2018) | Статический анализ для поиска переполнения буфера: актуальные направления развития | Аннотация похожие документы |
| И. А. Дудина | ||
| "... фрагментов кода реальных приложений, содержащих эксплуатируемую ошибку переполнения буфера. Для понимания ..." | ||
| Том 37, № 4: часть 2. июль-август | Sydr-Fuzz: непрерывный гибридный фаззинг и динамический анализ для жизненного цикла безопасной разработки | Аннотация PDF (Rus) похожие документы |
| Алексей Вадимович ВИШНЯКОВ, Даниил Олегович КУЦ, Влада Игоревна ЛОГУНОВА, Дарья Алексеевна ПАРЫГИНА, Илай Александрович КОБРИН, Георгий Анатольевич САВИДОВ, Андрей Николаевич ФЕДОТОВ | ||
| "... методов фаззинга превосходит традиционный фаззинг, основанный на покрытии кода. Мы предлагаем улучшенный ..." | ||
| Том 33, № 4 (2021) | Интеграция микросервисов как компонентов сред моделирования для малокодовой разработки | Аннотация похожие документы |
| Хафиз Ахмад Аваис ЧАУДХАРИ, Тициана МАРГАРИА | ||
| "... Среды разработки с низким кодом привлекают внимание из-за их потенциала в качестве парадигмы ..." | ||
| Том 21 (2011) | Механизмы расширения системы статического анализа Svace детекторами новых видов уязвимостей и критических ошибок | Аннотация PDF (Rus) похожие документы |
| Арутюн Аветисян, Алексей Бородин | ||
| "... В ИСП РАН разрабатывается инструмент статического анализа Svace для поиска ошибок в исходном коде ..." | ||
| Том 26, № 1 (2014) | Динамический анализ программ с целью поиска ошибок и уязвимостей при помощи целенаправленной генерации входных данных | Аннотация PDF (Rus) похожие документы |
| С. П. Вартанов, А. Ю. Герасимов | ||
| "... интерпретируемого кода. Приводится описание инструментов динамического анализа, разработанных в Институте системного ..." | ||
| Том 28, № 1 (2016) | Основанный на резюме метод реализации произвольных контекстно-чувствительных проверок при анализе исходного кода посредством символьного выполнения | Аннотация PDF (Rus) похожие документы |
| А. В. Дергачёв, А. В. Сидорин | ||
| "... при использовании межпроцедурного анализа методом резюме при анализе исходного кода программы ..." | ||
| Том 35, № 3 (2023) | Генератор дерева PSI с возможностью записи для мультиязыковой платформы IDE | Аннотация похожие документы |
| Александр Сергеевич БОЖНЮК, Александр Александрович ЗАХАРОВ, Николай Владимирович ТРОПИН, Михаил Валериевич ВОЛКОВ | ||
| "... программного обеспечения сервисы для трансформации кода. Такие сервисы могут использоваться как для ..." | ||
| Том 34, № 3 (2022) | Исследование свойств алгоритма слайсинга предиката пути | Аннотация PDF (Rus) похожие документы |
| Алексей Вадимович ВИШНЯКОВ | ||
| "... завершения и зависания анализируемого кода. Гибридный подход, совмещающий в себе фаззинг и динамическую ..." | ||
| Том 33, № 5 (2021) | Методы маркирования текстовых документов при печати посредством вертикального сдвига и изменения яркости фрагментов слов | Аннотация PDF (Rus) похожие документы |
| Дмитрий Олегович ОБЫДЕНКОВ, Александр Евгеньевич ФРОЛОВ, Юрий Витальевич МАРКИН, Станислав Александрович ФОМИН, Борис Владимирович КОНДРАТЬЕВ | ||
| "... , БЧХ-коды для коррекции ошибок, метод максимизации правдоподобия для извлечения метки, нейронная сеть ..." | ||
| Том 28, № 4 (2016) | Поиск ошибок доступа к буферу в программах на языке C/C++ | Аннотация PDF (Rus) похожие документы |
| И. А. Дудина, В. К. Кошелев, А. Е. Бородин | ||
| "... В статье рассматривается алгоритм статического анализа для поиска в исходном коде программы ошибок ..." | ||
| Том 35, № 5 (2023) | Применение физически-обоснованной нейронной сети на примере моделирования гидродинамических процессов, допускающих аналитическое решение | Аннотация PDF (Rus) похожие документы |
| Константин Борисович КОШЕЛЕВ, Сергей Владимирович СТРИЖАК | ||
| "... программного кода на языке программирования Python. Модель PINN протестирована на тестовой выборке. Оценка ..." | ||
| Том 35, № 2 (2023) | О проблемах при моделировании плоских течений вязкой жидкости при повышенных значениях числа Рейнольдса вихревыми методами в программном комплексе VM2D | Аннотация PDF (Rus) похожие документы |
| Ирина Александровна КОРОБОВА, Евгения Павловна РЯТИНА, Анна Александровна ХОРОШЕВА | ||
| "... им. В.П. Иванникова РАН создан программный комплекс VM2D. Данный код позволяет с достаточной точностью рассчитывать ..." | ||
| Том 35, № 5 (2023) | Метод мутации сложноструктурированных входных данных при фаззинг-тестировании JavaScript интерпретаторов | Аннотация PDF (Rus) похожие документы |
| Наталья Сергеевна ЕРОХИНА | ||
| "... код на веб-странице и требуют постоянной поддержки новых стандартов языка и усложнения своей ..." | ||
| Том 37, № 1: январь-февраль | Система статического анализа для языка описания аппаратуры SystemVerilog | Аннотация PDF (Rus) похожие документы |
| Ян Андреевич ЧУРКИН, Рубен Артурович БУЧАЦКИЙ, Константин Николаевич КИТАЕВ, Алексей Георгиевич ВОЛОХОВ, Егор Викторович ДОЛГОДВОРОВ, Александр Сергеевич КАМКИН, Артем Михайлович КОЦЫНЯК, Дмитрий Олегович САМОВАРОВ | ||
| "... Рост сложности современных цифровых систем и увеличение объемов кода на языках описания аппаратуры ..." | ||
| Том 34, № 4 (2022) | Подходы, направленные на повышение эффективности фаззинг-тестирования компонентов защищенной ОС | Аннотация PDF (Rus) похожие документы |
| Виктория Вячеславовна ЕГОРОВА, Алексей Сергеевич ПАНОВ, Владимир Юрьевич ТЕЛЕЖНИКОВ, Петр Николаевич ДЕВЯНИН | ||
| "... достижения интересующих участков кода без снижения качественных показателей. В рамках данной статьи ..." | ||
| Том 29, № 4 (2017) | Метод моделирования памяти в предикатных абстракциях с разделением на непересекающиеся области | Аннотация похожие документы |
| А. Р. Волков, М. У. Мандрыкин | ||
| "... , который производится без выполнения исходного кода программы. Для статической верификации используется ..." | ||
| Том 37, № 1: январь-февраль | Фреймворк автоматизации тестирования на гонки по данным | Аннотация PDF (Rus) похожие документы |
| Евгений Анатольевич ГЕРЛИЦ, Вадим Сергеевич МУТИЛИН | ||
| "... точек синхронизации в исходном коде программы, в которых тест регулирует порядок исполнения инструкций ..." | ||
| Том 35, № 3 (2023) | Анализ актуальных ошибок в ядре Linux путем кластеризации сообщений об исправлениях в git-репозитории | Аннотация похожие документы |
| Сергей Михайлович СТАРОЛЕТОВ, Никита Александрович СТАРОВОЙТОВ, Николай Андреевич ГОЛОВНЕВ | ||
| "... Linux, которое не только поставляется с полностью открытым исходным кодом, но и предоставляет ..." | ||
| Том 31, № 3 (2019) | Толерантный синтаксический анализ с использованием модифицированных алгоритмов LL(1) и LR(1) со встроенной обработкой символа «Any» | Аннотация похожие документы |
| Алексей Валерьевич Головешкин | ||
| "... из основных способов реализации толерантного парсинга. Термином «остров» обозначаются релевантные области кода ..." | ||
| Том 37, № 6: часть 2. ноябрь-декабрь | Гибридный подход к направленному фаззингу | Аннотация похожие документы |
| Дарья Алексеевна ПАРЫГИНА, Тимофей Павлович МЕЖУЕВ, Даниил Олегович КУЦ | ||
| "... на поиске ошибок в заранее определенных областях кода. Однако этот метод не способен преодолевать сложные ..." | ||
| Том 32, № 5 (2020) | Обнаружение дефекта взаимной блокировки с помощью статического анализа | Аннотация PDF (Rus) похожие документы |
| Сергей Андреевич ПОЛЯКОВ, Алексей Евгеньевич БОРОДИН | ||
| "... 8 проектов с открытым исходном кодом на языках C/C++/Java общим размером более 14 млн. строк кода ..." | ||
| Том 29, № 3 (2017) | Сравнительный анализ двух подходов к статическому анализу помеченных данных | Аннотация PDF (Rus) похожие документы |
| М. В. Беляев, Н. В. Шимчик, В. Н. Игнатьев, А. А. Белеванцев | ||
| "... ошибки, приводящие к уязвимостям, таким как внедрение кода или утечка непубличных данных. Возможны ..." | ||
| Том 37, № 2: март-апрель | Алгоритм выбора семантических мутаций в фаззинге по принципу серого ящика | Аннотация PDF (Rus) похожие документы |
| Григорий Романович РАЙКИН, Максим Сергеевич ПЕЛЕВИН, Владимир Михайлович ИЦЫКСОН | ||
| "... таким образом число обнаруженных поведений и покрытие кода. Сами мутации при этом чаще всего выбираются ..." | ||
| 1 - 53 из 57 результатов | 1 2 > >> | |
Советы по поиску:
- Поиск ведется с учетом регистра (строчные и прописные буквы различаются)
- Служебные слова (предлоги, союзы и т.п.) игнорируются
- По умолчанию отображаются статьи, содержащие хотя бы одно слово из запроса (то есть предполагается условие OR)
- Чтобы гарантировать, что слово содержится в статье, предварите его знаком +; например, +журнал +мембрана органелла рибосома
- Для поиска статей, содержащих все слова из запроса, объединяйте их с помощью AND; например, клетка AND органелла
- Исключайте слово при помощи знака - (дефис) или NOT; например. клетка -стволовая или клетка NOT стволовая
- Для поиска точной фразы используйте кавычки; например, "бесплатные издания". Совет: используйте кавычки для поиска последовательности иероглифов; например, "中国"
- Используйте круглые скобки для создания сложных запросов; например, архив ((журнал AND конференция) NOT диссертация)
