Preview

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

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

Поиск


Сортировать по:     
 
Выпуск Название
 
Том 35, № 5 (2023) Метод мутации сложноструктурированных входных данных при фаззинг-тестировании JavaScript интерпретаторов Аннотация  PDF (Rus)  похожие документы
Наталья Сергеевна ЕРОХИНА
"... to the complexity of input data generating. JavaScript engines process JavaScript code on a web page and require ..."
 
Том 31, № 5 (2019) Повышение эффективность фаззинга с помощью интервальных мутаций Аннотация  похожие документы
Севак Сеникович Саргсян, Дживан Андраникович Акопян, Оганес Мушегович Мовсисян, Матевос Саргисович Меграбян, Ваагн Телемакович Сирунян, Шамиль Фаимович Курмангалеев
"...   This paper presents a novel approach of generation effective inputs for fuzz testing. Most ..."
 
Том 37, № 2 (2025) Алгоритм выбора семантических мутаций в фаззинге по принципу серого ящика Аннотация  PDF (Rus)  похожие документы
Григорий Романович РАЙКИН, Максим Сергеевич ПЕЛЕВИН, Владимир Михайлович ИЦЫКСОН
"... in this field. The core idea behind this approach is to input a large amount of random data into the program ..."
 
Том 32, № 2 (2020) Платформа автоматического фаззинга программного интерфейса приложений Аннотация  PDF (Rus)  похожие документы
Севак Сеникович САРГСЯН, Ваагн Геворгович ВАРДАНЯН, Дживан Андраникович АКОПЯН, Анна Мартиросовна АГАБАЛЯН, Матевос Саргисович МЕГРАБЯН, Шамиль Фаимович КУРМАНГАЛЕЕВ, Александр Юрьевич ГЕРАСИМОВ, Михаил Кириллович ЕРМАКОВ, Сергей Павлович ВАРТАНОВ
"... of the target program in the face of malformed or unexpected input data. Modern software more than often ..."
 
Том 30, № 6 (2018) Комбинирование динамического символьного исполнения, статического анализа кода и фаззинга Аннотация  похожие документы
А. Ю. Герасимов, С. С. Саргсян, Ш. Ф. Курмангалеев, Д. А. Акопян, С. А. Асрян, М. К. Ермаков
"... execution to construct inputs which will cover new paths during execution. These inputs are used ..."
 
Том 28, № 1 (2016) Методы оптимизации программ на языке JavaScript, основанные на статистике выполнения программы Аннотация  PDF (Rus)  похожие документы
В. Г. Варданян
"... In recent years, JavaScript has become one of the most popular programming languages on the web ..."
 
Том 28, № 5 (2016) Вычисление входных данных для достижения определенной функции в программе методом итеративного динамического анализа Аннотация  PDF (Rus)  похожие документы
А. Ю. Герасимов, Л. В. Круглов
"... : input generation for increasing test coverage for program, inputs of death generation, exploit ..."
 
Том 30, № 1 (2018) О возможностях автоматного описания параллельной композиции временных автоматов Аннотация  PDF (Rus)  похожие документы
А. С. Твардовский, А. В. Лапутенко
"... by a complete deterministic FSM with a single clock. The latter occurs when inputs can be applied to TFSMs ..."
 
Том 34, № 4 (2022) Автоматическое тестирование LLVM-программ со сложными входными структурами данных Аннотация  PDF (Rus)  похожие документы
Александр Владимирович МИСОНИЖНИК, Алексей Александрович БАБУШКИН, Сергей Антонович МОРОЗОВ, Юрий Олегович КОСТЮКОВ, Дмитрий Александрович МОРДВИНОВ, Дмитрий Владимирович КОЗНОВ
"... for LLVM programs with complex input data structures. The approach is based on the well-known idea of lazy ..."
 
Том 34, № 2 (2022) Поиск ошибок в бинарном коде методами динамической символьной интерпретации Аннотация  похожие документы
Алексей Вадимович ВИШНЯКОВ, Илай Александрович КОБРИН, Андрей Николаевич ФЕДОТОВ
"... constraints for input data to find an error and generate an input file to reproduce it. In this paper we ..."
 
Том 26, № 1 (2014) Динамический анализ программ с целью поиска ошибок и уязвимостей при помощи целенаправленной генерации входных данных Аннотация  PDF (Rus)  похожие документы
С. П. Вартанов, А. Ю. Герасимов
"... This paper describes the principles of program dynamic analysis for defect detection using input ..."
 
Том 26, № 2 (2014) Внесение неисправностей в программу с использованием детерминированного воспроизведения Аннотация  PDF (Rus)  похожие документы
П. М. Довгалюк, Ю. В. Маркин
"... recording for latter replaying. Recorded log includes user input, incoming network packets, USB input ..."
 
Том 27, № 6 (2015) Методы предварительной оптимизации программ на языке JavaScript Аннотация  PDF (Rus)  похожие документы
Роман Жуйков, Евгений Шарыгин
"... Modern JavaScript engines use just-in-time (JIT) compilation to produce binary code. JIT compilers ..."
 
