The 7 references in paper A. Sidorin V., А. Сидорин В. (2016) “Реализация межмодульного анализа для языков C и C++ в статическом анализаторе, использующем для анализа исходный код программы // Implementation of inter-unit analysis for C and C++ languages in a source-based static code analyzer” / spz:neicon:technomag:y:2015:i:9:p:145-159

1
Clang Static Analyzer: website. Available at:http://clang-analyzer.llvm.org, accessed 12.06.2015.
(check this in PDF content)
2
clang: a C language family frontend for LLVM. The LLVM Project: website. Available at: http://clang.llvm.org, accessed 12.06.2015.
(check this in PDF content)
3
The LLVM compiler infrastructure. The LLVM Project: website. Available at:http://llvm.org, accessed 12.06.2015.
(check this in PDF content)
4
Ivannikov V.P., Belevantsev A.A., Borodin A.E., Ignatiev V.N., Zhurikhin D.M., Avetisyan A.I., Leonov M.I. Static analyzer Svace for finding of defects in program source code.Trudy Instituta sistemnogo programmirovaniya RAN=Proceedings of the Institute for System Programming of the RAS(Proceedings of ISP RAS), 2014, vol. 26, no. 1, pp. 231{250. (in Russian).
(check this in PDF content)
5
Almossawi A., Lim K., Sinha T. Analysis tool evaluation: Coverity Prevent. Final Report. Pittsburgh, PA, Carnegie Mellon University, 2006. 19 p.
(check this in PDF content)
6
A Massively Spiffy Yet Delicately Unobtrusive Compression Library: webcite. Available at: http://www.zlib.net, accessed 25.07.2015.
(check this in PDF content)
7
Smith R.Working Draft, Standard for Programming Language C++. ISO/IEC N4296, 2014. 1368 p. Available at:https://isocpp.org/files/papers/n4296.pdf, accessed 01.09.2015.
(check this in PDF content)