Сортировать по:
| Выпуск | Название | |
| Том 20 (2011) | Декларативный интерфейс поиска дефектов по синтаксическим деревьям: язык KAST | Аннотация PDF (Rus) похожие документы |
| С. В. Сыромятников | ||
| "... In many cases source code defects can be detected by analyzing the corresponding syntax trees ..." | ||
| Том 35, № 6 (2023) | Статический анализ на основе обобщённого абстрактного синтаксического дерева | Аннотация PDF (Rus) похожие документы |
| Виталий Олегович АФАНАСЬЕВ, Алексей Евгеньевич БОРОДИН, Константин Игоревич ВИХЛЯНЦЕВ, Андрей Андреевич БЕЛЕВАНЦЕВ | ||
| "... The paper describes a unified representation for an abstract syntax tree (AST) suitable for static ..." | ||
| Том 27, № 6 (2015) | Статический анализатор Svace как коллекция анализаторов разных уровней сложности | Аннотация PDF (Rus) похожие документы |
| А. Е. Бородин, А. А. Белеванцев | ||
| "... static analysis. This approach allows missing some of the defects. The goal is to find as many defects ..." | ||
| Том 25 (2013) | Применение языка KAST для преобразования исходного кода и автоматического исправления дефектов | Аннотация PDF (Rus) похожие документы |
| Н. Л. Луговской, С. В. Сыромятников | ||
| "... синтаксических деревьях, построенных по коду на языках C/C++, Java и C#. В статье также рассматриваются некоторые ..." | ||
| Том 23 (2012) | «Ленивый» анализ исходного кода на языках С и С++ | Аннотация PDF (Rus) похожие документы |
| В. О. Савицкий, Д. В. Сидоров | ||
| "... The article describes a way to implement syntax analysis for C/C++ languages which allows to reduce ..." | ||
| Том 36, № 4 (2024) | GraphTyper: Вывод типов из графовой репрезентации кода посредством нейронных сетей | Аннотация PDF (Rus) похожие документы |
| Герман Арсенович АРУТЮНОВ, Сергей Михайлович АВДОШИН | ||
| Том 37, № 1 (2025) | Организация статического анализа на абстрактных синтаксических деревьях с помощью конечных автоматов | Аннотация PDF (Rus) похожие документы |
| Валерий Николаевич ИГНАТЬЕВ | ||
| "... The paper describes a way of organizing static analysis on abstract syntax trees (AST) widely used ..." | ||
| Том 35, № 3 (2023) | Генератор дерева PSI с возможностью записи для мультиязыковой платформы IDE | Аннотация похожие документы |
| Александр Сергеевич БОЖНЮК, Александр Александрович ЗАХАРОВ, Николай Владимирович ТРОПИН, Михаил Валериевич ВОЛКОВ | ||
| "... to improve its quality and for quick fixing of syntax errors in source code. This paper presents the method ..." | ||
| Том 33, № 6 (2021) | Автоматическое исправление дефектов кода в системе Svace | Аннотация PDF (Rus) похожие документы |
| Сергей Владимирович СЫРОМЯТНИКОВ | ||
| "... The main task described in this article is automatic fixing defects in C/C++ code found ..." | ||
| Том 33, № 4 (2021) | Об особенностях фаззинг-тестирования сетевых интерфейсов в условиях отсутствия исходных текстов | Аннотация PDF (Rus) похожие документы |
| Иван Владимирович ШАРКОВ, Вартан Андроникович ПАДАРЯН, Петр Владимирович ХЕНКИН | ||
| "... applications are in demand too. These kind of fuzzing tools provide the search for critical defects in already ..." | ||
| Том 25 (2013) | Применение динамического анализа для поиска дефектов в программах на языке | Аннотация PDF (Rus) похожие документы |
| С. П. Вартанов, А. Ю. Герасимов | ||
| "... implementation of these techniques for automatic software defect detection. The paper focuses on program dynamic ..." | ||
| Том 36, № 4 (2024) | Выявление ошибок в программном модуле Pandas с помощью статического анализатора Svace | Аннотация похожие документы |
| Мария Анатольевна ЛАПИНА, Максим Иванович ХОДАКОВ, Софья Кирилловна ГРОБОВА | ||
| Том 28, № 5 (2016) | Оценка критичности программных дефектов в условиях работы современных защитных механизмов | Аннотация PDF (Rus) похожие документы |
| А. Н. Федотов, В. А. Падарян, В. В. Каушан, Ш. Ф. Курмангалеев, А. В. Вишняков, А. Р. Нурмухаметов | ||
| "... программных дефектов. На этапе тестирования промышленного программного обеспечения выявляется значительное ..." | ||
| Том 32, № 2 (2020) | Платформа автоматического фаззинга программного интерфейса приложений | Аннотация PDF (Rus) похожие документы |
| Севак Сеникович САРГСЯН, Ваагн Геворгович ВАРДАНЯН, Дживан Андраникович АКОПЯН, Анна Мартиросовна АГАБАЛЯН, Матевос Саргисович МЕГРАБЯН, Шамиль Фаимович КУРМАНГАЛЕЕВ, Александр Юрьевич ГЕРАСИМОВ, Михаил Кириллович ЕРМАКОВ, Сергей Павлович ВАРТАНОВ | ||
| "... программное обеспечение часто предоставляет программный интерфейс (Application programming interface) для ..." | ||
| Том 26, № 1 (2014) | Статический анализатор Svace для поиска дефектов в исходном коде программ | Аннотация PDF (Rus) похожие документы |
| В. П. Иванников, А. А. Белеванцев, А. Е. Бородин, В. Н. Игнатьев, Д. М. Журихин, А. И. Аветисян, М. И. Леонов | ||
| "... allows to find defects and potential vulnerabilities in source code of programs written in C/C ..." | ||
| Том 25 (2013) | Avalanche: применение параллельного и распределенного динамического анализа программ для ускорения поиска дефектов и уязвимостей | Аннотация PDF (Rus) похожие документы |
| М. К. Ермаков, А. Ю. Герасимов | ||
| Том 24 (2013) | Вывод типов для языка Python | Аннотация PDF (Rus) похожие документы |
| И. Е. Бронштейн | ||
| "... such as generating a defect trace, i.e. description that specifies how expression got its incorrect types. ..." | ||
| Том 25 (2013) | Подход к обнаружению ошибок несоответствия типов в коде на динамических языках программирования | Аннотация PDF (Rus) похожие документы |
| И. Е. Бронштейн | ||
| "... The paper deals with detection of defects in a program code written in dynamic languages. At first ..." | ||
| Том 29, № 5 (2017) | Подход к определению достижимости программных дефектов, обнаруженных методом статического анализа, при помощи динамического символьного исполнения | Аннотация PDF (Rus) похожие документы |
| А. Ю. Герасимов, Л. В. Круглов, М. К. Ермаков, С. П. Вартанов | ||
| "... reachability for defects found by static program analysis techniques through applying dynamic symbolic ..." | ||
| Том 31, № 6 (2019) | Исследование и разработка межпроцедурных алгоритмов поиска дефектов в исполняемом коде программ | Аннотация PDF (Rus) похожие документы |
| Григорий Сергеевич Иванов, Павел Михайлович Пальчиков, Артём Юрьевич Тарасов, Глеб Станиславович Акимов, Айк Каренович Асланян, Ваагн Геворгович Варданян, Мариам Сероповна Арутюнян, Григор Сосович Керопян | ||
| "... defects, the use of which by an attacker or by a user may lead to a violation of the stability ..." | ||
| Том 36, № 6 (2024) | Подходы к балансировке классов для улучшения оценок прогнозирования дефектов программного обеспечения | Аннотация похожие документы |
| Ангел Хуан САНЧЕС-ГАРСИЯ, Рианьо Гектор Ксавьер ЛИМОН, Саул ДОМИНГЕС-ИСИДРО, Дан Хавьер ОЛВЕРА-ВИЙЕДА, Хуан Карлос ПЕРЕС-АРРИАГА | ||
| "... Addressing software defects is an ongoing challenge in software development, and effectively ..." | ||
| Том 31, № 5 (2019) | Методы оценки надежности программных и технических систем | Аннотация PDF (Rus) похожие документы |
| Екатерина Михайловна Лаврищева, Сергей Вадимович Зеленов, Николай Витальевич Пакулин | ||
| "... information about errors that occur in systems, defects and failures for subsequent changes. Then we consider ..." | ||
| Том 35, № 4 (2023) | Подходы к разработке системы обнаружения дефектов печатных плат на основе технологии АОИ | Аннотация PDF (Rus) похожие документы |
| Татьяна Сергеевна ХОДАТАЕВА, Николай Владимирович КАШИРИН, Александра Ивановна АВЕРИНА, Артём Евгеньевич ГУРЬЯНОВ | ||
| "... Some modern approaches to detecting defects in printed circuit boards based on automatic optical ..." | ||
| Том 30, № 3 (2018) | Анализ методов оценки надежности оборудования и систем. Практика применения методов | Аннотация PDF (Rus) похожие документы |
| Н. В. Пакулин, Е. М. Лаврищева, А. Г. Рыжов, С. В. Зеленов | ||
| "... to errors, defects and failures are defined. The definition of reliability and safety of technical systems ..." | ||
| Том 28, № 4 (2016) | Метод оценки эксплуатируемости программных дефектов | Аннотация PDF (Rus) похожие документы |
| А. Н. Федотов | ||
| "... software defects. For potentially exploitable bugs corresponding exploit generation algorithm is chosen ..." | ||
| Том 21 (2011) | Avalanche: Применение динамического анализа для автоматического обнаружения ошибок в программах использующих сетевые сокеты | Аннотация PDF (Rus) похожие документы |
| И. К. Исаев, Д. В. Сидоров, А. Ю. Герасимов, М. К. Ермаков | ||
| "... , as well as a list of newly discovered defects. ..." | ||
| Том 26, № 2 (2014) | О синтаксическом определении класса языков, распознаваемых недетерминированными машинами Тьюринга на логарифмической памяти | Аннотация PDF (Rus) похожие документы |
| Д. А. Носов | ||
| "... of nondeterministic programs. The syntax of such programs is similar to that of usual computer programs. Each ..." | ||
| Том 30, № 4 (2018) | Толерантный синтаксический анализ с использованием специального символа «Any»: алгоритм и практическое применение | Аннотация похожие документы |
| А. В. Головешкин, С. С. Михалкович | ||
| "... Tolerant parsing is a form of syntax analysis aimed at capturing the structure of certain points ..." | ||
| Том 37, № 1 (2025) | Система статического анализа для языка описания аппаратуры SystemVerilog | Аннотация PDF (Rus) похожие документы |
| Ян Андреевич ЧУРКИН, Рубен Артурович БУЧАЦКИЙ, Константин Николаевич КИТАЕВ, Алексей Георгиевич ВОЛОХОВ, Егор Викторович ДОЛГОДВОРОВ, Александр Сергеевич КАМКИН, Артем Михайлович КОЦЫНЯК, Дмитрий Олегович САМОВАРОВ | ||
| Том 34, № 2 (2022) | Алгоритм генерации тестов из функциональной спецификации с использованием модели Open IE и кластеризации | Аннотация похожие документы |
| Кирилл Сергеевич КОБЫШЕВ, Сергей Александрович МОЛОДЯКОВ | ||
| "... of test scenarios; transformation of scenario paragraphs to syntax tree using pretrained OpenIE model ..." | ||
| Том 27, № 2 (2015) | Подход к проведению динамического анализа Java-программ методом модификации виртуальной машины Java | Аннотация PDF (Rus) похожие документы |
| М. К. Ермаков, С. П. Вартанов | ||
| "... программы и проводить анализ программ на виртуальных машинах, не предоставляющих интерфейс для динамической ..." | ||
| Том 31, № 3 (2019) | Толерантный синтаксический анализ с использованием модифицированных алгоритмов LL(1) и LR(1) со встроенной обработкой символа «Any» | Аннотация похожие документы |
| Алексей Валерьевич Головешкин | ||
| "... Tolerant parsing is a form of syntax analysis aimed at capturing the structure of certain points ..." | ||
| Том 36, № 1 (2024) | Фаззинг полиморфных систем в структурах микросервисов | Аннотация PDF (Rus) похожие документы |
| Артемий Сергеевич ЮРЬЕВ | ||
| "... выявлений дефектов в составе систем, поскольку при разработке не всегда предусматриваются интерфейсы отладки ..." | ||
| Том 30, № 3 (2018) | Программные решения для динамического изменения пользовательского интерфейса на основе автоматически собранной информации о пользователе | Аннотация PDF (Rus) похожие документы |
| В. В. Зосимов, А. В. Христодоров, А. С. Булгакова | ||
| "... автоматизированной адаптации интерфейсов веб-приложений. Особое внимание уделяется идентификации и различению ..." | ||
| Том 34, № 1 (2022) | Обобщенная контекстно-зависимая теоретико-графовая модель фольклорных и литературных текстов | Аннотация PDF (Rus) похожие документы |
| Николай Дмитриевич МОСКИН, Александр Александрович РОГОВ, Роман Владимирович ВОРОНОВ | ||
| "... отношение к разным вершинам. Ребра и графовые подструктуры отражают лексические, синтаксические и ..." | ||
| Том 29, № 6 (2017) | Построение предикатов безопасности для некоторых типов программных дефектов | Аннотация PDF (Rus) похожие документы |
| А. Н. Федотов, В. В. Каушан, С. С. Гайсарян, Ш. Ф. Курмангалеев | ||
| "... for software defect severity estimation. The method was applied to several binaries from Darpa Cyber Grand ..." | ||
| Том 21 (2011) | Риски проектирования и производства мобильных программных продуктов | Аннотация PDF (Rus) похожие документы |
| В. В. Липаев | ||
| Том 22 (2012) | Инкрементальный анализ исходного кода на языках C/C++ | Аннотация PDF (Rus) похожие документы |
| В. О. Савицкий, Д. В. Сидоров | ||
| "... . Such performance improvement allows to re-analyze code on every changed symbol inside IDE and issue defects found ..." | ||
| Том 33, № 1 (2021) | Поиск уязвимостей небезопасного использования помеченных данных в статическом анализаторе Svace | Аннотация PDF (Rus) похожие документы |
| Алексей Евгеньевич БОРОДИН, Алексей Вячеславович ГОРЕМЫКИН, Сергей Павлович ВАРТАНОВ, Андрей Андреевич БЕЛЕВАНЦЕВ | ||
| "... for defects in the program and searches for suspicious places where the logic of the program may be violated ..." | ||
| 1 - 39 из 188 результатов | 1 2 3 4 5 > >> | |
Советы по поиску:
- Поиск ведется с учетом регистра (строчные и прописные буквы различаются)
- Служебные слова (предлоги, союзы и т.п.) игнорируются
- По умолчанию отображаются статьи, содержащие хотя бы одно слово из запроса (то есть предполагается условие OR)
- Чтобы гарантировать, что слово содержится в статье, предварите его знаком +; например, +журнал +мембрана органелла рибосома
- Для поиска статей, содержащих все слова из запроса, объединяйте их с помощью AND; например, клетка AND органелла
- Исключайте слово при помощи знака - (дефис) или NOT; например. клетка -стволовая или клетка NOT стволовая
- Для поиска точной фразы используйте кавычки; например, "бесплатные издания". Совет: используйте кавычки для поиска последовательности иероглифов; например, "中国"
- Используйте круглые скобки для создания сложных запросов; например, архив ((журнал AND конференция) NOT диссертация)
