Информатика и системы управления
 
 
 
 
 
 
 
 
 
 
 
 
 
 
Другие журналы

электронный журнал

МОЛОДЕЖНЫЙ НАУЧНО-ТЕХНИЧЕСКИЙ ВЕСТНИК

Издатель Академия инженерных наук им. А.М. Прохорова. Эл No. ФС77-51038. ISSN 2307-0609

Поиск неопределённого поведения в исходном коде на языке C с помощью символьного выполнения с использованием SMT решателя

Молодежный научно-технический вестник # 10, октябрь 2015
УДК: 004.432.2
Файл статьи: Красиков А.С..pdf (305.15Кб)
автор: Красиков А. С.

1.    Internation Standard Organization C Standard 1999 / ISO, ISO/IEC 9899:1999 draft. WG14 ed., 1999. Available at: http://www.open-std.org/jtc1/sc22/wg14/www/docs/n1124.pdf, accessed 24.05.2015.

2.    Cytron, Ferrante, Rosen, Wegman, Zadeck Efficiently Computing Static Single Assignment Form and the Control Dependence Graph // ACM Transactions on Programming Languages and Systems. 1991. № 13(4).  P. 451-490 .

3.   Sreedhar V. C., Gao G. R. Computing φ-nodes in linear time using DJ graphs // Journal of Programming Languages. 1996. № 13(4). P. 191-213.

4.   Wang X., Zeldovich N., Kaashoek M. F., Solar-Lezama A. Towards Optimization-Safe Systems: Analyzing the Impact of Undefined Behavior. MIT CSAIL, 2013. Available at: http://dl.acm.org/citation.cfm?doid=2517349.2522728, accessed 24.05.2015.

5.    Красиков А.С. Обобщённый метод обнаружения оптимизационно-нестабильного поведения в коде на языке C // Молодежный научно-технический вестник. МГТУ им. Н.Э. Баумана. Электрон. журн. 2014. № 12. Режим доступа: http://sntbul.bmstu.ru/doc/746939.html ( дата обращения 24.05.2015).


Тематические рубрики:
Поделиться:
 
ПОИСК
 
elibrary crossref neicon rusycon
 
ЮБИЛЕИ
ФОТОРЕПОРТАЖИ
 
СОБЫТИЯ
 
НОВОСТНАЯ ЛЕНТА



Авторы
Пресс-релизы
Библиотека
Конференции
Выставки
О проекте
Rambler's Top100
Телефон: +7 (499) 263-61-98
  RSS
© 2003-2021 «Молодежный научно-технический вестник» Тел.: +7 (499) 263-61-98