Сортировать по:
Выпуск | Название | |
Том 28, № 5 (2016) | Автоматическое доказательство безопасности локальных пустых указателей | Аннотация похожие документы |
А. В. Когтенков | ||
"... no additional type annotations are needed and formalizes the rules in Isabelle/HOL proof assistant ..." | ||
Том 29, № 6 (2017) | Эталонные тесты безопасности нулевых ссылок при инициализации объекта | Аннотация похожие документы |
А. В. Когтенков | ||
"... Null pointer dereferencing remains one of the major issues in modern object-oriented languages ..." | ||
Том 32, № 2 (2020) | Верифицированная тактика Isabelle/HOL для теории ограниченных целых на основе инстанцирования и SMT | Аннотация PDF (Rus) похожие документы |
Рафаэль Фаритович САДЫКОВ, Михаил Усамович МАНДРЫКИН | ||
"... platforms (Why3, Frama-C/WP, F*) and interactive theorem proving systems (Isabelle, HOL4, Coq ..." | ||
Том 33, № 4 (2021) | Полная решающая процедура для теории ограниченной адресной арифметики | Аннотация PDF (Rus) похожие документы |
Рафаэль Фаритович САДЫКОВ, Михаил Усамович МАНДРЫКИН | ||
"... instantiation procedure in Isabelle/HOL. The paper presents an informal description of this proof ..." | ||
Том 27, № 5 (2015) | Чувствительный к путям поиск дефектов в программах на языке C# на примере разыменования нулевого указателя | Аннотация PDF (Rus) похожие документы |
В. К. Кошелев, И. А. Дудина, В. И. Игнатьев, А. И. Борзилов | ||
"... This paper proposes an approach for detecting bugs in C# programs and uses null pointer deference ..." | ||
Том 21 (2011) | Механизмы расширения системы статического анализа Svace детекторами новых видов уязвимостей и критических ошибок | Аннотация PDF (Rus) похожие документы |
Арутюн Аветисян, Алексей Бородин | ||
Том 33, № 6 (2021) | Автоматическое исправление дефектов кода в системе Svace | Аннотация PDF (Rus) похожие документы |
Сергей Владимирович СЫРОМЯТНИКОВ | ||
"... null pointer dereference since it is the most important and sophisticated defect type among those we ..." | ||
Том 28, № 1 (2016) | Инфраструктура статического анализа программ на языке C# | Аннотация PDF (Rus) похожие документы |
В. К. Кошелев, В. Н. Игнатьев, А. И. Борзилов | ||
Том 27, № 6 (2015) | Статический анализатор Svace как коллекция анализаторов разных уровней сложности | Аннотация PDF (Rus) похожие документы |
А. Е. Бородин, А. А. Белеванцев | ||
Том 21 (2011) | Решение проблемы NULL в запросах к реляционной базе данных, используя операторы реляционной алгебры A. | Аннотация PDF (Rus) похожие документы |
И. В. Блудов | ||
"... of attribute marked as NULL meaning the unknown value we define as the relation with a head including concerned ..." | ||
Том 35, № 2 (2023) | Типизированные неизвестные значения: шаг к решению проблемы представления отсутствующей информации в реляционных базах данных | Аннотация PDF (Rus) похожие документы |
Сергей Дмитриевич КУЗНЕЦОВ | ||
"... much to be desired. The SQL standard uses the universal null value to represent missing data ..." | ||
Том 23 (2012) | Верификация драйверов операционной системы Linux | Аннотация PDF (Rus) похожие документы |
Д. Бейер, А. К. Петренко | ||
Том 34, № 6 (2022) | Повышение точности статического анализа за счет учета значений полей класса, имеющих единственное константное значение | Аннотация PDF (Rus) похожие документы |
Вадим Сергеевич КАРЦЕВ, Валерий Николаевич ИГНАТЬЕВ | ||
"... .57%) or DEREF_OF_NULL (improved by 1.33%) and get new results in cases with forgotten readonly or unused fields ..." | ||
Том 27, № 5 (2015) | Моделирование памяти с использованием неинтерпретируемых функций в предикатных абстракциях | Аннотация PDF (Rus) похожие документы |
М. У. Мандрыкин, В. С. Мутилин | ||
"... точном учете семантики выражений с указателями. От точности анализа данных выражений зависит ..." | ||
Том 35, № 3 (2023) | Анализ и исчисление алиасов, основанное на сегментированной модели адресации памяти | Аннотация похожие документы |
Игорь Андреевич ПАРФЕНОВ | ||
"... исчислению алиасов для императивных языков программирования с разрешимой арифметикой указателей, но ..." | ||
Том 24 (2013) | Особенности табличных выражений SQL и их соответствие с концепциями реляционной модели данных | Аннотация PDF (Rus) похожие документы |
И. В. Блудов | ||
"... , attributes of the same name, ordering of attributes, ordering of tuples, no-typed NULLs. The paper ..." | ||
Том 34, № 1 (2022) | Анализ регулярности матриц | Аннотация PDF (Rus) похожие документы |
Игорь Борисович БУРДОНОВ, Алексей Александрович КАРНОВ | ||
"... значимых (не пустых) символов в ячейках матрицы. Такое повторение означает, что при сдвиге матрицы по одной ..." | ||
Том 29, № 6 (2017) | Построение предикатов безопасности для некоторых типов программных дефектов | Аннотация PDF (Rus) похожие документы |
А. Н. Федотов, В. В. Каушан, С. С. Гайсарян, Ш. Ф. Курмангалеев | ||
"... представлены предикаты безопасности для перезаписи указателя, перезаписи указателя на функцию и уязвимости ..." | ||
Том 22 (2012) | Анализ типовых ошибок в драйверах операционной системы Linux | Аннотация PDF (Rus) похожие документы |
В. С. Мутилин, Е. М. Новиков, А. В. Хорошилов | ||
"... . Second and third places with about 9% were occupied by leaks of specific resources and null pointer ..." | ||
Том 30, № 3 (2018) | Методы защиты децентрализованных автономных организаций от системных отказов и атак | Аннотация похожие документы |
А. А. Андрюхин | ||
"... -контрактов, которые приводят к таким ошибкам в функционировании, как пустые транзакции, увеличенное время ..." | ||
Том 29, № 4 (2017) | Метод моделирования памяти в предикатных абстракциях с разделением на непересекающиеся области | Аннотация похожие документы |
А. Р. Волков, М. У. Мандрыкин | ||
"... текущей модели памяти заключается в том, что при встрече функции, возвращающей указатель на область памяти ..." | ||
1 - 21 из 21 результатов |
Советы по поиску:
- Поиск ведется с учетом регистра (строчные и прописные буквы различаются)
- Служебные слова (предлоги, союзы и т.п.) игнорируются
- По умолчанию отображаются статьи, содержащие хотя бы одно слово из запроса (то есть предполагается условие OR)
- Чтобы гарантировать, что слово содержится в статье, предварите его знаком +; например, +журнал +мембрана органелла рибосома
- Для поиска статей, содержащих все слова из запроса, объединяйте их с помощью AND; например, клетка AND органелла
- Исключайте слово при помощи знака - (дефис) или NOT; например. клетка -стволовая или клетка NOT стволовая
- Для поиска точной фразы используйте кавычки; например, "бесплатные издания". Совет: используйте кавычки для поиска последовательности иероглифов; например, "中国"
- Используйте круглые скобки для создания сложных запросов; например, архив ((журнал AND конференция) NOT диссертация)