Preview

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

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

Поиск


Сортировать по:     
 
Выпуск Название
 
Том 29, № 6 (2017) Эталонные тесты безопасности нулевых ссылок при инициализации объекта Аннотация  похожие документы
А. В. Когтенков
"... Разыменование нулевого указателя остаётся одной из основных проблем в современных объектно ..."
 
Том 27, № 5 (2015) Чувствительный к путям поиск дефектов в программах на языке C# на примере разыменования нулевого указателя Аннотация  PDF (Rus)  похожие документы
В. К. Кошелев, И. А. Дудина, В. И. Игнатьев, А. И. Борзилов
"... дефектов в программах на языке C#. Производится формализация дефекта разыменования нулевого указателя и ..."
 
Том 21 (2011) Механизмы расширения системы статического анализа Svace детекторами новых видов уязвимостей и критических ошибок Аннотация  PDF (Rus)  похожие документы
Арутюн Аветисян, Алексей Бородин
 
Том 27, № 6 (2015) Статический анализатор Svace как коллекция анализаторов разных уровней сложности Аннотация  PDF (Rus)  похожие документы
А. Е. Бородин, А. А. Белеванцев
 
Том 28, № 1 (2016) Инфраструктура статического анализа программ на языке C# Аннотация  PDF (Rus)  похожие документы
В. К. Кошелев, В. Н. Игнатьев, А. И. Борзилов
 
Том 27, № 1 (2015) Объектные модели ODMG и SQL десять лет спустя: нет противоречий Аннотация  PDF (Rus)  похожие документы
С. Д. Кузнецов
"... различий являются фоннеймановское разыменование объектных идентификаторов в модели ODMG по сравнению с ..."
 
Том 28, № 5 (2016) Автоматическое доказательство безопасности локальных пустых указателей Аннотация  похожие документы
А. В. Когтенков
"... Разыменование пустого указателя - это хорошо известная ошибка, встречающаяся в объектно ..."
 
Том 23 (2012) Верификация драйверов операционной системы Linux Аннотация  PDF (Rus)  похожие документы
Д. Бейер, А. К. Петренко
 
1 - 8 из 8 результатов

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

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