The 20 reference contexts in paper A. Sidorin V., T. Romanova N., А. Сидорин В., Т. Романова Н. (2016) “Новая модификация метода анализа кодов программ на основе резюме для тестирования сложных программных комплексов // A new modification of summary-based analysis method for large software system testing” / spz:neicon:technomag:y:2015:i:8:p:281-300

  1. Start
    3203
    Prefix
    Œ· ̊ ̃ÌÓ ‡ÁÎË ̃‡ ̨Ú ÒÚ‡ÚË ̃ÂÒÍËÈ, ‰Ë̇ÏË ̃ÂÒÍËÈ Ë ÒÏ ̄‡ÌÌ ̊È ‡Ì‡ÎËÁ. œÓ‰ ÒÚ‡ÚË ̃ÂÒÍËÏ ‡Ì‡ÎËÁÓÏ ÔÓÌËχ ̨Ú ‡Ì‡ÎËÁ ÔÓ„‡ÏÏ ̊, Ì ÚÂ·Û ̨ ̆ËÈ Â ÌÂÔÓÒ‰ÒÚ‚ÂÌÌÓ„Ó ‚ ̊ÔÓÎÌÂÌˡ. ◊‡ÒÚ ̧ ËÌÒÚÛÏÂÌÚÓ‚, Ú‡ÍËı, Í‡Í Clang Static Analyzer
    Exact
    [1]
    Suffix
    , PVS-Studio [2], Cppcheck [3], Lint [4], ËÒÒΉÛÂÚ ÌÂÔÓÒ‰ÒÚ‚ÂÌÌÓ ÍÓ‰ ÔÓ„‡ÏÏ ̊ ËÎË ÒÚÛÍÚÛ ̊ ‰‡ÌÌ ̊Â, ÒÚÓˇ ̆ËÂÒˇ ̇ Â„Ó ÓÒÌÓ‚Â, | ‡·ÒÚ‡ÍÚÌÓ ÒËÌÚ‡ÍÒË ̃ÂÒÍÓ ‰ÂÂ‚Ó ËÎË „‡Ù ÔÓÚÓ͇ ÛÔ‡‚ÎÂÌˡ. ƒÛ„‡ˇ ̃‡ÒÚ ̧ ËÌÒÚÛÏÂÌÚÓ‚ ÒÚ‡ÚË ̃ÂÒÍÓ„Ó ‡Ì‡ÎËÁ‡ ËÒÔÓÎ ̧ÁÛÂÚ ‰Îˇ ‡Ì‡ÎËÁ‡ ·ÓΠÌËÁÍÓÛÓ‚Ì‚Ó Ô‰ÒÚ‡‚ÎÂÌË ÔÓ„‡ÏÏ ̊ | ÒÍÓÏÔËÎËÓ‚‡ÌÌ ̊È Ó· ̇ÂÍÚÌ ̊È ËÎË ÔÓÏÂÊÛÚÓ ̃Ì ̊È ÍÓ‰ (Coverity Prevent [5], Sv
    (check this in PDF content)

  2. Start
    3219
    Prefix
    Œ· ̊ ̃ÌÓ ‡ÁÎË ̃‡ ̨Ú ÒÚ‡ÚË ̃ÂÒÍËÈ, ‰Ë̇ÏË ̃ÂÒÍËÈ Ë ÒÏ ̄‡ÌÌ ̊È ‡Ì‡ÎËÁ. œÓ‰ ÒÚ‡ÚË ̃ÂÒÍËÏ ‡Ì‡ÎËÁÓÏ ÔÓÌËχ ̨Ú ‡Ì‡ÎËÁ ÔÓ„‡ÏÏ ̊, Ì ÚÂ·Û ̨ ̆ËÈ Â ÌÂÔÓÒ‰ÒÚ‚ÂÌÌÓ„Ó ‚ ̊ÔÓÎÌÂÌˡ. ◊‡ÒÚ ̧ ËÌÒÚÛÏÂÌÚÓ‚, Ú‡ÍËı, Í‡Í Clang Static Analyzer [1], PVS-Studio
    Exact
    [2]
    Suffix
    , Cppcheck [3], Lint [4], ËÒÒΉÛÂÚ ÌÂÔÓÒ‰ÒÚ‚ÂÌÌÓ ÍÓ‰ ÔÓ„‡ÏÏ ̊ ËÎË ÒÚÛÍÚÛ ̊ ‰‡ÌÌ ̊Â, ÒÚÓˇ ̆ËÂÒˇ ̇ Â„Ó ÓÒÌÓ‚Â, | ‡·ÒÚ‡ÍÚÌÓ ÒËÌÚ‡ÍÒË ̃ÂÒÍÓ ‰ÂÂ‚Ó ËÎË „‡Ù ÔÓÚÓ͇ ÛÔ‡‚ÎÂÌˡ. ƒÛ„‡ˇ ̃‡ÒÚ ̧ ËÌÒÚÛÏÂÌÚÓ‚ ÒÚ‡ÚË ̃ÂÒÍÓ„Ó ‡Ì‡ÎËÁ‡ ËÒÔÓÎ ̧ÁÛÂÚ ‰Îˇ ‡Ì‡ÎËÁ‡ ·ÓΠÌËÁÍÓÛÓ‚Ì‚Ó Ô‰ÒÚ‡‚ÎÂÌË ÔÓ„‡ÏÏ ̊ | ÒÍÓÏÔËÎËÓ‚‡ÌÌ ̊È Ó· ̇ÂÍÚÌ ̊È ËÎË ÔÓÏÂÊÛÚÓ ̃Ì ̊È ÍÓ‰ (Coverity Prevent [5], Svace [6], FindBug
    (check this in PDF content)

  3. Start
    3233
    Prefix
    Œ· ̊ ̃ÌÓ ‡ÁÎË ̃‡ ̨Ú ÒÚ‡ÚË ̃ÂÒÍËÈ, ‰Ë̇ÏË ̃ÂÒÍËÈ Ë ÒÏ ̄‡ÌÌ ̊È ‡Ì‡ÎËÁ. œÓ‰ ÒÚ‡ÚË ̃ÂÒÍËÏ ‡Ì‡ÎËÁÓÏ ÔÓÌËχ ̨Ú ‡Ì‡ÎËÁ ÔÓ„‡ÏÏ ̊, Ì ÚÂ·Û ̨ ̆ËÈ Â ÌÂÔÓÒ‰ÒÚ‚ÂÌÌÓ„Ó ‚ ̊ÔÓÎÌÂÌˡ. ◊‡ÒÚ ̧ ËÌÒÚÛÏÂÌÚÓ‚, Ú‡ÍËı, Í‡Í Clang Static Analyzer [1], PVS-Studio [2], Cppcheck
    Exact
    [3]
    Suffix
    , Lint [4], ËÒÒΉÛÂÚ ÌÂÔÓÒ‰ÒÚ‚ÂÌÌÓ ÍÓ‰ ÔÓ„‡ÏÏ ̊ ËÎË ÒÚÛÍÚÛ ̊ ‰‡ÌÌ ̊Â, ÒÚÓˇ ̆ËÂÒˇ ̇ Â„Ó ÓÒÌÓ‚Â, | ‡·ÒÚ‡ÍÚÌÓ ÒËÌÚ‡ÍÒË ̃ÂÒÍÓ ‰ÂÂ‚Ó ËÎË „‡Ù ÔÓÚÓ͇ ÛÔ‡‚ÎÂÌˡ. ƒÛ„‡ˇ ̃‡ÒÚ ̧ ËÌÒÚÛÏÂÌÚÓ‚ ÒÚ‡ÚË ̃ÂÒÍÓ„Ó ‡Ì‡ÎËÁ‡ ËÒÔÓÎ ̧ÁÛÂÚ ‰Îˇ ‡Ì‡ÎËÁ‡ ·ÓΠÌËÁÍÓÛÓ‚Ì‚Ó Ô‰ÒÚ‡‚ÎÂÌË ÔÓ„‡ÏÏ ̊ | ÒÍÓÏÔËÎËÓ‚‡ÌÌ ̊È Ó· ̇ÂÍÚÌ ̊È ËÎË ÔÓÏÂÊÛÚÓ ̃Ì ̊È ÍÓ‰ (Coverity Prevent [5], Svace [6], FindBugs [7]).
    (check this in PDF content)

  4. Start
    3242
    Prefix
    Œ· ̊ ̃ÌÓ ‡ÁÎË ̃‡ ̨Ú ÒÚ‡ÚË ̃ÂÒÍËÈ, ‰Ë̇ÏË ̃ÂÒÍËÈ Ë ÒÏ ̄‡ÌÌ ̊È ‡Ì‡ÎËÁ. œÓ‰ ÒÚ‡ÚË ̃ÂÒÍËÏ ‡Ì‡ÎËÁÓÏ ÔÓÌËχ ̨Ú ‡Ì‡ÎËÁ ÔÓ„‡ÏÏ ̊, Ì ÚÂ·Û ̨ ̆ËÈ Â ÌÂÔÓÒ‰ÒÚ‚ÂÌÌÓ„Ó ‚ ̊ÔÓÎÌÂÌˡ. ◊‡ÒÚ ̧ ËÌÒÚÛÏÂÌÚÓ‚, Ú‡ÍËı, Í‡Í Clang Static Analyzer [1], PVS-Studio [2], Cppcheck [3], Lint
    Exact
    [4]
    Suffix
    , ËÒÒΉÛÂÚ ÌÂÔÓÒ‰ÒÚ‚ÂÌÌÓ ÍÓ‰ ÔÓ„‡ÏÏ ̊ ËÎË ÒÚÛÍÚÛ ̊ ‰‡ÌÌ ̊Â, ÒÚÓˇ ̆ËÂÒˇ ̇ Â„Ó ÓÒÌÓ‚Â, | ‡·ÒÚ‡ÍÚÌÓ ÒËÌÚ‡ÍÒË ̃ÂÒÍÓ ‰ÂÂ‚Ó ËÎË „‡Ù ÔÓÚÓ͇ ÛÔ‡‚ÎÂÌˡ. ƒÛ„‡ˇ ̃‡ÒÚ ̧ ËÌÒÚÛÏÂÌÚÓ‚ ÒÚ‡ÚË ̃ÂÒÍÓ„Ó ‡Ì‡ÎËÁ‡ ËÒÔÓÎ ̧ÁÛÂÚ ‰Îˇ ‡Ì‡ÎËÁ‡ ·ÓΠÌËÁÍÓÛÓ‚Ì‚Ó Ô‰ÒÚ‡‚ÎÂÌË ÔÓ„‡ÏÏ ̊ | ÒÍÓÏÔËÎËÓ‚‡ÌÌ ̊È Ó· ̇ÂÍÚÌ ̊È ËÎË ÔÓÏÂÊÛÚÓ ̃Ì ̊È ÍÓ‰ (Coverity Prevent [5], Svace [6], FindBugs [7]).
    (check this in PDF content)

  5. Start
    3598
    Prefix
    [1], PVS-Studio [2], Cppcheck [3], Lint [4], ËÒÒΉÛÂÚ ÌÂÔÓÒ‰ÒÚ‚ÂÌÌÓ ÍÓ‰ ÔÓ„‡ÏÏ ̊ ËÎË ÒÚÛÍÚÛ ̊ ‰‡ÌÌ ̊Â, ÒÚÓˇ ̆ËÂÒˇ ̇ Â„Ó ÓÒÌÓ‚Â, | ‡·ÒÚ‡ÍÚÌÓ ÒËÌÚ‡ÍÒË ̃ÂÒÍÓ ‰ÂÂ‚Ó ËÎË „‡Ù ÔÓÚÓ͇ ÛÔ‡‚ÎÂÌˡ. ƒÛ„‡ˇ ̃‡ÒÚ ̧ ËÌÒÚÛÏÂÌÚÓ‚ ÒÚ‡ÚË ̃ÂÒÍÓ„Ó ‡Ì‡ÎËÁ‡ ËÒÔÓÎ ̧ÁÛÂÚ ‰Îˇ ‡Ì‡ÎËÁ‡ ·ÓΠÌËÁÍÓÛÓ‚Ì‚Ó Ô‰ÒÚ‡‚ÎÂÌË ÔÓ„‡ÏÏ ̊ | ÒÍÓÏÔËÎËÓ‚‡ÌÌ ̊È Ó· ̇ÂÍÚÌ ̊È ËÎË ÔÓÏÂÊÛÚÓ ̃Ì ̊È ÍÓ‰ (Coverity Prevent
    Exact
    [5]
    Suffix
    , Svace [6], FindBugs [7]). ¬ ÓÚÎË ̃Ë ÓÚ ÒÚ‡ÚË ̃ÂÒÍÓ„Ó ‡Ì‡ÎËÁ‡, ‰Îˇ ‰Ë̇ÏË ̃ÂÒÍÓ„Ó ‡Ì‡ÎËÁ‡ ÔÓ„‡ÏÏ ̊ Ú·ÛÂÚÒˇ  ‚ ̊ÔÓÎÌÂÌË | ̇ ÒÔˆˇΠ̧Ì ̊ı ‚ıÓ‰Ì ̊ı ‰‡ÌÌ ̊ı, ‚ ‚ËÚۇΠ̧ÌÓÈ Ï‡ ̄ËÌ (Valgrind [8]), Ò ËÒÔÓÎ ̧ÁÓ‚‡ÌËÂÏ ËÌÒÚÛÏÂÌÚ‡ˆËË (AddressSanitizer [9], ThreadSanitizer [10], UndefinedBehaviorSanitizer), Ò ËÒÔÓÎ ̧ÁÓ‚‡ÌËÂÏ ‰ÓÔÓÎÌËÚÂÎ ̧Ì ̊ı ·Ë·ÎËÓÚÂÍ ËÎË Ëı ÔÓ‰ÏÂÌÓÈ.
    (check this in PDF content)

  6. Start
    3609
    Prefix
    -Studio [2], Cppcheck [3], Lint [4], ËÒÒΉÛÂÚ ÌÂÔÓÒ‰ÒÚ‚ÂÌÌÓ ÍÓ‰ ÔÓ„‡ÏÏ ̊ ËÎË ÒÚÛÍÚÛ ̊ ‰‡ÌÌ ̊Â, ÒÚÓˇ ̆ËÂÒˇ ̇ Â„Ó ÓÒÌÓ‚Â, | ‡·ÒÚ‡ÍÚÌÓ ÒËÌÚ‡ÍÒË ̃ÂÒÍÓ ‰ÂÂ‚Ó ËÎË „‡Ù ÔÓÚÓ͇ ÛÔ‡‚ÎÂÌˡ. ƒÛ„‡ˇ ̃‡ÒÚ ̧ ËÌÒÚÛÏÂÌÚÓ‚ ÒÚ‡ÚË ̃ÂÒÍÓ„Ó ‡Ì‡ÎËÁ‡ ËÒÔÓÎ ̧ÁÛÂÚ ‰Îˇ ‡Ì‡ÎËÁ‡ ·ÓΠÌËÁÍÓÛÓ‚Ì‚Ó Ô‰ÒÚ‡‚ÎÂÌË ÔÓ„‡ÏÏ ̊ | ÒÍÓÏÔËÎËÓ‚‡ÌÌ ̊È Ó· ̇ÂÍÚÌ ̊È ËÎË ÔÓÏÂÊÛÚÓ ̃Ì ̊È ÍÓ‰ (Coverity Prevent [5], Svace
    Exact
    [6]
    Suffix
    , FindBugs [7]). ¬ ÓÚÎË ̃Ë ÓÚ ÒÚ‡ÚË ̃ÂÒÍÓ„Ó ‡Ì‡ÎËÁ‡, ‰Îˇ ‰Ë̇ÏË ̃ÂÒÍÓ„Ó ‡Ì‡ÎËÁ‡ ÔÓ„‡ÏÏ ̊ Ú·ÛÂÚÒˇ  ‚ ̊ÔÓÎÌÂÌË | ̇ ÒÔˆˇΠ̧Ì ̊ı ‚ıÓ‰Ì ̊ı ‰‡ÌÌ ̊ı, ‚ ‚ËÚۇΠ̧ÌÓÈ Ï‡ ̄ËÌ (Valgrind [8]), Ò ËÒÔÓÎ ̧ÁÓ‚‡ÌËÂÏ ËÌÒÚÛÏÂÌÚ‡ˆËË (AddressSanitizer [9], ThreadSanitizer [10], UndefinedBehaviorSanitizer), Ò ËÒÔÓÎ ̧ÁÓ‚‡ÌËÂÏ ‰ÓÔÓÎÌËÚÂÎ ̧Ì ̊ı ·Ë·ÎËÓÚÂÍ ËÎË Ëı ÔÓ‰ÏÂÌÓÈ.
    (check this in PDF content)

  7. Start
    3623
    Prefix
    [3], Lint [4], ËÒÒΉÛÂÚ ÌÂÔÓÒ‰ÒÚ‚ÂÌÌÓ ÍÓ‰ ÔÓ„‡ÏÏ ̊ ËÎË ÒÚÛÍÚÛ ̊ ‰‡ÌÌ ̊Â, ÒÚÓˇ ̆ËÂÒˇ ̇ Â„Ó ÓÒÌÓ‚Â, | ‡·ÒÚ‡ÍÚÌÓ ÒËÌÚ‡ÍÒË ̃ÂÒÍÓ ‰ÂÂ‚Ó ËÎË „‡Ù ÔÓÚÓ͇ ÛÔ‡‚ÎÂÌˡ. ƒÛ„‡ˇ ̃‡ÒÚ ̧ ËÌÒÚÛÏÂÌÚÓ‚ ÒÚ‡ÚË ̃ÂÒÍÓ„Ó ‡Ì‡ÎËÁ‡ ËÒÔÓÎ ̧ÁÛÂÚ ‰Îˇ ‡Ì‡ÎËÁ‡ ·ÓΠÌËÁÍÓÛÓ‚Ì‚Ó Ô‰ÒÚ‡‚ÎÂÌË ÔÓ„‡ÏÏ ̊ | ÒÍÓÏÔËÎËÓ‚‡ÌÌ ̊È Ó· ̇ÂÍÚÌ ̊È ËÎË ÔÓÏÂÊÛÚÓ ̃Ì ̊È ÍÓ‰ (Coverity Prevent [5], Svace [6], FindBugs
    Exact
    [7]
    Suffix
    ). ¬ ÓÚÎË ̃Ë ÓÚ ÒÚ‡ÚË ̃ÂÒÍÓ„Ó ‡Ì‡ÎËÁ‡, ‰Îˇ ‰Ë̇ÏË ̃ÂÒÍÓ„Ó ‡Ì‡ÎËÁ‡ ÔÓ„‡ÏÏ ̊ Ú·ÛÂÚÒˇ  ‚ ̊ÔÓÎÌÂÌË | ̇ ÒÔˆˇΠ̧Ì ̊ı ‚ıÓ‰Ì ̊ı ‰‡ÌÌ ̊ı, ‚ ‚ËÚۇΠ̧ÌÓÈ Ï‡ ̄ËÌ (Valgrind [8]), Ò ËÒÔÓÎ ̧ÁÓ‚‡ÌËÂÏ ËÌÒÚÛÏÂÌÚ‡ˆËË (AddressSanitizer [9], ThreadSanitizer [10], UndefinedBehaviorSanitizer), Ò ËÒÔÓÎ ̧ÁÓ‚‡ÌËÂÏ ‰ÓÔÓÎÌËÚÂÎ ̧Ì ̊ı ·Ë·ÎËÓÚÂÍ ËÎË Ëı ÔÓ‰ÏÂÌÓÈ.
    (check this in PDF content)

  8. Start
    3799
    Prefix
    . ƒÛ„‡ˇ ̃‡ÒÚ ̧ ËÌÒÚÛÏÂÌÚÓ‚ ÒÚ‡ÚË ̃ÂÒÍÓ„Ó ‡Ì‡ÎËÁ‡ ËÒÔÓÎ ̧ÁÛÂÚ ‰Îˇ ‡Ì‡ÎËÁ‡ ·ÓΠÌËÁÍÓÛÓ‚Ì‚Ó Ô‰ÒÚ‡‚ÎÂÌË ÔÓ„‡ÏÏ ̊ | ÒÍÓÏÔËÎËÓ‚‡ÌÌ ̊È Ó· ̇ÂÍÚÌ ̊È ËÎË ÔÓÏÂÊÛÚÓ ̃Ì ̊È ÍÓ‰ (Coverity Prevent [5], Svace [6], FindBugs [7]). ¬ ÓÚÎË ̃Ë ÓÚ ÒÚ‡ÚË ̃ÂÒÍÓ„Ó ‡Ì‡ÎËÁ‡, ‰Îˇ ‰Ë̇ÏË ̃ÂÒÍÓ„Ó ‡Ì‡ÎËÁ‡ ÔÓ„‡ÏÏ ̊ Ú·ÛÂÚÒˇ  ‚ ̊ÔÓÎÌÂÌË | ̇ ÒÔˆˇΠ̧Ì ̊ı ‚ıÓ‰Ì ̊ı ‰‡ÌÌ ̊ı, ‚ ‚ËÚۇΠ̧ÌÓÈ Ï‡ ̄ËÌ (Valgrind
    Exact
    [8]
    Suffix
    ), Ò ËÒÔÓÎ ̧ÁÓ‚‡ÌËÂÏ ËÌÒÚÛÏÂÌÚ‡ˆËË (AddressSanitizer [9], ThreadSanitizer [10], UndefinedBehaviorSanitizer), Ò ËÒÔÓÎ ̧ÁÓ‚‡ÌËÂÏ ‰ÓÔÓÎÌËÚÂÎ ̧Ì ̊ı ·Ë·ÎËÓÚÂÍ ËÎË Ëı ÔÓ‰ÏÂÌÓÈ. Õ‡ÍÓ̈, ÒÏ ̄‡ÌÌ ̊È ‡Ì‡ÎËÁ Ô‰ÒÚ‡‚ΡÂÚ ÒÓ·ÓÈ ÍÓÏ·Ë̇ˆË ̨ ÒÚ‡ÚË ̃ÂÒÍÓ„Ó Ë ‰Ë̇ÏË ̃ÂÒÍÓ„Ó ‡Ì‡ÎËÁ‡ Ë ËÒÔÓÎ ̧ÁÛÂÚÒˇ ‚ Ú‡ÍËı ËÌÒÚÛÏÂÌÚ‡ı Í‡Í Mayhem [11], KLEE [12], ‡ Ú‡ÍÊ ‰Û„Ëı ‡‚ÚÓχÚË ̃ÂÒÍËı „ÂÌÂ‡ÚÓÓ‚ ÍÓÌÚÔËÏÂÓ‚. œÂ ̃Ë
    (check this in PDF content)

  9. Start
    3856
    Prefix
    ¬ ÓÚÎË ̃Ë ÓÚ ÒÚ‡ÚË ̃ÂÒÍÓ„Ó ‡Ì‡ÎËÁ‡, ‰Îˇ ‰Ë̇ÏË ̃ÂÒÍÓ„Ó ‡Ì‡ÎËÁ‡ ÔÓ„‡ÏÏ ̊ Ú·ÛÂÚÒˇ  ‚ ̊ÔÓÎÌÂÌË | ̇ ÒÔˆˇΠ̧Ì ̊ı ‚ıÓ‰Ì ̊ı ‰‡ÌÌ ̊ı, ‚ ‚ËÚۇΠ̧ÌÓÈ Ï‡ ̄ËÌ (Valgrind [8]), Ò ËÒÔÓÎ ̧ÁÓ‚‡ÌËÂÏ ËÌÒÚÛÏÂÌÚ‡ˆËË (AddressSanitizer
    Exact
    [9]
    Suffix
    , ThreadSanitizer [10], UndefinedBehaviorSanitizer), Ò ËÒÔÓÎ ̧ÁÓ‚‡ÌËÂÏ ‰ÓÔÓÎÌËÚÂÎ ̧Ì ̊ı ·Ë·ÎËÓÚÂÍ ËÎË Ëı ÔÓ‰ÏÂÌÓÈ. Õ‡ÍÓ̈, ÒÏ ̄‡ÌÌ ̊È ‡Ì‡ÎËÁ Ô‰ÒÚ‡‚ΡÂÚ ÒÓ·ÓÈ ÍÓÏ·Ë̇ˆË ̨ ÒÚ‡ÚË ̃ÂÒÍÓ„Ó Ë ‰Ë̇ÏË ̃ÂÒÍÓ„Ó ‡Ì‡ÎËÁ‡ Ë ËÒÔÓÎ ̧ÁÛÂÚÒˇ ‚ Ú‡ÍËı ËÌÒÚÛÏÂÌÚ‡ı Í‡Í Mayhem [11], KLEE [12], ‡ Ú‡ÍÊ ‰Û„Ëı ‡‚ÚÓχÚË ̃ÂÒÍËı „ÂÌÂ‡ÚÓÓ‚ ÍÓÌÚÔËÏÂÓ‚. œÂ ̃ËÒÎÂÌÌ ̊ ‚ˉ ̊ ‡Ì‡ÎËÁ‡ ËÏ ̨Ú Ò‚ÓË ‰ÓÒÚÓËÌÒÚ‚‡ Ë Ì‰ÓÒÚ‡Ú
    (check this in PDF content)

  10. Start
    3876
    Prefix
    ¬ ÓÚÎË ̃Ë ÓÚ ÒÚ‡ÚË ̃ÂÒÍÓ„Ó ‡Ì‡ÎËÁ‡, ‰Îˇ ‰Ë̇ÏË ̃ÂÒÍÓ„Ó ‡Ì‡ÎËÁ‡ ÔÓ„‡ÏÏ ̊ Ú·ÛÂÚÒˇ  ‚ ̊ÔÓÎÌÂÌË | ̇ ÒÔˆˇΠ̧Ì ̊ı ‚ıÓ‰Ì ̊ı ‰‡ÌÌ ̊ı, ‚ ‚ËÚۇΠ̧ÌÓÈ Ï‡ ̄ËÌ (Valgrind [8]), Ò ËÒÔÓÎ ̧ÁÓ‚‡ÌËÂÏ ËÌÒÚÛÏÂÌÚ‡ˆËË (AddressSanitizer [9], ThreadSanitizer
    Exact
    [10]
    Suffix
    , UndefinedBehaviorSanitizer), Ò ËÒÔÓÎ ̧ÁÓ‚‡ÌËÂÏ ‰ÓÔÓÎÌËÚÂÎ ̧Ì ̊ı ·Ë·ÎËÓÚÂÍ ËÎË Ëı ÔÓ‰ÏÂÌÓÈ. Õ‡ÍÓ̈, ÒÏ ̄‡ÌÌ ̊È ‡Ì‡ÎËÁ Ô‰ÒÚ‡‚ΡÂÚ ÒÓ·ÓÈ ÍÓÏ·Ë̇ˆË ̨ ÒÚ‡ÚË ̃ÂÒÍÓ„Ó Ë ‰Ë̇ÏË ̃ÂÒÍÓ„Ó ‡Ì‡ÎËÁ‡ Ë ËÒÔÓÎ ̧ÁÛÂÚÒˇ ‚ Ú‡ÍËı ËÌÒÚÛÏÂÌÚ‡ı Í‡Í Mayhem [11], KLEE [12], ‡ Ú‡ÍÊ ‰Û„Ëı ‡‚ÚÓχÚË ̃ÂÒÍËı „ÂÌÂ‡ÚÓÓ‚ ÍÓÌÚÔËÏÂÓ‚. œÂ ̃ËÒÎÂÌÌ ̊ ‚ˉ ̊ ‡Ì‡ÎËÁ‡ ËÏ ̨Ú Ò‚ÓË ‰ÓÒÚÓËÌÒÚ‚‡ Ë Ì‰ÓÒÚ‡ÚÍË, ‚ ̃‡ÒÚÌÓÒÚË, ‡ÁÎ
    (check this in PDF content)

  11. Start
    4121
    Prefix
    | ̇ ÒÔˆˇΠ̧Ì ̊ı ‚ıÓ‰Ì ̊ı ‰‡ÌÌ ̊ı, ‚ ‚ËÚۇΠ̧ÌÓÈ Ï‡ ̄ËÌ (Valgrind [8]), Ò ËÒÔÓÎ ̧ÁÓ‚‡ÌËÂÏ ËÌÒÚÛÏÂÌÚ‡ˆËË (AddressSanitizer [9], ThreadSanitizer [10], UndefinedBehaviorSanitizer), Ò ËÒÔÓÎ ̧ÁÓ‚‡ÌËÂÏ ‰ÓÔÓÎÌËÚÂÎ ̧Ì ̊ı ·Ë·ÎËÓÚÂÍ ËÎË Ëı ÔÓ‰ÏÂÌÓÈ. Õ‡ÍÓ̈, ÒÏ ̄‡ÌÌ ̊È ‡Ì‡ÎËÁ Ô‰ÒÚ‡‚ΡÂÚ ÒÓ·ÓÈ ÍÓÏ·Ë̇ˆË ̨ ÒÚ‡ÚË ̃ÂÒÍÓ„Ó Ë ‰Ë̇ÏË ̃ÂÒÍÓ„Ó ‡Ì‡ÎËÁ‡ Ë ËÒÔÓÎ ̧ÁÛÂÚÒˇ ‚ Ú‡ÍËı ËÌÒÚÛÏÂÌÚ‡ı Í‡Í Mayhem
    Exact
    [11]
    Suffix
    , KLEE [12], ‡ Ú‡ÍÊ ‰Û„Ëı ‡‚ÚÓχÚË ̃ÂÒÍËı „ÂÌÂ‡ÚÓÓ‚ ÍÓÌÚÔËÏÂÓ‚. œÂ ̃ËÒÎÂÌÌ ̊ ‚ˉ ̊ ‡Ì‡ÎËÁ‡ ËÏ ̨Ú Ò‚ÓË ‰ÓÒÚÓËÌÒÚ‚‡ Ë Ì‰ÓÒÚ‡ÚÍË, ‚ ̃‡ÒÚÌÓÒÚË, ‡ÁÎË ̃Ì ̊ ‚ˉ ̊ ‡Ì‡ÎËÁ‡ ̇˷ÓΠ̋ÙÙÂÍÚË‚Ì ̊ ‰Îˇ ÔÓËÒ͇ ‡ÁÎË ̃Ì ̊ı ‚ˉӂ Ó ̄Ë·ÓÍ. •ƒË̇ÏË ̃ÂÒÍËÈ ‡Ì‡ÎËÁ ̇˷ÓΠıÓÓ ̄Ó Á‡ÂÍÓÏẨӂ‡Î Ò·ˇ ‰Îˇ ÔÓËÒ͇ Ó ̄Ë·ÓÍ, Ò‚ˇÁ‡ÌÌ ̊ı Ò ÏÌÓ„ÓÔÓÚÓ ̃ÌÓÒÚ ̧ ̨ Ë ÛÔ‡‚ÎÂÌËÂÏ Ô‡ÏˇÚ ̧ ̨, Ӊ̇ÍÓ Í‡ÈÌ Á‡Ú‡ÚÂÌ ‚
    (check this in PDF content)

  12. Start
    4131
    Prefix
    ‡ ÒÔˆˇΠ̧Ì ̊ı ‚ıÓ‰Ì ̊ı ‰‡ÌÌ ̊ı, ‚ ‚ËÚۇΠ̧ÌÓÈ Ï‡ ̄ËÌ (Valgrind [8]), Ò ËÒÔÓÎ ̧ÁÓ‚‡ÌËÂÏ ËÌÒÚÛÏÂÌÚ‡ˆËË (AddressSanitizer [9], ThreadSanitizer [10], UndefinedBehaviorSanitizer), Ò ËÒÔÓÎ ̧ÁÓ‚‡ÌËÂÏ ‰ÓÔÓÎÌËÚÂÎ ̧Ì ̊ı ·Ë·ÎËÓÚÂÍ ËÎË Ëı ÔÓ‰ÏÂÌÓÈ. Õ‡ÍÓ̈, ÒÏ ̄‡ÌÌ ̊È ‡Ì‡ÎËÁ Ô‰ÒÚ‡‚ΡÂÚ ÒÓ·ÓÈ ÍÓÏ·Ë̇ˆË ̨ ÒÚ‡ÚË ̃ÂÒÍÓ„Ó Ë ‰Ë̇ÏË ̃ÂÒÍÓ„Ó ‡Ì‡ÎËÁ‡ Ë ËÒÔÓÎ ̧ÁÛÂÚÒˇ ‚ Ú‡ÍËı ËÌÒÚÛÏÂÌÚ‡ı Í‡Í Mayhem [11], KLEE
    Exact
    [12]
    Suffix
    , ‡ Ú‡ÍÊ ‰Û„Ëı ‡‚ÚÓχÚË ̃ÂÒÍËı „ÂÌÂ‡ÚÓÓ‚ ÍÓÌÚÔËÏÂÓ‚. œÂ ̃ËÒÎÂÌÌ ̊ ‚ˉ ̊ ‡Ì‡ÎËÁ‡ ËÏ ̨Ú Ò‚ÓË ‰ÓÒÚÓËÌÒÚ‚‡ Ë Ì‰ÓÒÚ‡ÚÍË, ‚ ̃‡ÒÚÌÓÒÚË, ‡ÁÎË ̃Ì ̊ ‚ˉ ̊ ‡Ì‡ÎËÁ‡ ̇˷ÓΠ̋ÙÙÂÍÚË‚Ì ̊ ‰Îˇ ÔÓËÒ͇ ‡ÁÎË ̃Ì ̊ı ‚ˉӂ Ó ̄Ë·ÓÍ. •ƒË̇ÏË ̃ÂÒÍËÈ ‡Ì‡ÎËÁ ̇˷ÓΠıÓÓ ̄Ó Á‡ÂÍÓÏẨӂ‡Î Ò·ˇ ‰Îˇ ÔÓËÒ͇ Ó ̄Ë·ÓÍ, Ò‚ˇÁ‡ÌÌ ̊ı Ò ÏÌÓ„ÓÔÓÚÓ ̃ÌÓÒÚ ̧ ̨ Ë ÛÔ‡‚ÎÂÌËÂÏ Ô‡ÏˇÚ ̧ ̨, Ӊ̇ÍÓ Í‡ÈÌ Á‡Ú‡ÚÂÌ ‚ ÒÎÛ ̃‡Â ·Ó
    (check this in PDF content)

  13. Start
    9211
    Prefix
    «Ì‡ ̃ËÚÂÎ ̧ÌÓ ·ÓΠÂÒÛÒÓÂÏÍËÏ, ÌÓ Ë ·ÓΠÔÓ‰Ó·Ì ̊Ï ˇ‚ΡÂÚÒˇ ‡Ì‡ÎËÁ ̇ ÓÒÌÓ‚Â Ó·ıÓ‰‡ ÔÛÚÂÈ ‚ ̊ÔÓÎÌÂÌˡ ÔÓ„‡ÏÏ ̊. ŒÒÌÓ‚ ̊ ̋ÚËı ÏÂÚÓ‰Ó‚ · ̊ÎË Á‡ÎÓÊÂÌ ̊  ̆ ‚ 70-ı „Ó‰‡ı. ÃÂÚÓ‰ ÒËÏ‚ÓÎ ̧ÌÓ„Ó ‚ ̊ÔÓÎÌÂÌˡ · ̊Î Ô‰ÎÓÊÂÌ ƒÊÂÈÏÒÓÏ ËÌ„ÓÏ ‚ 1976 „Ó‰Û
    Exact
    [13]
    Suffix
    . ¬ ÓÒÌÓ‚Â ÏÂÚÓ‰‡ ÎÂÊËÚ Ë‰Âˇ ‡Á·ËÂÌˡ ‚ıÓ‰Ì ̊ı ‰‡ÌÌ ̊ı ̇ Í·ÒÒ ̊ ̋Í‚Ë‚‡ÎÂÌÚÌÓÒÚË ‚ Á‡‚ËÒËÏÓÒÚË ÓÚ ‚ÒÚ ̃‡ÂÏ ̊ı ÔÓ ÔÛÚË ‚ ̊ÔÓÎÌÂÌˡ ÛÒÎÓ‚ËÈ. ÃÂÚÓ‰ ‡·ÒÚ‡ÍÚÌÓÈ ËÌÚÂÔÂÚ‡ˆËË, Ô‰ÎÓÊÂÌÌ ̊È ‚ 1977 „Ó‰Û ÒÛÔÛ„‡ÏË ÛÁÓ [14], Ô‰ÔÓ·„‡ÂÚ ËÒÔÓÎ ̧ÁÓ‚‡Ú ̧ ‡·ÒÚ‡„ËÓ‚‡ÌË ‰‡ÌÌ ̊ı Ë Ëı ‡Ì‡ÎËÁ ̇ ÓÒÌÓ‚Â ‡Î„· ̊  ̄ÂÚÓÍ.
    (check this in PDF content)

  14. Start
    9477
    Prefix
    ¬ ÓÒÌÓ‚Â ÏÂÚÓ‰‡ ÎÂÊËÚ Ë‰Âˇ ‡Á·ËÂÌˡ ‚ıÓ‰Ì ̊ı ‰‡ÌÌ ̊ı ̇ Í·ÒÒ ̊ ̋Í‚Ë‚‡ÎÂÌÚÌÓÒÚË ‚ Á‡‚ËÒËÏÓÒÚË ÓÚ ‚ÒÚ ̃‡ÂÏ ̊ı ÔÓ ÔÛÚË ‚ ̊ÔÓÎÌÂÌˡ ÛÒÎÓ‚ËÈ. ÃÂÚÓ‰ ‡·ÒÚ‡ÍÚÌÓÈ ËÌÚÂÔÂÚ‡ˆËË, Ô‰ÎÓÊÂÌÌ ̊È ‚ 1977 „Ó‰Û ÒÛÔÛ„‡ÏË ÛÁÓ
    Exact
    [14]
    Suffix
    , Ô‰ÔÓ·„‡ÂÚ ËÒÔÓÎ ̧ÁÓ‚‡Ú ̧ ‡·ÒÚ‡„ËÓ‚‡ÌË ‰‡ÌÌ ̊ı Ë Ëı ‡Ì‡ÎËÁ ̇ ÓÒÌÓ‚Â ‡Î„· ̊  ̄ÂÚÓÍ. Œ‰Ì‡ÍÓ ‰‡ÌÌ ̊ ÔÓıÓ‰ ̊ ÒÚ‡ÎË ÔÓÎÛ ̃‡Ú ̧ ‡ÒÔÓÒÚ‡ÌÂÌË ÚÓÎ ̧ÍÓ ‚ ÔÓÒΉÌ ‚ÂÏˇ. ›ÚÓ Ò‚ˇÁ‡ÌÓ Ò Û‚ÂÎË ̃Ë‚ ̄ÂÈÒˇ ÏÓ ̆ÌÓÒÚ ̧ ̨ ÍÓÏÔ ̧ ̨ÚÂÓ‚: ‚ÂÏˇ ‡Ì‡ÎËÁ‡ ‡ÒÚÂÚ ÔÓÔÓˆËÓ̇Π̧ÌÓ ÍÓÎË ̃ÂÒÚ‚Û ÔÛÚÂÈ ‚ ̊ÔÓÎÌÂÌˡ, ̃ÚÓ ÓÁ̇ ̃‡ÂÚ ̋ÍÒÔÓÌÂ̈ˇΠ̧Ì ̊È ÓÒÚ ‚ÂÏÂÌË ‡Ì‡ÎËÁ‡ Ò Û‚ÂÎË ̃ÂÌËÂÏ ‡ÁÏÂ‡ ÔÓ„‡ÏÏ ̊.
    (check this in PDF content)

  15. Start
    12151
    Prefix
    ÓÏ ÚÓ„Ó, ˇÁ ̊Í C ˇ‚ΡÂÚÒˇ Ô‡ÍÚË ̃ÂÒÍË Â‰ËÌÒÚ‚ÂÌÌ ̊Ï ‚ ̊·ÓÓÏ ÔË ‡Á‡·ÓÚÍ ÌËÁÍÓÛÓ‚Ì‚ ̊ı ÍÓÏÔÓÌÂÌÚÓ‚, ̇ÔËÏÂ, ÍÓÏÔÓÌÂÌÚÓ‚ ÓÔÂ‡ˆËÓÌÌ ̊ı ÒËÒÚÂÏ Ë ‰‡È‚ÂÓ‚, ̃ÚÓ Ú‡ÍÊ Ô‰ ̇ˇ‚ΡÂÚ ÔÓ‚ ̊ ̄ÂÌÌ ̊ Ú·ӂ‡Ìˡ Í Í‡ ̃ÂÒÚ‚Û ÔÓ„‡ÏÏÌÓ„Ó ÍÓ‰‡. 1. ÃÓ‰ËÙˈËÓ‚‡ÌÌ ̊È ÏÂÚÓ‰ ÂÁ ̨Ï ‰Îˇ ÒËÏ‚ÓÎ ̧ÌÓ„Ó ‚ ̊ÔÓÎÌÂÌˡ ¬ ‰‡ÌÌÓÈ ‡·ÓÚ ËÒÒΉÛÂÚÒˇ ÏÂÚÓ‰ ÒËÏ‚ÓÎ ̧ÌÓ„Ó ‚ ̊ÔÓÎÌÂÌˡ
    Exact
    [13]
    Suffix
    , ÔËÏÂÌˇÂÏ ̊È ‰Îˇ ‡Ì‡ÎËÁ‡ ÔÛÚÂÈ ‚ ̊ÔÓÎÌÂÌˡ ÔÓ„‡ÏÏ. ›ÚÓÚ ÏÂÚÓ‰ ÔÓ‰‡ÁÛÏ‚‡ÂÚ ‡·ÒÚ‡ÍÚÌÓ ‰‚ËÊÂÌË ÔÓ ÔÛÚˇÏ ÔÓ„‡ÏÏ ̊, ËÏËÚËÛ ̨ ̆  ‚ ̊ÔÓÎÌÂÌË ‚ Á‡‚ËÒËÏÓÒÚË ÓÚ ‚ıÓ‰Ì ̊ı ‰‡ÌÌ ̊ı, ÒÓÔÓ‚Óʉ‡ ̨ ̆ÂÂÒˇ ËÁÏÂÌÂÌËÂÏ ÒÓÒÚÓˇÌˡ ÔÓ„‡ÏÏ ̊ ‚ ‡ÁÎË ̃Ì ̊ı ÚÓ ͇̃ı.
    (check this in PDF content)

  16. Start
    13257
    Prefix
    Œ‰Ì‡ÍÓ, Í‡Í Ô‡‚ËÎÓ, ÍÓÎË ̃ÂÒÚ‚Ó Í·ÒÒÓ‚ ̋Í‚Ë‚‡ÎÂÌÚÌÓÒÚË ÍÓÏ·Ë̇ˆËÈ ‚ıÓ‰Ì ̊ı ‰‡ÌÌ ̊ı Ó͇Á ̊‚‡ÂÚÒˇ Á̇ ̃ËÚÂÎ ̧ÌÓ ÌËÊ ̃ËÒ· ‚ÒÂı ‚ÓÁÏÓÊÌ ̊ı ÍÓÏ·Ë̇ˆËÈ ‚ıÓ‰Ì ̊ı ‰‡ÌÌ ̊ı, ̃ÚÓ ÂÁÍÓ Û‚ÂÎË ̃Ë‚‡ÂÚ ‚ÓÁÏÓÊÌÓÒÚË ‡Ì‡ÎËÁ‡ÚÓ‡ ÔÓ Ó·‡·ÓÚÍ ÔÛÚÂÈ ‚ ̊ÔÓÎÌÂÌˡ. ŒÒÌÓ‚ÌÓÈ ‡Î„ÓËÚÏ ÒËÏ‚ÓÎË ̃ÂÒÍÓ„Ó ‚ ̊ÔÓÎÌÂÌˡ
    Exact
    [13]
    Suffix
    Á‡ÍÎ ̨ ̃‡ÂÚÒˇ ‚ ÒÎÂ‰Û ̨ ̆ÂÏ. 1. œË ÒÚ‡Ú ‡Ì‡ÎËÁ‡ ÙÛÌ͈ËË ‚ıÓ‰Ì ̊ Á̇ ̃ÂÌˡ  ‡„ÛÏÂÌÚÓ‚ Ë ‚Ì ̄ÌËı ÔÓ ÓÚÌÓ ̄ÂÌËË Í ÌÂÈ ÔÂÂÏÂÌÌ ̊ı ÌÂËÁ‚ÂÒÚÌ ̊, Ú. Â. ÓÌË ÔÓÚÂ̈ˇΠ̧ÌÓ ÏÓ„ÛÚ ÔËÌËÏ‡Ú ̧ Î ̨· ̊ Á̇ ̃ÂÌˡ.
    (check this in PDF content)

  17. Start
    17564
    Prefix
    ÃÂÚÓ‰ ÒËÏ‚ÓÎ ̧ÌÓ„Ó ‚ ̊ÔÓÎÌÂÌˡ ÔÓÎÛ ̃ËÎ ‡ÒÔÓÒÚ‡ÌÂÌË Ì ÚÓÎ ̧ÍÓ ‚ ËÌÒÚÛÏÂÌÚ‡ı ÒÚ‡ÚË ̃ÂÒÍÓ„Ó, ÌÓ Ë ÒÏ ̄‡ÌÌÓ„Ó ‡Ì‡ÎËÁ‡: Ú‡Í, ıÓÓ ̄Ó Á‡ÂÍÓÏẨӂ‡ÎË Ò·ˇ ËÌÒÚÛÏÂÌÚ ̊, ËÒÔÓÎ ̧ÁÛ ̨ ̆Ë ÔÓ‰ıÓ‰ concolic testing
    Exact
    [16]
    Suffix
    (ÒËÏ‚ÓÎ ̧ÌÓ-ÍÓÌÍÂÚÌÓ | concrete+symbolic). Concolic testing | ̋ÚÓ ÏÂÚÓ‰ ÔÓËÒ͇ ‰ÂÙÂÍÚÓ‚, ÓÒÛ ̆ÂÒڂΡ ̨ ̆ËÈ „ÂÌÂ‡ˆË ̨ ÚÂÒÚÓ‚ ̊ı ‰‡ÌÌ ̊Â, ÔË ËÒÔÓÎ ̧ÁÓ‚‡ÌËË ÍÓÚÓ ̊ı ÔÓ„‡Ïχ ÔÓˇ‚ΡÂÚ ÌÂÍÓÂÍÚÌÓ Ôӂ‰ÂÌËÂ, ̇ ÓÒÌÓ‚Â ÒËÏ‚ÓÎ ̧ÌÓ„Ó ‚ ̊ÔÓÎÌÂÌˡ.
    (check this in PDF content)

  18. Start
    32320
    Prefix
    ÏÌÓÊÂÒÚ‚Ó ÛÁÎÓ‚ ÔËÏÂÌÂÌˡ ÂÁ ̨ÏÂ. œÓÒÍÓÎ ̧ÍÛ ÏÌÓÊÂÒÚ‚Ó ‚ÒÂı ÛÁÎÓ‚ „‡Ù‡ ‚ ̊ÔÓÎÌÂÌˡ, Í‡Í Ô‡‚ËÎÓ, ÏÌÓ„ÓÍ‡ÚÌÓ Ô‚ÓÒıÓ‰ËÚ ÔÓ ÍÓÎË ̃ÂÒÚ‚Û ̋ÎÂÏÂÌÚÓ‚ ÏÌÓÊÂÒÚ‚Ó ÎËÒÚÓ‚ „‡Ù‡, ‰‡ÌÌ ̊È ÏÂÚÓ‰ ËÏÂÂÚ Á̇ ̃ËÚÂÎ ̧ÌÓ ·ÓÎ ̧ ̄Û ̨ ÔÓÚÂ̈ˇΠ̧ÌÛ ̨ Ï‡Ò ̄Ú‡·ËÛÂÏÓÒÚ ̧. 2. ¬ ̊·Ó ËÌÒÚÛÏÂÌÚ‡ˡ Œ‰ÌÓÈ ËÁ ̇˷ÓΠËÁ‚ÂÒÚÌ ̊ı ÓÚÍ ̊Ú ̊ı ÒËÒÚÂÏ ‰Îˇ ‡Ì‡ÎËÁ‡ ÍÓ‰‡ ̇ ˇÁ ͇̊ı C Ë C++ ˇ‚ΡÂÚÒˇ ÔÓ„‡ÏÏÌ ̊È ÍÓÏÔÎÂÍÒ LLVM
    Exact
    [17]
    Suffix
    Ë ‚ıÓ‰ˇ ̆ËÈ ‚  ÒÓÒÚ‡‚ ÍÓÏÔËΡÚÓ Clang [18]. LLVM ÔÓÁ‚ÓΡÂÚ ‡Ì‡ÎËÁËÓ‚‡Ú ̧ ÍÓ‰ Î ̨· ̊ı ˇÁ ̊ÍÓ‚ ÔË ÛÒÎÓ‚ËË, ̃ÚÓ ÓÌ Ú‡ÌÒÎËÛÂÚÒˇ ‚ ÔÓÏÂÊÛÚÓ ̃ÌÓ Ô‰ÒÚ‡‚ÎÂÌË LLVM (LLVM IR), ˇ‚ΡˇÒ ̧, Ú‡ÍËÏ Ó·‡ÁÓÏ, Í‡Í ‡Ì‡ÎËÁ‡ÚÓÓÏ ÔÓÏÂÊÛÚÓ ̃ÌÓ„Ó Ô‰ÒÚ‡‚ÎÂÌˡ, Ú‡Í Ë ÓÔÚËÏËÁËÛ ̨ ̆ÂÈ ‚ËÚۇΠ̧ÌÓÈ Ï‡ ̄ËÌÓÈ ‰Îˇ Â„Ó ËÒÔÓÎÌÂÌˡ Ë „ÂÌÂ‡ÚÓÓÏ Ó· ̇ÂÍÚÌÓ„Ó ÍÓ‰‡.
    (check this in PDF content)

  19. Start
    32366
    Prefix
    ÏÌÓÊÂÒÚ‚Ó ‚ÒÂı ÛÁÎÓ‚ „‡Ù‡ ‚ ̊ÔÓÎÌÂÌˡ, Í‡Í Ô‡‚ËÎÓ, ÏÌÓ„ÓÍ‡ÚÌÓ Ô‚ÓÒıÓ‰ËÚ ÔÓ ÍÓÎË ̃ÂÒÚ‚Û ̋ÎÂÏÂÌÚÓ‚ ÏÌÓÊÂÒÚ‚Ó ÎËÒÚÓ‚ „‡Ù‡, ‰‡ÌÌ ̊È ÏÂÚÓ‰ ËÏÂÂÚ Á̇ ̃ËÚÂÎ ̧ÌÓ ·ÓÎ ̧ ̄Û ̨ ÔÓÚÂ̈ˇΠ̧ÌÛ ̨ Ï‡Ò ̄Ú‡·ËÛÂÏÓÒÚ ̧. 2. ¬ ̊·Ó ËÌÒÚÛÏÂÌÚ‡ˡ Œ‰ÌÓÈ ËÁ ̇˷ÓΠËÁ‚ÂÒÚÌ ̊ı ÓÚÍ ̊Ú ̊ı ÒËÒÚÂÏ ‰Îˇ ‡Ì‡ÎËÁ‡ ÍÓ‰‡ ̇ ˇÁ ͇̊ı C Ë C++ ˇ‚ΡÂÚÒˇ ÔÓ„‡ÏÏÌ ̊È ÍÓÏÔÎÂÍÒ LLVM [17] Ë ‚ıÓ‰ˇ ̆ËÈ ‚  ÒÓÒÚ‡‚ ÍÓÏÔËΡÚÓ Clang
    Exact
    [18]
    Suffix
    . LLVM ÔÓÁ‚ÓΡÂÚ ‡Ì‡ÎËÁËÓ‚‡Ú ̧ ÍÓ‰ Î ̨· ̊ı ˇÁ ̊ÍÓ‚ ÔË ÛÒÎÓ‚ËË, ̃ÚÓ ÓÌ Ú‡ÌÒÎËÛÂÚÒˇ ‚ ÔÓÏÂÊÛÚÓ ̃ÌÓ Ô‰ÒÚ‡‚ÎÂÌË LLVM (LLVM IR), ˇ‚ΡˇÒ ̧, Ú‡ÍËÏ Ó·‡ÁÓÏ, Í‡Í ‡Ì‡ÎËÁ‡ÚÓÓÏ ÔÓÏÂÊÛÚÓ ̃ÌÓ„Ó Ô‰ÒÚ‡‚ÎÂÌˡ, Ú‡Í Ë ÓÔÚËÏËÁËÛ ̨ ̆ÂÈ ‚ËÚۇΠ̧ÌÓÈ Ï‡ ̄ËÌÓÈ ‰Îˇ Â„Ó ËÒÔÓÎÌÂÌˡ Ë „ÂÌÂ‡ÚÓÓÏ Ó· ̇ÂÍÚÌÓ„Ó ÍÓ‰‡.
    (check this in PDF content)

  20. Start
    33700
    Prefix
    ÓÏ ÚÓ„Ó, Clang ˇ‚ΡÂÚÒˇ ÓÒÌÓ‚Ì ̊Ï ÍÓÏÔËΡÚÓÓÏ ‚ ÌÂÍÓÚÓ ̊ı ‰ËÒÚË·ÛÚË‚‡ı ÓÔÂ‡ˆËÓÌÌ ̊ı ÒËÒÚÂÏ Ë ÔÓ„‡ÏÏÌÓ-‡ÔÔ‡‡ÚÌ ̊ı ÍÓÏÔÎÂÍÒÓ‚ (‚ ̃‡ÒÚÌÓÒÚË, FreeBSD, PlayStation) ‚‚Ë‰Û ÔÓÒÚÓÚ ̊ Â„Ó ÏÓ‰ËÙË͇ˆËË Ë ‰Ó·‡‚ÎÂÌˡ ÌÓ‚ ̊ı ‚ÓÁÏÓÊÌÓÒÚÂÈ, Ë ËÁ‚ÂÒÚÂÌ Í‡Í ÍÓÏÔËΡÚÓ/ÙÂÈÏ‚ÓÍ Ò Ì‡Ë·ÓΠ· ̊ÒÚ ̊Ï ‚̉ÂÌËÂÏ ÌÓ‚ ̊ı ˇÁ ̊ÍÓ‚ ̊ı Òڇ̉‡ÚÓ‚. ¬ ÒÓÒÚ‡‚ Clang ‚ ͇ ̃ÂÒÚ‚Â ÏÓ‰ÛΡ ‚ıÓ‰ËÚ Clang Static Analyzer
    Exact
    [19]
    Suffix
    | ÒÚ‡ÚË ̃ÂÒÍËÈ ‡Ì‡ÎËÁ‡ÚÓ, ÔÓ‰‰ÂÊË‚‡ ̨ ̆ËÈ ‡Ì‡ÎËÁ ËÒıÓ‰ÌÓ„Ó ÍÓ‰‡ ̇ ˇÁ ͇̊ı C, C++, Objective C Ë Objective C++. Clang Static Analyzer (CSA) ÔÓ‰‰ÂÊË‚‡ÂÚ ÒÎÂ‰Û ̨ ̆Ë ‚ˉ ̊ ‡Ì‡ÎËÁ‡. 1. ¿Ì‡ÎËÁ ÍÓ‰‡ ̇ ÓÒÌÓ‚Â ‡·ÒÚ‡ÍÚÌÓ„Ó ÒËÌÚ‡ÍÒË ̃ÂÒÍÓ„Ó ‰Â‚‡ (AST-based) | ÔÓËÒÍ Ù‡„ÏÂÌÚÓ‚ ÒËÌÚ‡ÍÒË ̃ÂÒÍÓ„Ó ‰Â‚‡, Û‰Ó‚ÎÂÚ‚Óˇ ̨ ̆Ëı Á‡‰‡ÌÌ ̊Ï ÛÒÎӂˡÏ. œË ‰‡ÌÌÓÏ ÔÓ‰ıӉ ‚ ̊ÔÓÎÌˇÂÚÒˇ ÔÓËÒÍ Ù‡„ÏÂÌÚ‡ ÍÓ‰‡ (̇ ÓÒÌÓ
    (check this in PDF content)