The 6 references with contexts 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.
Total in-text references: 1
  1. In-text reference with the coordinate start=5745
    Prefix
    ÌÌÓ„Ó ËÒÒΉӂ‡Ìˡ ˇ‚ΡÂÚÒˇ ÔÓÒÚÓÂÌË ÏÂÚÓ‰‡ ‡Ì‡ÎËÁ‡ ÔÓ„‡ÏÏ Ò ˆÂÎ ̧ ̨ ӷ̇ÛÊÂÌˡ ÔÓÚÂ̈ˇΠ̧Ì ̊ı ‰ÂÙÂÍÚÓ‚, ÔÓ‰ıÓ‰ˇ ̆Â„Ó ‰Îˇ Ôӂ‰ÂÌˡ ÏÂÊÔӈ‰ÛÌÓ„Ó ÏÂÊÏÓ‰ÛÎ ̧ÌÓ„Ó ‡Ì‡ÎËÁ‡ ÍÛÔÌ ̊ı ÔÓ„‡ÏÏÌ ̊ı ÍÓÏÔÎÂÍÒÓ‚, ‡Á‡·ÓÚ‡ÌÌ ̊ı Ò ËÒÔÓÎ ̧ÁÓ‚‡ÌËÂÏ ˇÁ ̊ÍÓ‚ C Ë C++, ‚ ̃‡ÒÚÌÓÒÚË, Œ— Android Ë Œ— Tizen. ¬ ͇ ̃ÂÒÚ‚Â ÓÒÌÓ‚ ̊ ‰Îˇ ‡ÎËÁ‡ˆËË · ̊Î ‚ ̊·‡Ì ÒÚ‡ÚË ̃ÂÒÍËÈ ‡Ì‡ÎËÁ‡ÚÓ Clang Static Analyzer (CSA)
    Exact
    [1]
    Suffix
    . ›ÚÓÚ ‡Ì‡ÎËÁ‡ÚÓ ÍÓ‰‡ ˇ‚ΡÂÚÒˇ ÓÔˆËÓ̇Π̧Ì ̊Ï ÏÓ‰ÛÎÂÏ ÍÓÏÔËΡÚÓ‡ Clang [2] , ÍÓÚÓ ̊È, ‚ Ò‚Ó ̨ Ó ̃Â‰ ̧, ˇ‚ΡÂÚÒˇ ̃‡ÒÚ ̧ ̨ ÔÓÂÍÚ‡ LLVM [3]. Clang Static Analyzer ˇ‚ΡÂÚÒˇ ÒÚ‡ÚË ̃ÂÒÍËÏ ‡Ì‡ÎËÁ‡ÚÓÓÏ Ò ÔÓ‰‰ÂÊÍÓÈ ‡Ì‡ÎËÁ‡ ËÒıÓ‰ÌÓ„Ó ÍÓ‰‡ ̇ ˇÁ ͇̊ı C, C++, Objective C Ë Objective C++.

2
clang: a C language family frontend for LLVM. The LLVM Project: website. Available at: http://clang.llvm.org, accessed 12.06.2015.
Total in-text references: 1
  1. In-text reference with the coordinate start=5820
    Prefix
    ‡ÛÊÂÌˡ ÔÓÚÂ̈ˇΠ̧Ì ̊ı ‰ÂÙÂÍÚÓ‚, ÔÓ‰ıÓ‰ˇ ̆Â„Ó ‰Îˇ Ôӂ‰ÂÌˡ ÏÂÊÔӈ‰ÛÌÓ„Ó ÏÂÊÏÓ‰ÛÎ ̧ÌÓ„Ó ‡Ì‡ÎËÁ‡ ÍÛÔÌ ̊ı ÔÓ„‡ÏÏÌ ̊ı ÍÓÏÔÎÂÍÒÓ‚, ‡Á‡·ÓÚ‡ÌÌ ̊ı Ò ËÒÔÓÎ ̧ÁÓ‚‡ÌËÂÏ ˇÁ ̊ÍÓ‚ C Ë C++, ‚ ̃‡ÒÚÌÓÒÚË, Œ— Android Ë Œ— Tizen. ¬ ͇ ̃ÂÒÚ‚Â ÓÒÌÓ‚ ̊ ‰Îˇ ‡ÎËÁ‡ˆËË · ̊Î ‚ ̊·‡Ì ÒÚ‡ÚË ̃ÂÒÍËÈ ‡Ì‡ÎËÁ‡ÚÓ Clang Static Analyzer (CSA) [1]. ›ÚÓÚ ‡Ì‡ÎËÁ‡ÚÓ ÍÓ‰‡ ˇ‚ΡÂÚÒˇ ÓÔˆËÓ̇Π̧Ì ̊Ï ÏÓ‰ÛÎÂÏ ÍÓÏÔËΡÚÓ‡ Clang
    Exact
    [2]
    Suffix
    , ÍÓÚÓ ̊È, ‚ Ò‚Ó ̨ Ó ̃Â‰ ̧, ˇ‚ΡÂÚÒˇ ̃‡ÒÚ ̧ ̨ ÔÓÂÍÚ‡ LLVM [3]. Clang Static Analyzer ˇ‚ΡÂÚÒˇ ÒÚ‡ÚË ̃ÂÒÍËÏ ‡Ì‡ÎËÁ‡ÚÓÓÏ Ò ÔÓ‰‰ÂÊÍÓÈ ‡Ì‡ÎËÁ‡ ËÒıÓ‰ÌÓ„Ó ÍÓ‰‡ ̇ ˇÁ ͇̊ı C, C++, Objective C Ë Objective C++.

