The 6 reference 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. 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++.
    (check this in PDF content)

  2. 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++.
    (check this in PDF content)

  3. Start
    5933
    Prefix
    ¬ ͇ ̃ÂÒÚ‚Â ÓÒÌÓ‚ ̊ ‰Îˇ ‡ÎËÁ‡ˆËË · ̊Î ‚ ̊·‡Ì ÒÚ‡ÚË ̃ÂÒÍËÈ ‡Ì‡ÎËÁ‡ÚÓ Clang Static Analyzer (CSA) [1]. ›ÚÓÚ ‡Ì‡ÎËÁ‡ÚÓ ÍÓ‰‡ ˇ‚ΡÂÚÒˇ ÓÔˆËÓ̇Π̧Ì ̊Ï ÏÓ‰ÛÎÂÏ ÍÓÏÔËΡÚÓ‡ Clang [2] , ÍÓÚÓ ̊È, ‚ Ò‚Ó ̨ Ó ̃Â‰ ̧, ˇ‚ΡÂÚÒˇ ̃‡ÒÚ ̧ ̨ ÔÓÂÍÚ‡ LLVM
    Exact
    [3]
    Suffix
    . Clang Static Analyzer ˇ‚ΡÂÚÒˇ ÒÚ‡ÚË ̃ÂÒÍËÏ ‡Ì‡ÎËÁ‡ÚÓÓÏ Ò ÔÓ‰‰ÂÊÍÓÈ ‡Ì‡ÎËÁ‡ ËÒıÓ‰ÌÓ„Ó ÍÓ‰‡ ̇ ˇÁ ͇̊ı C, C++, Objective C Ë Objective C++. CSA ÔÓ‰‰ÂÊË‚‡ÂÚ ‡ÁÎË ̃Ì ̊ ‚ˉ ̊ ‡Ì‡ÎËÁ‡, ̇˷ÓΠÏÓ ̆Ì ̊Ï ËÁ ÍÓÚÓ ̊ı ˇ‚ΡÂÚÒˇ ÒËÏ‚ÓÎ ̧ÌÓ ‚ ̊ÔÓÎÌÂÌËÂ Ò ‚ÓÁÏÓÊÌÓÒÚ ̧ ̨ ÏÂÊÔӈ‰ÛÌÓ„Ó ‡Ì‡ÎËÁ‡.
    (check this in PDF content)

  4. Start
    6864
    Prefix
    ¡ÓÎ ̧ ̄ËÌÒÚ‚Ó ÒÚ‡ÚË ̃ÂÒÍËı ‡Ì‡ÎËÁ‡ÚÓÓ‚, ËÏ ̨ ̆Ëı ‚ÓÁÏÓÊÌÓÒÚ ̧ ÏÂÊÏÓ‰ÛÎ ̧ÌÓ„Ó ‡Ì‡ÎËÁ‡, ËÒÔÓÎ ̧ÁÛ ̨Ú ‚ ͇ ̃ÂÒÚ‚Â ‚ıÓ‰Ì ̊ı ‰‡ÌÌ ̊ı ‡Ì‡ÎËÁ‡ ÔÓÏÂÊÛÚÓ ̃ÌÓ Ô‰ÒÚ‡‚ÎÂÌËÂ. “‡Í, ÒÚ‡ÚË ̃ÂÒÍËÈ ‡Ì‡ÎËÁ‡ÚÓ Svace
    Exact
    [4]
    Suffix
    ËÒÔÓÎ ̧ÁÛÂÚ ‰Îˇ ‡Ì‡ÎËÁ‡ ·‡ÈÚ-ÍÓ‰ LLVM, Coverity SAVE [5] | ÍÓÏÔËΡÚÓ Edison Design Group, Ë ÒÚÓˇÚ „ÎÓ·‡Î ̧Ì ̊È „‡Ù ‚ ̊ÁÓ‚Ó‚ ‡Ì‡ÎËÁËÛÂÏÓ„Ó ÔÓÂÍÚ‡, ÔÓËÁ‚Ó‰ˇ ‡Á·Ó ·‡ÈÚ-ÍÓ‰‡, Ô‰‚‡ËÚÂÎ ̧ÌÓ Ò„ÂÌÂËÓ‚‡ÌÌÓ„Ó ËÁ ËÒıÓ‰Ì ̊ı Ù‡ÈÎÓ‚ ÔÓÂÍÚ‡.
    (check this in PDF content)

  5. Start
    6920
    Prefix
    ¡ÓÎ ̧ ̄ËÌÒÚ‚Ó ÒÚ‡ÚË ̃ÂÒÍËı ‡Ì‡ÎËÁ‡ÚÓÓ‚, ËÏ ̨ ̆Ëı ‚ÓÁÏÓÊÌÓÒÚ ̧ ÏÂÊÏÓ‰ÛÎ ̧ÌÓ„Ó ‡Ì‡ÎËÁ‡, ËÒÔÓÎ ̧ÁÛ ̨Ú ‚ ͇ ̃ÂÒÚ‚Â ‚ıÓ‰Ì ̊ı ‰‡ÌÌ ̊ı ‡Ì‡ÎËÁ‡ ÔÓÏÂÊÛÚÓ ̃ÌÓ Ô‰ÒÚ‡‚ÎÂÌËÂ. “‡Í, ÒÚ‡ÚË ̃ÂÒÍËÈ ‡Ì‡ÎËÁ‡ÚÓ Svace [4] ËÒÔÓÎ ̧ÁÛÂÚ ‰Îˇ ‡Ì‡ÎËÁ‡ ·‡ÈÚ-ÍÓ‰ LLVM, Coverity SAVE
    Exact
    [5]
    Suffix
    | ÍÓÏÔËΡÚÓ Edison Design Group, Ë ÒÚÓˇÚ „ÎÓ·‡Î ̧Ì ̊È „‡Ù ‚ ̊ÁÓ‚Ó‚ ‡Ì‡ÎËÁËÛÂÏÓ„Ó ÔÓÂÍÚ‡, ÔÓËÁ‚Ó‰ˇ ‡Á·Ó ·‡ÈÚ-ÍÓ‰‡, Ô‰‚‡ËÚÂÎ ̧ÌÓ Ò„ÂÌÂËÓ‚‡ÌÌÓ„Ó ËÁ ËÒıÓ‰Ì ̊ı Ù‡ÈÎÓ‚ ÔÓÂÍÚ‡. Clang Static Analyzer, ‚ ÓÚÎË ̃Ë ÓÚ ÏÌÓ„Ëı ‰Û„Ëı ËÌÒÚÛÏÂÌÚÓ‚ ‡Ì‡ÎËÁ‡ ËÒıÓ‰ÌÓ„Ó ÍÓ‰‡ ÏÂÚÓ‰ÓÏ ÒËÏ‚ÓÎ ̧ÌÓ„Ó ‚ ̊ÔÓÎÌÂÌˡ, ËÒÔÓÎ ̧ÁÛÂÚ ‚ ͇ ̃ÂÒÚ‚Â ‚ıÓ‰Ì ̊ı ‰‡ÌÌ ̊ı Ì ÔÓÏÂÊÛÚÓ ̃ÌÓ Ô‰ÒÚ‡‚ÎÂÌË ËÎË Ó· ̇ÂÍÚÌ ̊È ÍÓ‰,
    (check this in PDF content)

  6. 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
    (check this in PDF content)