Сортировать по:
| Выпуск | Название | |
| Том 23 (2012) | Повышение уровня представления трасс выполнения программ | Аннотация PDF (Rus) похожие документы |
| А. Г. Назаров, М. А. Климушенкова, П. М. Довгалюк, В. А. Макаров | ||
| "... This paper presents a method for raising the level of abstraction of a program execution trace ..." | ||
| Том 21 (2011) | Метод автоматического восстановления переменных из трассы исполнения программы | Аннотация PDF (Rus) похожие документы |
| М. А. Климушенкова, В. А. Макаров | ||
| "... The paper considers a method for automatic recovery of variables based on program execution traces ..." | ||
| Том 22 (2012) | Комбинированный (статический и динамический) анализ бинарного кода | Аннотация PDF (Rus) похожие документы |
| А. Ю. Тихонов, А. И. Аветисян | ||
| "... features) a security analyst needs to explore control and data flow, reconstruct functions and variables ..." | ||
| Том 35, № 3 (2023) | Симкретная модель памяти с ленивой инициализацией и объектами символьного размера в символьной виртуальной машине KLEE | Аннотация похожие документы |
| Сергей Антонович МОРОЗОВ, Александр Владимирович МИСОНИЖНИК, Дмитрий Владимирович КОЗНОВ, Дмитрий Аркадьевич ИВАНОВ | ||
| "... Dynamic symbolic execution is a well-known technique for testing applications. It introduces ..." | ||
| Том 28, № 5 (2016) | Формализация определения ошибок при статическом символьном выполнении | Аннотация PDF (Rus) похожие документы |
| В. К. Кошелев | ||
| "... on symbolic execution. Using the original error criteria of symbolic execution approach in program static ..." | ||
| Том 22 (2012) | Восстановление структуры бинарных данных по трассам программ | Аннотация PDF (Rus) похожие документы |
| А. И. Аветисян, А. И. Гетьман | ||
| "... В данной работе рассматривается задача восстановления форматов бинарных данных. Предложены подходы ..." | ||
| Том 33, № 1 (2021) | Поиск уязвимостей небезопасного использования помеченных данных в статическом анализаторе Svace | Аннотация PDF (Rus) похожие документы |
| Алексей Евгеньевич БОРОДИН, Алексей Вячеславович ГОРЕМЫКИН, Сергей Павлович ВАРТАНОВ, Андрей Андреевич БЕЛЕВАНЦЕВ | ||
| "... analysis is based on symbolic execution with the union of states at merge points of paths. An SMT solver ..." | ||
| Том 36, № 4 (2024) | Проблема неопределенности в анализе трасс на основе высокоуровневых моделей в контексте динамической верификации | Аннотация PDF (Rus) похожие документы |
| Алексей Александрович КАРНОВ | ||
| "... execution traces that allow to effectively perform thousands of test cases. The article addresses both ..." | ||
| Том 35, № 6 (2023) | Обнаружение возможной перезаписи переменных вследствие использования функций нелокальных переходов | Аннотация PDF (Rus) похожие документы |
| Никита Юрьевич ШУГАЛЕЙ, Владислав Анатольевич ИВАНИШИН, Александр Владимирович МОНАКОВ | ||
| Том 34, № 4 (2022) | Обнаружение ошибок взаимоисключающей блокировки в программах на языке С# при помощи методов статического анализа | Аннотация PDF (Rus) похожие документы |
| Полина Ильинична РАГОЗИНА, Валерий Николаевич ИГНАТЬЕВ | ||
| "... to the concept of a synchronizing monitor: redefinition of a variable of mutually exclusive locking inside ..." | ||
| Том 35, № 1 (2023) | Сравнение графовых векторных представлений исходного кода с текстовыми моделями на основе архитектур CNN и CodeBERT | Аннотация PDF (Rus) похожие документы |
| Виталий Анатольевич РОМАНОВ, Владимир Владимирович ИВАНОВ | ||
| "... of the program. The results show that graph embeddings allow to achieve an accuracy of classifying variable types ..." | ||
| Том 28, № 4 (2016) | Поиск ошибок доступа к буферу в программах на языке C/C++ | Аннотация PDF (Rus) похожие документы |
| И. А. Дудина, В. К. Кошелев, А. Е. Бородин | ||
| "... . This algorithm is designed to be path-sensitive as it is based on symbolic execution with state merging. For now ..." | ||
| Том 30, № 2 (2018) | Чистая компиляция как парадигма программирования | Аннотация PDF (Rus) похожие документы |
| А. В. Столяров, О. Г. Французов, А. С. Аникина | ||
| "... variable names. While interpretation is wildly popular, compiled execution can be a conscious choice ..." | ||
| Том 27, № 4 (2015) | Обнаружение и оценка количества промахов когерентности на основе вероятностной модели | Аннотация PDF (Rus) похожие документы |
| Е. А. Велесевич | ||
| "... False cache sharing happens when different parallel execution threads update the variables ..." | ||
| Том 28, № 5 (2016) | Оценка критичности программных дефектов в условиях работы современных защитных механизмов | Аннотация PDF (Rus) похожие документы |
| А. Н. Федотов, В. А. Падарян, В. В. Каушан, Ш. Ф. Курмангалеев, А. В. Вишняков, А. Р. Нурмухаметов | ||
| "... требует какой-либо отладочной информации. В основе метода лежит символьная интерпретация трасс выполнения ..." | ||
| Том 32, № 6 (2020) | Внутрипроцедурный анализ для поиска ошибок на основе символьного выполнения | Аннотация PDF (Rus) похожие документы |
| Алексей Евгеньевич БОРОДИН, Ирина Александровна ДУДИНА | ||
| "... a symbolic execution approach with state merging. It uses value numbering to reduce the set of symbolic ..." | ||
| Том 29, № 5 (2017) | Подход к определению достижимости программных дефектов, обнаруженных методом статического анализа, при помощи динамического символьного исполнения | Аннотация PDF (Rus) похожие документы |
| А. Ю. Герасимов, Л. В. Круглов, М. К. Ермаков, С. П. Вартанов | ||
| "... execution for a program. This approach is an extension of our previously proposed approach for determining ..." | ||
| Том 28, № 1 (2016) | Свободное программное обеспечение для моделирования жидкости со свободной поверхностью | Аннотация PDF (Rus) похожие документы |
| Е. В. Давыдова, В. Н. Корчагова | ||
| Том 36, № 2 (2024) | Исследование электровихревого течения между плоскостями с помощью различных вычислительных подходов | Аннотация PDF (Rus) похожие документы |
| Евгений Александрович МИХАЙЛОВ, Антон Александрович ТАРАНЮК, Анастасия Павловна СТЕПАНОВА | ||
| "... on coordinates, the variables "vector potential of velocity - swirl" ("scalar current function – swirl ..." | ||
| Том 29, № 1 (2017) | Динамический анализ приложений с графическим пользовательским интерфейсом на основе символьного исполнения | Аннотация PDF (Rus) похожие документы |
| С. П. Вартанов, А. Ю. Герасимов, М. К. Ермаков, Д. О. Куц, А. А. Новиков | ||
| "... In this paper, we explore the possibilities of applying dynamic symbolic execution (or concolic ..." | ||
| Том 35, № 1 (2023) | Оценка программного проекта с использованием методов гладких кривых и методов выбора переменных и их регуляризации с использованием базы данных клиновидной формы | Аннотация похожие документы |
| Франсиско ВАЛЬДЕС-СУТО, Лизбет НАРАНХО-АЛЬБАРРАН | ||
| "... to the general practice of using regression-based models, looking if smooth curve methods and variable selection ..." | ||
| Том 34, № 5 (2022) | Метод восстановления протокольных автоматов по бинарному коду | Аннотация PDF (Rus) похожие документы |
| Иван Владимирович ШАРКОВ | ||
| "... программ. Задача реинжиниринга протокола состоит из восстановления форматов данных и менее изученного ..." | ||
| Том 31, № 4 (2019) | Эвристические методы конструирования маршрута для решения задачи маршрутизации с ограничением по грузоподъемности | Аннотация похожие документы |
| Сергей Михайлович Авдошин, Екатерина Николаевна Береснева | ||
| Том 29, № 3 (2017) | Сравнительный анализ двух подходов к статическому анализу помеченных данных | Аннотация PDF (Rus) похожие документы |
| М. В. Беляев, Н. В. Шимчик, В. Н. Игнатьев, А. А. Белеванцев | ||
| "... on the dataflow analysis (IFDS) or symbolic execution. In this paper, we describe how to implement both approaches ..." | ||
| Том 28, № 5 (2016) | Обнаружение ошибок доступа к буферу в программах на языке C/C++ с помощью статического анализа | Аннотация PDF (Rus) похожие документы |
| И. А. Дудина | ||
| "... on previously developed intra-procedural algorithm which uses symbolic execution with state merging ..." | ||
| Том 31, № 3 (2019) | Репутационные системы в электронной коммерции: Сравнительный анализ и перспективы моделирования присущей им нечеткости | Аннотация похожие документы |
| Михаил Михайлович Носовский, Константин Юрьевич Дегтярев | ||
| Том 33, № 6 (2021) | Использование идентификации потоков выполнения при решении задач полносистемного анализа бинарного кода | Аннотация PDF (Rus) похожие документы |
| Иван Александрович ВАСИЛЬЕВ, Павел Михайлович ДОВГАЛЮК, Мария Анатольевна КЛИМУШЕНКОВА | ||
| "... would be the program execution flow. To recover the flow of execution of a program, it is important ..." | ||
| Том 30, № 6 (2018) | О новом поколении промежуточных представлений, применяемых для анализа бинарного кода | Аннотация PDF (Rus) похожие документы |
| М. А. Соловьев, М. Г. Бакулин, М. С. Горбачев, Д. В. Манушин, В. А. Падарян, С. С. Панасенко | ||
| "... variables, a simpler alternative to phi-functions, and an extensible elementary operation set at the core ..." | ||
| Том 36, № 3 (2024) | О методах извлечения алгоритмов из бинарного кода | Аннотация PDF (Rus) похожие документы |
| Иван Иванович КУЛАГИН, Вартан Андроникович ПАДАРЯН, Вячеслав Александрович КОШКИН | ||
| "... algorithms are proposed: a functional slice diagram and an algorithm execution diagram. The functional slice ..." | ||
| Том 19 (2010) | Энергосберегающая оптимизация кода за счет использования отключаемых компонентов процессора | Аннотация PDF (Rus) похожие документы |
| И. И. Каретин, В. А. Макаров | ||
| "... execution. The object of research is a technique of disabling individual components of the central ..." | ||
| Том 35, № 2 (2023) | Параллельные вычисления в задачах восстановления искаженных изображений в пространственно-спектральной форме | Аннотация похожие документы |
| Борис Васильевич КОСТРОВ, Наталья Николаевна ГРИНЧЕНКО, Ангелина Алексеевна ВЬЮГИНА, Светлана Николаевна БАРАНОВА | ||
| "... obtained in the form of execution time values with sequential execution and using parallel calculations ..." | ||
| Том 26, № 3 (2014) | Применение компиляторных преобразований для противодействия эксплуатации уязвимостей программного обеспечения | Аннотация PDF (Rus) похожие документы |
| А. Р. Нурмухаметов, Ш. Ф. Курмангалеев, В. В. Каушан, С. С. Гайсарян | ||
| "... of vulnerabilities. Some of them can be successfully exploitable by attacker to gain control of the execution flow ..." | ||
| Том 21 (2011) | Поддержка команд с условным выполнением в селективном планировщике команд | Аннотация PDF (Rus) похожие документы |
| Дмитрий Мельник, Александр Монаков | ||
| "... Conditional execution is a hardware feature available in some CPUs that allows assigning ..." | ||
| Том 26, № 1 (2014) | Методы и программные средства, поддерживающие комбинированный анализ бинарного кода | Аннотация PDF (Rus) похожие документы |
| В. А. Падарян, А. И. Гетьман, М. А. Соловьев, М. Г. Бакулин, А. И. Борзилов, В. В. Каушан, И. Н. Ледовских, Ю. В. Маркин, С. С. Панасенко | ||
| "... machine instruction level execution trace; method for successive presentation level increase; extraction ..." | ||
| Том 28, № 5 (2016) | Когда защита стека в компиляторах не срабатывает? | Аннотация похожие документы |
| Павел Довгалюк, Владимир Макаров | ||
| "... , static and dynamic code generation features. Modern compilers implement compile-time and execution time ..." | ||
| Том 21 (2011) | Детерминированное воспроизведение процесса выполнения программ в виртуальной машине | Аннотация PDF (Rus) похожие документы |
| Павел Довгалюк | ||
| "... The paper describes a technology that allows to capture and rerun scripts of program execution ..." | ||
| Том 28, № 5 (2016) | Оптимизация читаемости тестов порождаемых при символьных вычислениях | Аннотация PDF (Rus) похожие документы |
| И. А. Якимов, А. С. Кузнецов | ||
| "... generated test suites in context of Symbolic Execution. It uses natural language model in order to optimze ..." | ||
| Том 34, № 2 (2022) | Поиск ошибок в бинарном коде методами динамической символьной интерпретации | Аннотация похожие документы |
| Алексей Вадимович ВИШНЯКОВ, Илай Александрович КОБРИН, Андрей Николаевич ФЕДОТОВ | ||
| "... follow security development lifecycle (SDL). Fuzzing and symbolic execution are among the most popular ..." | ||
| Том 27, № 6 (2015) | Инструментация и оптимизация выполнения транзакционных секций многопоточных программ | Аннотация PDF (Rus) похожие документы |
| И. И. Кулагин, М. Г. Курносов | ||
| "... of execution transactional sections. The efficiency of reducing false conflicts is investigated on the STAMP ..." | ||
| 1 - 39 из 256 результатов | 1 2 3 4 5 6 7 > >> | |
Советы по поиску:
- Поиск ведется с учетом регистра (строчные и прописные буквы различаются)
- Служебные слова (предлоги, союзы и т.п.) игнорируются
- По умолчанию отображаются статьи, содержащие хотя бы одно слово из запроса (то есть предполагается условие OR)
- Чтобы гарантировать, что слово содержится в статье, предварите его знаком +; например, +журнал +мембрана органелла рибосома
- Для поиска статей, содержащих все слова из запроса, объединяйте их с помощью AND; например, клетка AND органелла
- Исключайте слово при помощи знака - (дефис) или NOT; например. клетка -стволовая или клетка NOT стволовая
- Для поиска точной фразы используйте кавычки; например, "бесплатные издания". Совет: используйте кавычки для поиска последовательности иероглифов; например, "中国"
- Используйте круглые скобки для создания сложных запросов; например, архив ((журнал AND конференция) NOT диссертация)