3
The LLVM compiler infrastructure. The LLVM Project: website. Available at:http://llvm.org, accessed 12.06.2015.
Total in-text references: 1
  1. In-text reference with the coordinate start=5933
    Prefix
    ¬ ͇ ̃ÂÒÚ‚Â ÓÒÌÓ‚ ̊ ‰Îˇ ‡ÎËÁ‡ˆËË · ̊Î ‚ ̊·‡Ì ÒÚ‡ÚË ̃ÂÒÍËÈ ‡Ì‡ÎËÁ‡ÚÓ Clang Static Analyzer (CSA) [1]. ›ÚÓÚ ‡Ì‡ÎËÁ‡ÚÓ ÍÓ‰‡ ˇ‚ΡÂÚÒˇ ÓÔˆËÓ̇Π̧Ì ̊Ï ÏÓ‰ÛÎÂÏ ÍÓÏÔËΡÚÓ‡ Clang [2] , ÍÓÚÓ ̊È, ‚ Ò‚Ó ̨ Ó ̃Â‰ ̧, ˇ‚ΡÂÚÒˇ ̃‡ÒÚ ̧ ̨ ÔÓÂÍÚ‡ LLVM
    Exact
    [3]
    Suffix
    . Clang Static Analyzer ˇ‚ΡÂÚÒˇ ÒÚ‡ÚË ̃ÂÒÍËÏ ‡Ì‡ÎËÁ‡ÚÓÓÏ Ò ÔÓ‰‰ÂÊÍÓÈ ‡Ì‡ÎËÁ‡ ËÒıÓ‰ÌÓ„Ó ÍÓ‰‡ ̇ ˇÁ ͇̊ı C, C++, Objective C Ë Objective C++. CSA ÔÓ‰‰ÂÊË‚‡ÂÚ ‡ÁÎË ̃Ì ̊ ‚ˉ ̊ ‡Ì‡ÎËÁ‡, ̇˷ÓΠÏÓ ̆Ì ̊Ï ËÁ ÍÓÚÓ ̊ı ˇ‚ΡÂÚÒˇ ÒËÏ‚ÓÎ ̧ÌÓ ‚ ̊ÔÓÎÌÂÌËÂ Ò ‚ÓÁÏÓÊÌÓÒÚ ̧ ̨ ÏÂÊÔӈ‰ÛÌÓ„Ó ‡Ì‡ÎËÁ‡.

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).
Total in-text references: 1
  1. In-text reference with the coordinate start=6864
    Prefix
    ¡ÓÎ ̧ ̄ËÌÒÚ‚Ó ÒÚ‡ÚË ̃ÂÒÍËı ‡Ì‡ÎËÁ‡ÚÓÓ‚, ËÏ ̨ ̆Ëı ‚ÓÁÏÓÊÌÓÒÚ ̧ ÏÂÊÏÓ‰ÛÎ ̧ÌÓ„Ó ‡Ì‡ÎËÁ‡, ËÒÔÓÎ ̧ÁÛ ̨Ú ‚ ͇ ̃ÂÒÚ‚Â ‚ıÓ‰Ì ̊ı ‰‡ÌÌ ̊ı ‡Ì‡ÎËÁ‡ ÔÓÏÂÊÛÚÓ ̃ÌÓ Ô‰ÒÚ‡‚ÎÂÌËÂ. “‡Í, ÒÚ‡ÚË ̃ÂÒÍËÈ ‡Ì‡ÎËÁ‡ÚÓ Svace
    Exact
    [4]
    Suffix
    ËÒÔÓÎ ̧ÁÛÂÚ ‰Îˇ ‡Ì‡ÎËÁ‡ ·‡ÈÚ-ÍÓ‰ LLVM, Coverity SAVE [5] | ÍÓÏÔËΡÚÓ Edison Design Group, Ë ÒÚÓˇÚ „ÎÓ·‡Î ̧Ì ̊È „‡Ù ‚ ̊ÁÓ‚Ó‚ ‡Ì‡ÎËÁËÛÂÏÓ„Ó ÔÓÂÍÚ‡, ÔÓËÁ‚Ó‰ˇ ‡Á·Ó ·‡ÈÚ-ÍÓ‰‡, Ô‰‚‡ËÚÂÎ ̧ÌÓ Ò„ÂÌÂËÓ‚‡ÌÌÓ„Ó ËÁ ËÒıÓ‰Ì ̊ı Ù‡ÈÎÓ‚ ÔÓÂÍÚ‡.