Том 34, № 4 (2022) Подходы, направленные на повышение эффективности фаззинг-тестирования компонентов защищенной ОС Аннотация  PDF (Rus)  похожие документы
Виктория Вячеславовна ЕГОРОВА, Алексей Сергеевич ПАНОВ, Владимир Юрьевич ТЕЛЕЖНИКОВ, Петр Николаевич ДЕВЯНИН
"... Фаззинг-тестирование в рамках цикла непрерывной разработки является необходимым инструментом ..."
 
Том 36, № 3 (2024) Платформа автоматизации фаззинг-тестирования компонентов операционной системы Аннотация  PDF (Rus)  похожие документы
Егор Петрович СУРАЕВ, Виктория Вячеславовна ЕГОРОВА, Алексей Сергеевич ПАНОВ
"... статье представлены результаты разработки автоматизированной платформы фаззинг-тестирования, а также ее ..."
 
Том 33, № 5 (2021) Динамический анализ IoT-систем на основе полносистемной эмуляции в QEMU Аннотация  PDF (Rus)  похожие документы
Роман Дмитриевич КОВАЛЕНКО, Алексей Николаевич МАКАРОВ
"... ; интеграция с существующими средствами фаззинга; возможность проведенияраспределенного анализа. ..."
 
Том 27, № 6 (2015) Подходы к оптимизации движка JavaScript V8 Аннотация  PDF (Rus)  похожие документы
Дмитрий Бочарников
"... JavaScript is one of the most ubiquitous programming languages. Performance of JavaScript engines ..."
 
Том 26, № 1 (2014) Методы динамической и предварительной оптимизации программ на языке JаvаSсriрt Аннотация  PDF (Rus)  похожие документы
Роман Жуйков, Дмитрий Мельник, Рубен Бучацкий, Ваагн Варданян, Владислав Иванишин, Евгений Шарыгин
"... The paper is dedicated to performance improvement of JavaScript programs. In this work we examine ..."
 
Том 36, № 1 (2024) Фаззинг полиморфных систем в структурах микросервисов Аннотация  PDF (Rus)  похожие документы
Артемий Сергеевич ЮРЬЕВ
"... Сегодня фаззинг, фаззинг-тестирование является основной техникой тестирования программного ..."
 
Том 28, № 4 (2016) Метод оценки эксплуатируемости программных дефектов Аннотация  PDF (Rus)  похожие документы
А. Н. Федотов
"... for this purpose. The main requirement for the use of the proposed method is an opportunity to get input data ..."
 
Том 34, № 5 (2022) Natch: Определение поверхности атаки программ с помощью отслеживания помеченных данных и интроспекции виртуальных машин Аннотация  PDF (Rus)  похожие документы
Павел Михайлович ДОВГАЛЮК, Мария Анатольевна КЛИМУШЕНКОВА, Наталья Игоревна ФУРСОВА, Владислав Михайлович СТЕПАНОВ, Иван Александрович ВАСИЛЬЕВ, Аркадий Алексеевич ИВАНОВ, Алексей Владимирович ИВАНОВ, Максим Геннадьевич БАКУЛИН, Данила Игоревич ЕГОРОВ
"... we mean a list of executable files, dynamic libraries and functions that are responsible for input ..."
 
Том 34, № 4 (2022) Инструмент динамического анализа IoT-систем ELF с поддержкой символьных вычислений Аннотация  PDF (Rus)  похожие документы
Роман Дмитриевич КОВАЛЕНКО, Алексей Николаевич МАКАРОВ
"... также применимость полученной связки инструментов к реализации распределенного гибридного фаззинга IoT ..."
 
Том 27, № 6 (2015) Динамическая компиляция программ на языке JavaScript в статически типизированное внутреннее представление LLVM Аннотация  PDF (Rus)  похожие документы
В. Г. Варданян, В. А. Иванишин, С. А. Асрян, А. А. Хачатрян, Дж. А. Акопян
"... Since its inception in the middle of the 90’s, JavaScript has become one of the most popular web ..."
 
Том 34, № 5 (2022) Метод восстановления протокольных автоматов по бинарному коду Аннотация  PDF (Rus)  похожие документы
Иван Владимирович ШАРКОВ
"... помощью фаззинга в памяти процесса (in-memory fuzzing) с использованием «плавающей» точки запуска ..."
 
Том 33, № 4 (2021) Об особенностях фаззинг-тестирования сетевых интерфейсов в условиях отсутствия исходных текстов Аннотация  PDF (Rus)  похожие документы
Иван Владимирович ШАРКОВ, Вартан Андроникович ПАДАРЯН, Петр Владимирович ХЕНКИН
"... надежности подталкивает к созданию инструментов их автоматизированного тестирования. Фаззинг-тестирование в ..."
 
