Метод резюме для разработки универсального многоцелевого анализатора кодов программ с возможностью обнаружения различных классов дефектов в программах, созданных с использованием языков С и С++

21 / 22

[7] Qadeer S., Rajamani S., Rehof J. Summarizing procedures in concurrent programs.
31st Annual ACM SIGPLAN-SIGACT Symp. on Principles of Programming
Languages, 2004, vol. 39, pp. 245–255.
[8] Braberman V., Garbervetsky D., Hym S., Yovine S. Summary-based inference of
quantitative bounds of live heap objects. Science of Computer Programming, 2013,
vol. 92, pp. 56–84.
[9] Clang Static Analyzer. URL: (accessed: 15.04.2015).
[10] Clang: a C Language Family Frontend for LLVM. URL:
(accessed: 15.04.2015).
[11] The LLVM Compiler Infrastructure. URL: (accessed: 14.04.2015).
[12] Ignat’ev V.N. Usage of the lightweight static analysis for checking adaptive
semantic constraints of the software programming language. Tr. Instituta sistemnogo
programmirovaniya RAN [Proc. of The Institute for Systems Programming, Russian
Academy of Sciences], 2012, vol. 22, pp. 169–188 (in Russ.).
[13] Sargsyan S., Kurmangaleev Sh. Belevantsev, A., Aslanyan A., Baloyan A.
Zoomed searching tool of code clones based on program semantics analysis. Tr.
Instituta sistemnogo programmirovaniya RAN [Proc. of The Institute for Systems
Programming, Russian Academy of Sciences], 2015, vol. 27, pp. 39–50 (in Russ.).
[14] Reps T., Horwitz S., Sagiv M. Precise interprocedural dataflow analysis via graph
reachability. In POPL ’95 Proc. of the 22nd ACM SIGPLAN-SIGACT symp. on
Principles of programming languages, 1995, pp. 49–61.
[15] Xu Z., Kremenek T., Zhang J. A memory model for static analysis of C programs. In
ISoLA’10 Proc. of the 4th international conf. on Leveraging applications of formal
methods, verification, and validation, 2010, pp. 535–548.
Статья поступила в редакцию 25.05.2015
Романова Татьяна Николаевна — канд. физ.-мат. наук, доцент кафедры “Программное
обеспечение ЭВМ и информационные технологии” МГТУ им. Н.Э. Баумана.
МГТУ им. Н.Э. Баумана, Российская Федерация, 105005, Москва, 2-я Бауманская ул.,
д. 5.
Romanova T.N. — Ph.D. (Phys.-Math.), Associate Professor, Department of Software for
Computers and Automation Systems, Bauman Moscow State Technical University.
Bauman Moscow State Technical University, 2-ya Baumanskaya ul. 5, Moscow, 105005
Russian Federation.
Сидорин Алексей Васильевич — аспирант кафедры “Программное обеспечение
ЭВМ и информационные технологии” МГТУ им. Н.Э. Баумана, старший инженер-
программист Московского исследовательского центра Samsung.
МГТУ им. Н.Э. Баумана, Российская Федерация, 105005, Москва, 2-я Бауманская ул.,
д. 5.
Московский исследовательский центр Samsung, Российская Федерация, 125047,
Москва, 1-я Брестская ул., д. 29/22.
Sidorin A.V. — Ph.D. student, Department of Software for Computers and Automation
Systems, Bauman Moscow State Technical University, Senior programmer engineer,
Samsung R&D Institute Rus (SRR).
Bauman Moscow State Technical University, 2-ya Baumanskaya ul. 5, Moscow, 105005
Russian Federation.
Samsung R&D Institute Rus, 1-ya Brestskaya ul. 29/22, Moscow, 125047 Russian
Federation.
ISSN 0236-3933. Вестник МГТУ им. Н.Э. Баумана. Сер. “Приборостроение”. 2015. № 5 95