5
Almossawi A., Lim K., Sinha T. Analysis tool evaluation: Coverity Prevent. Final Report. Pittsburgh, PA, Carnegie Mellon University, 2006. 19 p.
Total in-text references: 1
  1. In-text reference with the coordinate start=6920
    Prefix
    ¡ÓÎ ̧ ̄ËÌÒÚ‚Ó ÒÚ‡ÚË ̃ÂÒÍËı ‡Ì‡ÎËÁ‡ÚÓÓ‚, ËÏ ̨ ̆Ëı ‚ÓÁÏÓÊÌÓÒÚ ̧ ÏÂÊÏÓ‰ÛÎ ̧ÌÓ„Ó ‡Ì‡ÎËÁ‡, ËÒÔÓÎ ̧ÁÛ ̨Ú ‚ ͇ ̃ÂÒÚ‚Â ‚ıÓ‰Ì ̊ı ‰‡ÌÌ ̊ı ‡Ì‡ÎËÁ‡ ÔÓÏÂÊÛÚÓ ̃ÌÓ Ô‰ÒÚ‡‚ÎÂÌËÂ. “‡Í, ÒÚ‡ÚË ̃ÂÒÍËÈ ‡Ì‡ÎËÁ‡ÚÓ Svace [4] ËÒÔÓÎ ̧ÁÛÂÚ ‰Îˇ ‡Ì‡ÎËÁ‡ ·‡ÈÚ-ÍÓ‰ LLVM, Coverity SAVE
    Exact
    [5]
    Suffix
    | ÍÓÏÔËΡÚÓ Edison Design Group, Ë ÒÚÓˇÚ „ÎÓ·‡Î ̧Ì ̊È „‡Ù ‚ ̊ÁÓ‚Ó‚ ‡Ì‡ÎËÁËÛÂÏÓ„Ó ÔÓÂÍÚ‡, ÔÓËÁ‚Ó‰ˇ ‡Á·Ó ·‡ÈÚ-ÍÓ‰‡, Ô‰‚‡ËÚÂÎ ̧ÌÓ Ò„ÂÌÂËÓ‚‡ÌÌÓ„Ó ËÁ ËÒıÓ‰Ì ̊ı Ù‡ÈÎÓ‚ ÔÓÂÍÚ‡. Clang Static Analyzer, ‚ ÓÚÎË ̃Ë ÓÚ ÏÌÓ„Ëı ‰Û„Ëı ËÌÒÚÛÏÂÌÚÓ‚ ‡Ì‡ÎËÁ‡ ËÒıÓ‰ÌÓ„Ó ÍÓ‰‡ ÏÂÚÓ‰ÓÏ ÒËÏ‚ÓÎ ̧ÌÓ„Ó ‚ ̊ÔÓÎÌÂÌˡ, ËÒÔÓÎ ̧ÁÛÂÚ ‚ ͇ ̃ÂÒÚ‚Â ‚ıÓ‰Ì ̊ı ‰‡ÌÌ ̊ı Ì ÔÓÏÂÊÛÚÓ ̃ÌÓ Ô‰ÒÚ‡‚ÎÂÌË ËÎË Ó· ̇ÂÍÚÌ ̊È ÍÓ‰,

6
A Massively Spiffy Yet Delicately Unobtrusive Compression Library: webcite. Available at: http://www.zlib.net, accessed 25.07.2015.
Total in-text references: 1
  1. In-text reference with the coordinate start=26011
    Prefix
    “‡ÍË ÓÔ‰ÂÎÂÌˡ ‚ ̊Á ̊‚‡ ̨Ú ÍÓÌÙÎËÍÚ, ÔÓÒÍÓÎ ̧ÍÛ Ì‚ÓÁÏÓÊÌÓ ‡‚ÚÓχÚË ̃ÂÒÍË ÓÔ‰ÂÎËÚ ̧, ͇ÍÓ ËÁ ÓÔ‰ÂÎÂÌËÈ ÒÚÛÍÚÛ ̊ ‰‡ÌÌ ̊ı ˇ‚ΡÂÚÒˇ ÍÓÂÍÚÌ ̊Ï. ÕËÊ Ô˂‰ÂÌ ÔËÏÂ ÔÓ‰Ó·Ì ̊ı ÍÓÌÙÎËÍÚÛ ̨ ̆Ëı ÓÔ‰ÂÎÂÌËÈ, ̇ȉÂÌÌ ̊È ‚ ·Ë·ÎËÓÚÂÍÂzlib
    Exact
    [6]
    Suffix
    . ¬ Á‡„ÓÎÓ‚Ó ̃ÌÓÏ Ù‡ÈΠzlib.h ̇ıÓ‰ËÚÒˇ ÓÔ‰ÂÎÂÌË ÒÎÂ‰Û ̨ ̆Â„Ó ‚ˉ‡: 1740 /* hack for buggy compilers */ 1741 #if !defined(ZUTIL_H) && !defined(NO_DUMMY_DECL) 1742 struct internal_state {int