Том 25 (2013) Подход к обнаружению ошибок несоответствия типов в коде на динамических языках программирования Аннотация  PDF (Rus)  похожие документы
И. Е. Бронштейн
"... , overview of static analyzers for programs in Python, Ruby and JavaScript is done. After this, the paper ..."
 
Том 20 (2011) Кросс-система программирования ЯУЗА-6 для специализированных ЭВМ реального времени Аннотация  PDF (Rus)  похожие документы
В. В. Липаев
 
Том 35, № 3 (2023) Выявление REDoS cитуаций в регулярных выражениях структуры «домино» Аннотация  похожие документы
Антонина Николаевна НЕПЕЙВОДА, Юлия Андреевна БЕЛИКОВА, Кирилл Константинович ШЕВЧЕНКО, Михаил Романович ТЕРЮХА, Данила Павлович КНЯЗИХИН, Александр Дмитриевич ДЕЛЬМАН, Анна Сергеевна ТЕРЕНТЬЕВА
"... in popular regex engines, such as Python, JavaScript, and C++. In this paper, we examine several existing ..."
 
Том 37, № 3 (2025) Тестирование в жизненном цикле автоматизированных систем Аннотация  PDF (Rus)  похожие документы
Борис Аронович ПОЗИН
 
Том 26, № 6 (2014) К минимизации автоматов с таймаутами Аннотация  PDF (Rus)  похожие документы
Александр Твардовский
"... This paper addresses the problem of minimizing a Finite State Machine (FSM) augmented with input ..."
 
Том 27, № 3 (2015) Программа статистической обработки данных анализатора wireshark и исследование входящего трафика Аннотация  PDF (Rus)  похожие документы
Вениамин Тарасов, Сергей Малахов
"... hyperexponential distribution law of the input flow time intervals. The final result is obtained as a solution ..."
 
Том 29, № 6 (2017) Построение предикатов безопасности для некоторых типов программных дефектов Аннотация  PDF (Rus)  похожие документы
А. Н. Федотов, В. В. Каушан, С. С. Гайсарян, Ш. Ф. Курмангалеев
"... input data, leading to code execution are described in section 3. This methods are based on dynamic ..."
 
Том 30, № 3 (2018) К проверке строго детерминированного поведения временных конечных автоматов Аннотация  похожие документы
Е. М. Винарский, В. А. Захаров
"... . In a Timed FSM (TFSM) inputs and outputs have timestamps, and each transition is equipped with a timed guard ..."
 
Том 33, № 1 (2021) Обучение многослойного перцептрона с учителем в задаче распознавания с помощью корреляционного показателя Аннотация  PDF (Rus)  похожие документы
Николай Анатольевич ВЕРШКОВ, Михаил Григорьевич БАБЕНКО, Виктор Андреевич КУЧУКОВ, Наталья Николаевна КУЧУКОВА
"... input discrete signal representing a combination of "perfect digit writing" and noise, which describes ..."
 
Том 34, № 2 (2022) Функции потерь для обучения моделей сегментации изображений документов Аннотация  PDF (Rus)  похожие документы
Андрей Игоревич ПЕРМИНОВ, Денис Юрьевич ТУРДАКОВ, Оксана Владимировна БЕЛЯЕВА
"... with the coordinates of the bounding boxes and using information about the pixels of the input image. To assess ..."
 
Том 21 (2011) Avalanche: Применение динамического анализа для автоматического обнаружения ошибок в программах использующих сетевые сокеты Аннотация  PDF (Rus)  похожие документы
И. К. Исаев, Д. В. Сидоров, А. Ю. Герасимов, М. К. Ермаков
"... of programs reading input data from network sockets. The technique of received data substitution is introduced ..."
 
Том 35, № 5 (2023) Быстрый анализ статического IR drop эффекта на базе методов машинного обучения Аннотация  PDF (Rus)  похожие документы
Роман Александрович СОЛОВЬЁВ, Дмитрий Владимирович ТЕЛЬПУХОВ, Евгений Денисович ДЕМИДОВ, Илья Ильич ШАФЕЕВ
"... to analyze the static IR-drop effect. The generation of input data for training a neural network from SPICE ..."
 
Том 31, № 5 (2019) Применение i-векторов для автоматизированного определения уровня близости языков Аннотация  PDF (Rus)  похожие документы
Анс-Атаол Улдович Берзинь
"... of languages are used on the input of the method. The experiments were carried out at recordings of Latvian ..."
 
Том 35, № 3 (2023) Симкретная модель памяти с ленивой инициализацией и объектами символьного размера в символьной виртуальной машине KLEE Аннотация  похожие документы
Сергей Антонович МОРОЗОВ, Александр Владимирович МИСОНИЖНИК, Дмитрий Владимирович КОЗНОВ, Дмитрий Аркадьевич ИВАНОВ
"... the symbolic execution of LLVM programs with complex input data structures and input buffers with indeterminate ..."
 
1 - 39 из 142 результатов 1 2 3 4 > >> 

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

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