The 18 references with 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
Matsumoto H ̨. Applying Clang Static Analyzer to Linux Kernel.2012 LinuxCon Japan, June 6{8, 2012, Yokohama, 2012.
Total in-text references: 1
  1. In-text reference with the coordinate start=3203
    Prefix
    Œ· ̊ ̃ÌÓ ‡ÁÎË ̃‡ ̨Ú ÒÚ‡ÚË ̃ÂÒÍËÈ, ‰Ë̇ÏË ̃ÂÒÍËÈ Ë ÒÏ ̄‡ÌÌ ̊È ‡Ì‡ÎËÁ. œÓ‰ ÒÚ‡ÚË ̃ÂÒÍËÏ ‡Ì‡ÎËÁÓÏ ÔÓÌËχ ̨Ú ‡Ì‡ÎËÁ ÔÓ„‡ÏÏ ̊, Ì ÚÂ·Û ̨ ̆ËÈ Â ÌÂÔÓÒ‰ÒÚ‚ÂÌÌÓ„Ó ‚ ̊ÔÓÎÌÂÌˡ. ◊‡ÒÚ ̧ ËÌÒÚÛÏÂÌÚÓ‚, Ú‡ÍËı, Í‡Í Clang Static Analyzer
    Exact
    [1]
    Suffix
    , PVS-Studio [2], Cppcheck [3], Lint [4], ËÒÒΉÛÂÚ ÌÂÔÓÒ‰ÒÚ‚ÂÌÌÓ ÍÓ‰ ÔÓ„‡ÏÏ ̊ ËÎË ÒÚÛÍÚÛ ̊ ‰‡ÌÌ ̊Â, ÒÚÓˇ ̆ËÂÒˇ ̇ Â„Ó ÓÒÌÓ‚Â, | ‡·ÒÚ‡ÍÚÌÓ ÒËÌÚ‡ÍÒË ̃ÂÒÍÓ ‰ÂÂ‚Ó ËÎË „‡Ù ÔÓÚÓ͇ ÛÔ‡‚ÎÂÌˡ. ƒÛ„‡ˇ ̃‡ÒÚ ̧ ËÌÒÚÛÏÂÌÚÓ‚ ÒÚ‡ÚË ̃ÂÒÍÓ„Ó ‡Ì‡ÎËÁ‡ ËÒÔÓÎ ̧ÁÛÂÚ ‰Îˇ ‡Ì‡ÎËÁ‡ ·ÓΠÌËÁÍÓÛÓ‚Ì‚Ó Ô‰ÒÚ‡‚ÎÂÌË ÔÓ„‡ÏÏ ̊ | ÒÍÓÏÔËÎËÓ‚‡ÌÌ ̊È Ó· ̇ÂÍÚÌ ̊È ËÎË ÔÓÏÂÊÛÚÓ ̃Ì ̊È ÍÓ‰ (Coverity Prevent [5], Sv

2
Opisanie PVS-Studio[PVS-Studio description]. Available at:http://www.viva64.com/ru/ pvs-studio, accessed 13.05.2015.
Total in-text references: 1
  1. In-text reference with the coordinate start=3219
    Prefix
    Œ· ̊ ̃ÌÓ ‡ÁÎË ̃‡ ̨Ú ÒÚ‡ÚË ̃ÂÒÍËÈ, ‰Ë̇ÏË ̃ÂÒÍËÈ Ë ÒÏ ̄‡ÌÌ ̊È ‡Ì‡ÎËÁ. œÓ‰ ÒÚ‡ÚË ̃ÂÒÍËÏ ‡Ì‡ÎËÁÓÏ ÔÓÌËχ ̨Ú ‡Ì‡ÎËÁ ÔÓ„‡ÏÏ ̊, Ì ÚÂ·Û ̨ ̆ËÈ Â ÌÂÔÓÒ‰ÒÚ‚ÂÌÌÓ„Ó ‚ ̊ÔÓÎÌÂÌˡ. ◊‡ÒÚ ̧ ËÌÒÚÛÏÂÌÚÓ‚, Ú‡ÍËı, Í‡Í Clang Static Analyzer [1], PVS-Studio
    Exact
    [2]
    Suffix
    , Cppcheck [3], Lint [4], ËÒÒΉÛÂÚ ÌÂÔÓÒ‰ÒÚ‚ÂÌÌÓ ÍÓ‰ ÔÓ„‡ÏÏ ̊ ËÎË ÒÚÛÍÚÛ ̊ ‰‡ÌÌ ̊Â, ÒÚÓˇ ̆ËÂÒˇ ̇ Â„Ó ÓÒÌÓ‚Â, | ‡·ÒÚ‡ÍÚÌÓ ÒËÌÚ‡ÍÒË ̃ÂÒÍÓ ‰ÂÂ‚Ó ËÎË „‡Ù ÔÓÚÓ͇ ÛÔ‡‚ÎÂÌˡ. ƒÛ„‡ˇ ̃‡ÒÚ ̧ ËÌÒÚÛÏÂÌÚÓ‚ ÒÚ‡ÚË ̃ÂÒÍÓ„Ó ‡Ì‡ÎËÁ‡ ËÒÔÓÎ ̧ÁÛÂÚ ‰Îˇ ‡Ì‡ÎËÁ‡ ·ÓΠÌËÁÍÓÛÓ‚Ì‚Ó Ô‰ÒÚ‡‚ÎÂÌË ÔÓ„‡ÏÏ ̊ | ÒÍÓÏÔËÎËÓ‚‡ÌÌ ̊È Ó· ̇ÂÍÚÌ ̊È ËÎË ÔÓÏÂÊÛÚÓ ̃Ì ̊È ÍÓ‰ (Coverity Prevent [5], Svace [6], FindBug

3
Rothstein M. Cppcheck design. In:Secure Programming: cource for the Spring 2012. Available at:http://www.cs.kent.edu/~rothstei/spring12/secprognotes/cppcheck-design.pdf, accessed 14.05.2015.
Total in-text references: 1
  1. In-text reference with the coordinate start=3233
    Prefix
    Œ· ̊ ̃ÌÓ ‡ÁÎË ̃‡ ̨Ú ÒÚ‡ÚË ̃ÂÒÍËÈ, ‰Ë̇ÏË ̃ÂÒÍËÈ Ë ÒÏ ̄‡ÌÌ ̊È ‡Ì‡ÎËÁ. œÓ‰ ÒÚ‡ÚË ̃ÂÒÍËÏ ‡Ì‡ÎËÁÓÏ ÔÓÌËχ ̨Ú ‡Ì‡ÎËÁ ÔÓ„‡ÏÏ ̊, Ì ÚÂ·Û ̨ ̆ËÈ Â ÌÂÔÓÒ‰ÒÚ‚ÂÌÌÓ„Ó ‚ ̊ÔÓÎÌÂÌˡ. ◊‡ÒÚ ̧ ËÌÒÚÛÏÂÌÚÓ‚, Ú‡ÍËı, Í‡Í Clang Static Analyzer [1], PVS-Studio [2], Cppcheck
    Exact
    [3]
    Suffix
    , Lint [4], ËÒÒΉÛÂÚ ÌÂÔÓÒ‰ÒÚ‚ÂÌÌÓ ÍÓ‰ ÔÓ„‡ÏÏ ̊ ËÎË ÒÚÛÍÚÛ ̊ ‰‡ÌÌ ̊Â, ÒÚÓˇ ̆ËÂÒˇ ̇ Â„Ó ÓÒÌÓ‚Â, | ‡·ÒÚ‡ÍÚÌÓ ÒËÌÚ‡ÍÒË ̃ÂÒÍÓ ‰ÂÂ‚Ó ËÎË „‡Ù ÔÓÚÓ͇ ÛÔ‡‚ÎÂÌˡ. ƒÛ„‡ˇ ̃‡ÒÚ ̧ ËÌÒÚÛÏÂÌÚÓ‚ ÒÚ‡ÚË ̃ÂÒÍÓ„Ó ‡Ì‡ÎËÁ‡ ËÒÔÓÎ ̧ÁÛÂÚ ‰Îˇ ‡Ì‡ÎËÁ‡ ·ÓΠÌËÁÍÓÛÓ‚Ì‚Ó Ô‰ÒÚ‡‚ÎÂÌË ÔÓ„‡ÏÏ ̊ | ÒÍÓÏÔËÎËÓ‚‡ÌÌ ̊È Ó· ̇ÂÍÚÌ ̊È ËÎË ÔÓÏÂÊÛÚÓ ̃Ì ̊È ÍÓ‰ (Coverity Prevent [5], Svace [6], FindBugs [7]).

4
Johnson S.C.. Lint, a C Program Checker.Comp. Sci. Tech. Rep., Bell Laboratories, 1978. Available at:http://citeseer.ist.psu.edu/viewdoc/summary?doi=10.1.1.56.1841, accessed 13.05.2015.
Total in-text references: 1
  1. In-text reference with the coordinate start=3242
    Prefix
    Œ· ̊ ̃ÌÓ ‡ÁÎË ̃‡ ̨Ú ÒÚ‡ÚË ̃ÂÒÍËÈ, ‰Ë̇ÏË ̃ÂÒÍËÈ Ë ÒÏ ̄‡ÌÌ ̊È ‡Ì‡ÎËÁ. œÓ‰ ÒÚ‡ÚË ̃ÂÒÍËÏ ‡Ì‡ÎËÁÓÏ ÔÓÌËχ ̨Ú ‡Ì‡ÎËÁ ÔÓ„‡ÏÏ ̊, Ì ÚÂ·Û ̨ ̆ËÈ Â ÌÂÔÓÒ‰ÒÚ‚ÂÌÌÓ„Ó ‚ ̊ÔÓÎÌÂÌˡ. ◊‡ÒÚ ̧ ËÌÒÚÛÏÂÌÚÓ‚, Ú‡ÍËı, Í‡Í Clang Static Analyzer [1], PVS-Studio [2], Cppcheck [3], Lint
    Exact
    [4]
    Suffix
    , ËÒÒΉÛÂÚ ÌÂÔÓÒ‰ÒÚ‚ÂÌÌÓ ÍÓ‰ ÔÓ„‡ÏÏ ̊ ËÎË ÒÚÛÍÚÛ ̊ ‰‡ÌÌ ̊Â, ÒÚÓˇ ̆ËÂÒˇ ̇ Â„Ó ÓÒÌÓ‚Â, | ‡·ÒÚ‡ÍÚÌÓ ÒËÌÚ‡ÍÒË ̃ÂÒÍÓ ‰ÂÂ‚Ó ËÎË „‡Ù ÔÓÚÓ͇ ÛÔ‡‚ÎÂÌˡ. ƒÛ„‡ˇ ̃‡ÒÚ ̧ ËÌÒÚÛÏÂÌÚÓ‚ ÒÚ‡ÚË ̃ÂÒÍÓ„Ó ‡Ì‡ÎËÁ‡ ËÒÔÓÎ ̧ÁÛÂÚ ‰Îˇ ‡Ì‡ÎËÁ‡ ·ÓΠÌËÁÍÓÛÓ‚Ì‚Ó Ô‰ÒÚ‡‚ÎÂÌË ÔÓ„‡ÏÏ ̊ | ÒÍÓÏÔËÎËÓ‚‡ÌÌ ̊È Ó· ̇ÂÍÚÌ ̊È ËÎË ÔÓÏÂÊÛÚÓ ̃Ì ̊È ÍÓ‰ (Coverity Prevent [5], Svace [6], FindBugs [7]).

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=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), Ò ËÒÔÓÎ ̧ÁÓ‚‡ÌËÂÏ ‰ÓÔÓÎÌËÚÂÎ ̧Ì ̊ı ·Ë·ÎËÓÚÂÍ ËÎË Ëı ÔÓ‰ÏÂÌÓÈ.

6
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 programmirovanija RAN=Proceedings of ISP RAS, 2014, vol. 26, no. 1, pp. 231{250. DOI:10.15514/ISPRAS-2014-26(1)-7(in Russian)
Total in-text references: 1
  1. In-text reference with the coordinate 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), Ò ËÒÔÓÎ ̧ÁÓ‚‡ÌËÂÏ ‰ÓÔÓÎÌËÚÂÎ ̧Ì ̊ı ·Ë·ÎËÓÚÂÍ ËÎË Ëı ÔÓ‰ÏÂÌÓÈ.

7
Hovemeyer D., Pugh W. Finding Bugs is Easy.ACM Sigplan Notices, 2004, vol. 39, no. 12, pp. 92{106. DOI:10.1145/1052883.1052895
Total in-text references: 1
  1. In-text reference with the coordinate start=3623
    Prefix
    [3], Lint [4], ËÒÒΉÛÂÚ ÌÂÔÓÒ‰ÒÚ‚ÂÌÌÓ ÍÓ‰ ÔÓ„‡ÏÏ ̊ ËÎË ÒÚÛÍÚÛ ̊ ‰‡ÌÌ ̊Â, ÒÚÓˇ ̆ËÂÒˇ ̇ Â„Ó ÓÒÌÓ‚Â, | ‡·ÒÚ‡ÍÚÌÓ ÒËÌÚ‡ÍÒË ̃ÂÒÍÓ ‰ÂÂ‚Ó ËÎË „‡Ù ÔÓÚÓ͇ ÛÔ‡‚ÎÂÌˡ. ƒÛ„‡ˇ ̃‡ÒÚ ̧ ËÌÒÚÛÏÂÌÚÓ‚ ÒÚ‡ÚË ̃ÂÒÍÓ„Ó ‡Ì‡ÎËÁ‡ ËÒÔÓÎ ̧ÁÛÂÚ ‰Îˇ ‡Ì‡ÎËÁ‡ ·ÓΠÌËÁÍÓÛÓ‚Ì‚Ó Ô‰ÒÚ‡‚ÎÂÌË ÔÓ„‡ÏÏ ̊ | ÒÍÓÏÔËÎËÓ‚‡ÌÌ ̊È Ó· ̇ÂÍÚÌ ̊È ËÎË ÔÓÏÂÊÛÚÓ ̃Ì ̊È ÍÓ‰ (Coverity Prevent [5], Svace [6], FindBugs
    Exact
    [7]
    Suffix
    ). ¬ ÓÚÎË ̃Ë ÓÚ ÒÚ‡ÚË ̃ÂÒÍÓ„Ó ‡Ì‡ÎËÁ‡, ‰Îˇ ‰Ë̇ÏË ̃ÂÒÍÓ„Ó ‡Ì‡ÎËÁ‡ ÔÓ„‡ÏÏ ̊ Ú·ÛÂÚÒˇ  ‚ ̊ÔÓÎÌÂÌË | ̇ ÒÔˆˇΠ̧Ì ̊ı ‚ıÓ‰Ì ̊ı ‰‡ÌÌ ̊ı, ‚ ‚ËÚۇΠ̧ÌÓÈ Ï‡ ̄ËÌ (Valgrind [8]), Ò ËÒÔÓÎ ̧ÁÓ‚‡ÌËÂÏ ËÌÒÚÛÏÂÌÚ‡ˆËË (AddressSanitizer [9], ThreadSanitizer [10], UndefinedBehaviorSanitizer), Ò ËÒÔÓÎ ̧ÁÓ‚‡ÌËÂÏ ‰ÓÔÓÎÌËÚÂÎ ̧Ì ̊ı ·Ë·ÎËÓÚÂÍ ËÎË Ëı ÔÓ‰ÏÂÌÓÈ.

8
Nethercote N., Seward J. Valgrind: a framework for heavyweight dynamic binary instrumentation.ACM Sigplan Notices, 2007, vol. 42, no. 6, pp. 89-100. DOI:10.1145/1273442.1250746
Total in-text references: 1
  1. In-text reference with the coordinate start=3799
    Prefix
    . ƒÛ„‡ˇ ̃‡ÒÚ ̧ ËÌÒÚÛÏÂÌÚÓ‚ ÒÚ‡ÚË ̃ÂÒÍÓ„Ó ‡Ì‡ÎËÁ‡ ËÒÔÓÎ ̧ÁÛÂÚ ‰Îˇ ‡Ì‡ÎËÁ‡ ·ÓΠÌËÁÍÓÛÓ‚Ì‚Ó Ô‰ÒÚ‡‚ÎÂÌË ÔÓ„‡ÏÏ ̊ | ÒÍÓÏÔËÎËÓ‚‡ÌÌ ̊È Ó· ̇ÂÍÚÌ ̊È ËÎË ÔÓÏÂÊÛÚÓ ̃Ì ̊È ÍÓ‰ (Coverity Prevent [5], Svace [6], FindBugs [7]). ¬ ÓÚÎË ̃Ë ÓÚ ÒÚ‡ÚË ̃ÂÒÍÓ„Ó ‡Ì‡ÎËÁ‡, ‰Îˇ ‰Ë̇ÏË ̃ÂÒÍÓ„Ó ‡Ì‡ÎËÁ‡ ÔÓ„‡ÏÏ ̊ Ú·ÛÂÚÒˇ  ‚ ̊ÔÓÎÌÂÌË | ̇ ÒÔˆˇΠ̧Ì ̊ı ‚ıÓ‰Ì ̊ı ‰‡ÌÌ ̊ı, ‚ ‚ËÚۇΠ̧ÌÓÈ Ï‡ ̄ËÌ (Valgrind
    Exact
    [8]
    Suffix
    ), Ò ËÒÔÓÎ ̧ÁÓ‚‡ÌËÂÏ ËÌÒÚÛÏÂÌÚ‡ˆËË (AddressSanitizer [9], ThreadSanitizer [10], UndefinedBehaviorSanitizer), Ò ËÒÔÓÎ ̧ÁÓ‚‡ÌËÂÏ ‰ÓÔÓÎÌËÚÂÎ ̧Ì ̊ı ·Ë·ÎËÓÚÂÍ ËÎË Ëı ÔÓ‰ÏÂÌÓÈ. Õ‡ÍÓ̈, ÒÏ ̄‡ÌÌ ̊È ‡Ì‡ÎËÁ Ô‰ÒÚ‡‚ΡÂÚ ÒÓ·ÓÈ ÍÓÏ·Ë̇ˆË ̨ ÒÚ‡ÚË ̃ÂÒÍÓ„Ó Ë ‰Ë̇ÏË ̃ÂÒÍÓ„Ó ‡Ì‡ÎËÁ‡ Ë ËÒÔÓÎ ̧ÁÛÂÚÒˇ ‚ Ú‡ÍËı ËÌÒÚÛÏÂÌÚ‡ı Í‡Í Mayhem [11], KLEE [12], ‡ Ú‡ÍÊ ‰Û„Ëı ‡‚ÚÓχÚË ̃ÂÒÍËı „ÂÌÂ‡ÚÓÓ‚ ÍÓÌÚÔËÏÂÓ‚. œÂ ̃Ë

9
Serebryany K., Bruening D., Potapenko A., Vyukov D.. AddressSanitizer: A Fast Address Sanity Checker.Proc. of the 2012 USENIX Annual Technical Conference (USENIX ATC'12), Boston, MA, USA, June 13{15, 2012, USENIX Association, 2012, pp. 309{ 318. Available at:https://www.usenix.org/system/files/conference/atc12/atc12-final39.pdf, accessed 13.05.2015.
Total in-text references: 1
  1. In-text reference with the coordinate start=3856
    Prefix
    ¬ ÓÚÎË ̃Ë ÓÚ ÒÚ‡ÚË ̃ÂÒÍÓ„Ó ‡Ì‡ÎËÁ‡, ‰Îˇ ‰Ë̇ÏË ̃ÂÒÍÓ„Ó ‡Ì‡ÎËÁ‡ ÔÓ„‡ÏÏ ̊ Ú·ÛÂÚÒˇ  ‚ ̊ÔÓÎÌÂÌË | ̇ ÒÔˆˇΠ̧Ì ̊ı ‚ıÓ‰Ì ̊ı ‰‡ÌÌ ̊ı, ‚ ‚ËÚۇΠ̧ÌÓÈ Ï‡ ̄ËÌ (Valgrind [8]), Ò ËÒÔÓÎ ̧ÁÓ‚‡ÌËÂÏ ËÌÒÚÛÏÂÌÚ‡ˆËË (AddressSanitizer
    Exact
    [9]
    Suffix
    , ThreadSanitizer [10], UndefinedBehaviorSanitizer), Ò ËÒÔÓÎ ̧ÁÓ‚‡ÌËÂÏ ‰ÓÔÓÎÌËÚÂÎ ̧Ì ̊ı ·Ë·ÎËÓÚÂÍ ËÎË Ëı ÔÓ‰ÏÂÌÓÈ. Õ‡ÍÓ̈, ÒÏ ̄‡ÌÌ ̊È ‡Ì‡ÎËÁ Ô‰ÒÚ‡‚ΡÂÚ ÒÓ·ÓÈ ÍÓÏ·Ë̇ˆË ̨ ÒÚ‡ÚË ̃ÂÒÍÓ„Ó Ë ‰Ë̇ÏË ̃ÂÒÍÓ„Ó ‡Ì‡ÎËÁ‡ Ë ËÒÔÓÎ ̧ÁÛÂÚÒˇ ‚ Ú‡ÍËı ËÌÒÚÛÏÂÌÚ‡ı Í‡Í Mayhem [11], KLEE [12], ‡ Ú‡ÍÊ ‰Û„Ëı ‡‚ÚÓχÚË ̃ÂÒÍËı „ÂÌÂ‡ÚÓÓ‚ ÍÓÌÚÔËÏÂÓ‚. œÂ ̃ËÒÎÂÌÌ ̊ ‚ˉ ̊ ‡Ì‡ÎËÁ‡ ËÏ ̨Ú Ò‚ÓË ‰ÓÒÚÓËÌÒÚ‚‡ Ë Ì‰ÓÒÚ‡Ú

10
Serebryany K., Iskhodzhanov T. ThreadSanitizer | data race detection in practice.Workshop on Binary Instrumentation and Applications (WBIA'09), New York, NY, USA, December 12, 2009, ACM New York, NY, USA, 2009, pp.62{71. DOI:10.1145/1791194.1791203
Total in-text references: 1
  1. In-text reference with the coordinate start=3876
    Prefix
    ¬ ÓÚÎË ̃Ë ÓÚ ÒÚ‡ÚË ̃ÂÒÍÓ„Ó ‡Ì‡ÎËÁ‡, ‰Îˇ ‰Ë̇ÏË ̃ÂÒÍÓ„Ó ‡Ì‡ÎËÁ‡ ÔÓ„‡ÏÏ ̊ Ú·ÛÂÚÒˇ  ‚ ̊ÔÓÎÌÂÌË | ̇ ÒÔˆˇΠ̧Ì ̊ı ‚ıÓ‰Ì ̊ı ‰‡ÌÌ ̊ı, ‚ ‚ËÚۇΠ̧ÌÓÈ Ï‡ ̄ËÌ (Valgrind [8]), Ò ËÒÔÓÎ ̧ÁÓ‚‡ÌËÂÏ ËÌÒÚÛÏÂÌÚ‡ˆËË (AddressSanitizer [9], ThreadSanitizer
    Exact
    [10]
    Suffix
    , UndefinedBehaviorSanitizer), Ò ËÒÔÓÎ ̧ÁÓ‚‡ÌËÂÏ ‰ÓÔÓÎÌËÚÂÎ ̧Ì ̊ı ·Ë·ÎËÓÚÂÍ ËÎË Ëı ÔÓ‰ÏÂÌÓÈ. Õ‡ÍÓ̈, ÒÏ ̄‡ÌÌ ̊È ‡Ì‡ÎËÁ Ô‰ÒÚ‡‚ΡÂÚ ÒÓ·ÓÈ ÍÓÏ·Ë̇ˆË ̨ ÒÚ‡ÚË ̃ÂÒÍÓ„Ó Ë ‰Ë̇ÏË ̃ÂÒÍÓ„Ó ‡Ì‡ÎËÁ‡ Ë ËÒÔÓÎ ̧ÁÛÂÚÒˇ ‚ Ú‡ÍËı ËÌÒÚÛÏÂÌÚ‡ı Í‡Í Mayhem [11], KLEE [12], ‡ Ú‡ÍÊ ‰Û„Ëı ‡‚ÚÓχÚË ̃ÂÒÍËı „ÂÌÂ‡ÚÓÓ‚ ÍÓÌÚÔËÏÂÓ‚. œÂ ̃ËÒÎÂÌÌ ̊ ‚ˉ ̊ ‡Ì‡ÎËÁ‡ ËÏ ̨Ú Ò‚ÓË ‰ÓÒÚÓËÌÒÚ‚‡ Ë Ì‰ÓÒÚ‡ÚÍË, ‚ ̃‡ÒÚÌÓÒÚË, ‡ÁÎ

11
Cha S.K., Avgerinos T., Rebert A., Brumley D. Unleashing Mayhem on Binary Code.Proc. of the 33rdIEEE Symposium on Security and Privacy, San Francisco, CA, USA, May 20{23, 2012. IEEE, 2012, pp. 380{394. DOI:10.1109/SP.2012.31
Total in-text references: 1
  1. In-text reference with the coordinate start=4121
    Prefix
    | ̇ ÒÔˆˇΠ̧Ì ̊ı ‚ıÓ‰Ì ̊ı ‰‡ÌÌ ̊ı, ‚ ‚ËÚۇΠ̧ÌÓÈ Ï‡ ̄ËÌ (Valgrind [8]), Ò ËÒÔÓÎ ̧ÁÓ‚‡ÌËÂÏ ËÌÒÚÛÏÂÌÚ‡ˆËË (AddressSanitizer [9], ThreadSanitizer [10], UndefinedBehaviorSanitizer), Ò ËÒÔÓÎ ̧ÁÓ‚‡ÌËÂÏ ‰ÓÔÓÎÌËÚÂÎ ̧Ì ̊ı ·Ë·ÎËÓÚÂÍ ËÎË Ëı ÔÓ‰ÏÂÌÓÈ. Õ‡ÍÓ̈, ÒÏ ̄‡ÌÌ ̊È ‡Ì‡ÎËÁ Ô‰ÒÚ‡‚ΡÂÚ ÒÓ·ÓÈ ÍÓÏ·Ë̇ˆË ̨ ÒÚ‡ÚË ̃ÂÒÍÓ„Ó Ë ‰Ë̇ÏË ̃ÂÒÍÓ„Ó ‡Ì‡ÎËÁ‡ Ë ËÒÔÓÎ ̧ÁÛÂÚÒˇ ‚ Ú‡ÍËı ËÌÒÚÛÏÂÌÚ‡ı Í‡Í Mayhem
    Exact
    [11]
    Suffix
    , KLEE [12], ‡ Ú‡ÍÊ ‰Û„Ëı ‡‚ÚÓχÚË ̃ÂÒÍËı „ÂÌÂ‡ÚÓÓ‚ ÍÓÌÚÔËÏÂÓ‚. œÂ ̃ËÒÎÂÌÌ ̊ ‚ˉ ̊ ‡Ì‡ÎËÁ‡ ËÏ ̨Ú Ò‚ÓË ‰ÓÒÚÓËÌÒÚ‚‡ Ë Ì‰ÓÒÚ‡ÚÍË, ‚ ̃‡ÒÚÌÓÒÚË, ‡ÁÎË ̃Ì ̊ ‚ˉ ̊ ‡Ì‡ÎËÁ‡ ̇˷ÓΠ̋ÙÙÂÍÚË‚Ì ̊ ‰Îˇ ÔÓËÒ͇ ‡ÁÎË ̃Ì ̊ı ‚ˉӂ Ó ̄Ë·ÓÍ. •ƒË̇ÏË ̃ÂÒÍËÈ ‡Ì‡ÎËÁ ̇˷ÓΠıÓÓ ̄Ó Á‡ÂÍÓÏẨӂ‡Î Ò·ˇ ‰Îˇ ÔÓËÒ͇ Ó ̄Ë·ÓÍ, Ò‚ˇÁ‡ÌÌ ̊ı Ò ÏÌÓ„ÓÔÓÚÓ ̃ÌÓÒÚ ̧ ̨ Ë ÛÔ‡‚ÎÂÌËÂÏ Ô‡ÏˇÚ ̧ ̨, Ӊ̇ÍÓ Í‡ÈÌ Á‡Ú‡ÚÂÌ ‚

12
Cadar C., Dunbar D., Engler D. KLEE: Unassisted and automatic generation of highcoverage tests for complex systems programs.Proc. of the USENIX Symposium on Operating System Design and Implementation (OSDI'08), San Diego, CA, USA, December 8{ 10, 2008, USENIX Association, 2008, pp. 209{224. Available at:https://www.usenix.org/ legacy/events/osdi08/tech/fullpapers/cadar/cadar.pdf, accessed 13.05.2015.
Total in-text references: 1
  1. In-text reference with the coordinate start=4131
    Prefix
    ‡ ÒÔˆˇΠ̧Ì ̊ı ‚ıÓ‰Ì ̊ı ‰‡ÌÌ ̊ı, ‚ ‚ËÚۇΠ̧ÌÓÈ Ï‡ ̄ËÌ (Valgrind [8]), Ò ËÒÔÓÎ ̧ÁÓ‚‡ÌËÂÏ ËÌÒÚÛÏÂÌÚ‡ˆËË (AddressSanitizer [9], ThreadSanitizer [10], UndefinedBehaviorSanitizer), Ò ËÒÔÓÎ ̧ÁÓ‚‡ÌËÂÏ ‰ÓÔÓÎÌËÚÂÎ ̧Ì ̊ı ·Ë·ÎËÓÚÂÍ ËÎË Ëı ÔÓ‰ÏÂÌÓÈ. Õ‡ÍÓ̈, ÒÏ ̄‡ÌÌ ̊È ‡Ì‡ÎËÁ Ô‰ÒÚ‡‚ΡÂÚ ÒÓ·ÓÈ ÍÓÏ·Ë̇ˆË ̨ ÒÚ‡ÚË ̃ÂÒÍÓ„Ó Ë ‰Ë̇ÏË ̃ÂÒÍÓ„Ó ‡Ì‡ÎËÁ‡ Ë ËÒÔÓÎ ̧ÁÛÂÚÒˇ ‚ Ú‡ÍËı ËÌÒÚÛÏÂÌÚ‡ı Í‡Í Mayhem [11], KLEE
    Exact
    [12]
    Suffix
    , ‡ Ú‡ÍÊ ‰Û„Ëı ‡‚ÚÓχÚË ̃ÂÒÍËı „ÂÌÂ‡ÚÓÓ‚ ÍÓÌÚÔËÏÂÓ‚. œÂ ̃ËÒÎÂÌÌ ̊ ‚ˉ ̊ ‡Ì‡ÎËÁ‡ ËÏ ̨Ú Ò‚ÓË ‰ÓÒÚÓËÌÒÚ‚‡ Ë Ì‰ÓÒÚ‡ÚÍË, ‚ ̃‡ÒÚÌÓÒÚË, ‡ÁÎË ̃Ì ̊ ‚ˉ ̊ ‡Ì‡ÎËÁ‡ ̇˷ÓΠ̋ÙÙÂÍÚË‚Ì ̊ ‰Îˇ ÔÓËÒ͇ ‡ÁÎË ̃Ì ̊ı ‚ˉӂ Ó ̄Ë·ÓÍ. •ƒË̇ÏË ̃ÂÒÍËÈ ‡Ì‡ÎËÁ ̇˷ÓΠıÓÓ ̄Ó Á‡ÂÍÓÏẨӂ‡Î Ò·ˇ ‰Îˇ ÔÓËÒ͇ Ó ̄Ë·ÓÍ, Ò‚ˇÁ‡ÌÌ ̊ı Ò ÏÌÓ„ÓÔÓÚÓ ̃ÌÓÒÚ ̧ ̨ Ë ÛÔ‡‚ÎÂÌËÂÏ Ô‡ÏˇÚ ̧ ̨, Ӊ̇ÍÓ Í‡ÈÌ Á‡Ú‡ÚÂÌ ‚ ÒÎÛ ̃‡Â ·Ó

13
King J.C. Symbolic execution and program testing.Communications of the ACM, 1976, vol. 19, no. 7, pp. 385{394. DOI:10.1145/360248.360252
Total in-text references: 3
  1. In-text reference with the coordinate start=9211
    Prefix
    «Ì‡ ̃ËÚÂÎ ̧ÌÓ ·ÓΠÂÒÛÒÓÂÏÍËÏ, ÌÓ Ë ·ÓΠÔÓ‰Ó·Ì ̊Ï ˇ‚ΡÂÚÒˇ ‡Ì‡ÎËÁ ̇ ÓÒÌÓ‚Â Ó·ıÓ‰‡ ÔÛÚÂÈ ‚ ̊ÔÓÎÌÂÌˡ ÔÓ„‡ÏÏ ̊. ŒÒÌÓ‚ ̊ ̋ÚËı ÏÂÚÓ‰Ó‚ · ̊ÎË Á‡ÎÓÊÂÌ ̊  ̆ ‚ 70-ı „Ó‰‡ı. ÃÂÚÓ‰ ÒËÏ‚ÓÎ ̧ÌÓ„Ó ‚ ̊ÔÓÎÌÂÌˡ · ̊Î Ô‰ÎÓÊÂÌ ƒÊÂÈÏÒÓÏ ËÌ„ÓÏ ‚ 1976 „Ó‰Û
    Exact
    [13]
    Suffix
    . ¬ ÓÒÌÓ‚Â ÏÂÚÓ‰‡ ÎÂÊËÚ Ë‰Âˇ ‡Á·ËÂÌˡ ‚ıÓ‰Ì ̊ı ‰‡ÌÌ ̊ı ̇ Í·ÒÒ ̊ ̋Í‚Ë‚‡ÎÂÌÚÌÓÒÚË ‚ Á‡‚ËÒËÏÓÒÚË ÓÚ ‚ÒÚ ̃‡ÂÏ ̊ı ÔÓ ÔÛÚË ‚ ̊ÔÓÎÌÂÌˡ ÛÒÎÓ‚ËÈ. ÃÂÚÓ‰ ‡·ÒÚ‡ÍÚÌÓÈ ËÌÚÂÔÂÚ‡ˆËË, Ô‰ÎÓÊÂÌÌ ̊È ‚ 1977 „Ó‰Û ÒÛÔÛ„‡ÏË ÛÁÓ [14], Ô‰ÔÓ·„‡ÂÚ ËÒÔÓÎ ̧ÁÓ‚‡Ú ̧ ‡·ÒÚ‡„ËÓ‚‡ÌË ‰‡ÌÌ ̊ı Ë Ëı ‡Ì‡ÎËÁ ̇ ÓÒÌÓ‚Â ‡Î„· ̊  ̄ÂÚÓÍ.

  2. In-text reference with the coordinate start=12151
    Prefix
    ÓÏ ÚÓ„Ó, ˇÁ ̊Í C ˇ‚ΡÂÚÒˇ Ô‡ÍÚË ̃ÂÒÍË Â‰ËÌÒÚ‚ÂÌÌ ̊Ï ‚ ̊·ÓÓÏ ÔË ‡Á‡·ÓÚÍ ÌËÁÍÓÛÓ‚Ì‚ ̊ı ÍÓÏÔÓÌÂÌÚÓ‚, ̇ÔËÏÂ, ÍÓÏÔÓÌÂÌÚÓ‚ ÓÔÂ‡ˆËÓÌÌ ̊ı ÒËÒÚÂÏ Ë ‰‡È‚ÂÓ‚, ̃ÚÓ Ú‡ÍÊ Ô‰ ̇ˇ‚ΡÂÚ ÔÓ‚ ̊ ̄ÂÌÌ ̊ Ú·ӂ‡Ìˡ Í Í‡ ̃ÂÒÚ‚Û ÔÓ„‡ÏÏÌÓ„Ó ÍÓ‰‡. 1. ÃÓ‰ËÙˈËÓ‚‡ÌÌ ̊È ÏÂÚÓ‰ ÂÁ ̨Ï ‰Îˇ ÒËÏ‚ÓÎ ̧ÌÓ„Ó ‚ ̊ÔÓÎÌÂÌˡ ¬ ‰‡ÌÌÓÈ ‡·ÓÚ ËÒÒΉÛÂÚÒˇ ÏÂÚÓ‰ ÒËÏ‚ÓÎ ̧ÌÓ„Ó ‚ ̊ÔÓÎÌÂÌˡ
    Exact
    [13]
    Suffix
    , ÔËÏÂÌˇÂÏ ̊È ‰Îˇ ‡Ì‡ÎËÁ‡ ÔÛÚÂÈ ‚ ̊ÔÓÎÌÂÌˡ ÔÓ„‡ÏÏ. ›ÚÓÚ ÏÂÚÓ‰ ÔÓ‰‡ÁÛÏ‚‡ÂÚ ‡·ÒÚ‡ÍÚÌÓ ‰‚ËÊÂÌË ÔÓ ÔÛÚˇÏ ÔÓ„‡ÏÏ ̊, ËÏËÚËÛ ̨ ̆  ‚ ̊ÔÓÎÌÂÌË ‚ Á‡‚ËÒËÏÓÒÚË ÓÚ ‚ıÓ‰Ì ̊ı ‰‡ÌÌ ̊ı, ÒÓÔÓ‚Óʉ‡ ̨ ̆ÂÂÒˇ ËÁÏÂÌÂÌËÂÏ ÒÓÒÚÓˇÌˡ ÔÓ„‡ÏÏ ̊ ‚ ‡ÁÎË ̃Ì ̊ı ÚÓ ͇̃ı.

  3. In-text reference with the coordinate start=13257
    Prefix
    Œ‰Ì‡ÍÓ, Í‡Í Ô‡‚ËÎÓ, ÍÓÎË ̃ÂÒÚ‚Ó Í·ÒÒÓ‚ ̋Í‚Ë‚‡ÎÂÌÚÌÓÒÚË ÍÓÏ·Ë̇ˆËÈ ‚ıÓ‰Ì ̊ı ‰‡ÌÌ ̊ı Ó͇Á ̊‚‡ÂÚÒˇ Á̇ ̃ËÚÂÎ ̧ÌÓ ÌËÊ ̃ËÒ· ‚ÒÂı ‚ÓÁÏÓÊÌ ̊ı ÍÓÏ·Ë̇ˆËÈ ‚ıÓ‰Ì ̊ı ‰‡ÌÌ ̊ı, ̃ÚÓ ÂÁÍÓ Û‚ÂÎË ̃Ë‚‡ÂÚ ‚ÓÁÏÓÊÌÓÒÚË ‡Ì‡ÎËÁ‡ÚÓ‡ ÔÓ Ó·‡·ÓÚÍ ÔÛÚÂÈ ‚ ̊ÔÓÎÌÂÌˡ. ŒÒÌÓ‚ÌÓÈ ‡Î„ÓËÚÏ ÒËÏ‚ÓÎË ̃ÂÒÍÓ„Ó ‚ ̊ÔÓÎÌÂÌˡ
    Exact
    [13]
    Suffix
    Á‡ÍÎ ̨ ̃‡ÂÚÒˇ ‚ ÒÎÂ‰Û ̨ ̆ÂÏ. 1. œË ÒÚ‡Ú ‡Ì‡ÎËÁ‡ ÙÛÌ͈ËË ‚ıÓ‰Ì ̊ Á̇ ̃ÂÌˡ  ‡„ÛÏÂÌÚÓ‚ Ë ‚Ì ̄ÌËı ÔÓ ÓÚÌÓ ̄ÂÌËË Í ÌÂÈ ÔÂÂÏÂÌÌ ̊ı ÌÂËÁ‚ÂÒÚÌ ̊, Ú. Â. ÓÌË ÔÓÚÂ̈ˇΠ̧ÌÓ ÏÓ„ÛÚ ÔËÌËÏ‡Ú ̧ Î ̨· ̊ Á̇ ̃ÂÌˡ.

14
Cousot P., Cousot R. Abstract Interpretation: A Unified Lattice Model for Static Analysis of Programs by Construction or Approximation of Fixpoints.Proc. of the 4thACM SIGACTSIGPLAN Symposium on Principles of Programming Languages (POPL'77), Los Angeles, CA, USA, 1977. ACM New York, NY, USA, 1977, pp. 238{252. DOI:10.1145/512950.512973
Total in-text references: 1
  1. In-text reference with the coordinate start=9477
    Prefix
    ¬ ÓÒÌÓ‚Â ÏÂÚÓ‰‡ ÎÂÊËÚ Ë‰Âˇ ‡Á·ËÂÌˡ ‚ıÓ‰Ì ̊ı ‰‡ÌÌ ̊ı ̇ Í·ÒÒ ̊ ̋Í‚Ë‚‡ÎÂÌÚÌÓÒÚË ‚ Á‡‚ËÒËÏÓÒÚË ÓÚ ‚ÒÚ ̃‡ÂÏ ̊ı ÔÓ ÔÛÚË ‚ ̊ÔÓÎÌÂÌˡ ÛÒÎÓ‚ËÈ. ÃÂÚÓ‰ ‡·ÒÚ‡ÍÚÌÓÈ ËÌÚÂÔÂÚ‡ˆËË, Ô‰ÎÓÊÂÌÌ ̊È ‚ 1977 „Ó‰Û ÒÛÔÛ„‡ÏË ÛÁÓ
    Exact
    [14]
    Suffix
    , Ô‰ÔÓ·„‡ÂÚ ËÒÔÓÎ ̧ÁÓ‚‡Ú ̧ ‡·ÒÚ‡„ËÓ‚‡ÌË ‰‡ÌÌ ̊ı Ë Ëı ‡Ì‡ÎËÁ ̇ ÓÒÌÓ‚Â ‡Î„· ̊  ̄ÂÚÓÍ. Œ‰Ì‡ÍÓ ‰‡ÌÌ ̊ ÔÓıÓ‰ ̊ ÒÚ‡ÎË ÔÓÎÛ ̃‡Ú ̧ ‡ÒÔÓÒÚ‡ÌÂÌË ÚÓÎ ̧ÍÓ ‚ ÔÓÒΉÌ ‚ÂÏˇ. ›ÚÓ Ò‚ˇÁ‡ÌÓ Ò Û‚ÂÎË ̃Ë‚ ̄ÂÈÒˇ ÏÓ ̆ÌÓÒÚ ̧ ̨ ÍÓÏÔ ̧ ̨ÚÂÓ‚: ‚ÂÏˇ ‡Ì‡ÎËÁ‡ ‡ÒÚÂÚ ÔÓÔÓˆËÓ̇Π̧ÌÓ ÍÓÎË ̃ÂÒÚ‚Û ÔÛÚÂÈ ‚ ̊ÔÓÎÌÂÌˡ, ̃ÚÓ ÓÁ̇ ̃‡ÂÚ ̋ÍÒÔÓÌÂ̈ˇΠ̧Ì ̊È ÓÒÚ ‚ÂÏÂÌË ‡Ì‡ÎËÁ‡ Ò Û‚ÂÎË ̃ÂÌËÂÏ ‡ÁÏÂ‡ ÔÓ„‡ÏÏ ̊.

16
Sen K., Marinov D., Agha G. CUTE: a concolic unit testing engine for C.ACM SIGSOFT Software Engineering Notes, 2005, vol. 30, iss. 5, pp. 263{272. DOI:10.1145/1095430.1081750
Total in-text references: 1
  1. In-text reference with the coordinate start=17564
    Prefix
    ÃÂÚÓ‰ ÒËÏ‚ÓÎ ̧ÌÓ„Ó ‚ ̊ÔÓÎÌÂÌˡ ÔÓÎÛ ̃ËÎ ‡ÒÔÓÒÚ‡ÌÂÌË Ì ÚÓÎ ̧ÍÓ ‚ ËÌÒÚÛÏÂÌÚ‡ı ÒÚ‡ÚË ̃ÂÒÍÓ„Ó, ÌÓ Ë ÒÏ ̄‡ÌÌÓ„Ó ‡Ì‡ÎËÁ‡: Ú‡Í, ıÓÓ ̄Ó Á‡ÂÍÓÏẨӂ‡ÎË Ò·ˇ ËÌÒÚÛÏÂÌÚ ̊, ËÒÔÓÎ ̧ÁÛ ̨ ̆Ë ÔÓ‰ıÓ‰ concolic testing
    Exact
    [16]
    Suffix
    (ÒËÏ‚ÓÎ ̧ÌÓ-ÍÓÌÍÂÚÌÓ | concrete+symbolic). Concolic testing | ̋ÚÓ ÏÂÚÓ‰ ÔÓËÒ͇ ‰ÂÙÂÍÚÓ‚, ÓÒÛ ̆ÂÒڂΡ ̨ ̆ËÈ „ÂÌÂ‡ˆË ̨ ÚÂÒÚÓ‚ ̊ı ‰‡ÌÌ ̊Â, ÔË ËÒÔÓÎ ̧ÁÓ‚‡ÌËË ÍÓÚÓ ̊ı ÔÓ„‡Ïχ ÔÓˇ‚ΡÂÚ ÌÂÍÓÂÍÚÌÓ Ôӂ‰ÂÌËÂ, ̇ ÓÒÌÓ‚Â ÒËÏ‚ÓÎ ̧ÌÓ„Ó ‚ ̊ÔÓÎÌÂÌˡ.

17
The LLVM compiler infrastructure. Available at:http://llvm.org, accessed 14.05.2015.
Total in-text references: 1
  1. In-text reference with the coordinate start=32320
    Prefix
    ÏÌÓÊÂÒÚ‚Ó ÛÁÎÓ‚ ÔËÏÂÌÂÌˡ ÂÁ ̨ÏÂ. œÓÒÍÓÎ ̧ÍÛ ÏÌÓÊÂÒÚ‚Ó ‚ÒÂı ÛÁÎÓ‚ „‡Ù‡ ‚ ̊ÔÓÎÌÂÌˡ, Í‡Í Ô‡‚ËÎÓ, ÏÌÓ„ÓÍ‡ÚÌÓ Ô‚ÓÒıÓ‰ËÚ ÔÓ ÍÓÎË ̃ÂÒÚ‚Û ̋ÎÂÏÂÌÚÓ‚ ÏÌÓÊÂÒÚ‚Ó ÎËÒÚÓ‚ „‡Ù‡, ‰‡ÌÌ ̊È ÏÂÚÓ‰ ËÏÂÂÚ Á̇ ̃ËÚÂÎ ̧ÌÓ ·ÓÎ ̧ ̄Û ̨ ÔÓÚÂ̈ˇΠ̧ÌÛ ̨ Ï‡Ò ̄Ú‡·ËÛÂÏÓÒÚ ̧. 2. ¬ ̊·Ó ËÌÒÚÛÏÂÌÚ‡ˡ Œ‰ÌÓÈ ËÁ ̇˷ÓΠËÁ‚ÂÒÚÌ ̊ı ÓÚÍ ̊Ú ̊ı ÒËÒÚÂÏ ‰Îˇ ‡Ì‡ÎËÁ‡ ÍÓ‰‡ ̇ ˇÁ ͇̊ı C Ë C++ ˇ‚ΡÂÚÒˇ ÔÓ„‡ÏÏÌ ̊È ÍÓÏÔÎÂÍÒ LLVM
    Exact
    [17]
    Suffix
    Ë ‚ıÓ‰ˇ ̆ËÈ ‚  ÒÓÒÚ‡‚ ÍÓÏÔËΡÚÓ Clang [18]. LLVM ÔÓÁ‚ÓΡÂÚ ‡Ì‡ÎËÁËÓ‚‡Ú ̧ ÍÓ‰ Î ̨· ̊ı ˇÁ ̊ÍÓ‚ ÔË ÛÒÎÓ‚ËË, ̃ÚÓ ÓÌ Ú‡ÌÒÎËÛÂÚÒˇ ‚ ÔÓÏÂÊÛÚÓ ̃ÌÓ Ô‰ÒÚ‡‚ÎÂÌË LLVM (LLVM IR), ˇ‚ΡˇÒ ̧, Ú‡ÍËÏ Ó·‡ÁÓÏ, Í‡Í ‡Ì‡ÎËÁ‡ÚÓÓÏ ÔÓÏÂÊÛÚÓ ̃ÌÓ„Ó Ô‰ÒÚ‡‚ÎÂÌˡ, Ú‡Í Ë ÓÔÚËÏËÁËÛ ̨ ̆ÂÈ ‚ËÚۇΠ̧ÌÓÈ Ï‡ ̄ËÌÓÈ ‰Îˇ Â„Ó ËÒÔÓÎÌÂÌˡ Ë „ÂÌÂ‡ÚÓÓÏ Ó· ̇ÂÍÚÌÓ„Ó ÍÓ‰‡.

18
Clang: a C language family frontend for LLVM. Available at:http://clang.llvm.org, accessed 15.05.2015.
Total in-text references: 1
  1. In-text reference with the coordinate start=32366
    Prefix
    ÏÌÓÊÂÒÚ‚Ó ‚ÒÂı ÛÁÎÓ‚ „‡Ù‡ ‚ ̊ÔÓÎÌÂÌˡ, Í‡Í Ô‡‚ËÎÓ, ÏÌÓ„ÓÍ‡ÚÌÓ Ô‚ÓÒıÓ‰ËÚ ÔÓ ÍÓÎË ̃ÂÒÚ‚Û ̋ÎÂÏÂÌÚÓ‚ ÏÌÓÊÂÒÚ‚Ó ÎËÒÚÓ‚ „‡Ù‡, ‰‡ÌÌ ̊È ÏÂÚÓ‰ ËÏÂÂÚ Á̇ ̃ËÚÂÎ ̧ÌÓ ·ÓÎ ̧ ̄Û ̨ ÔÓÚÂ̈ˇΠ̧ÌÛ ̨ Ï‡Ò ̄Ú‡·ËÛÂÏÓÒÚ ̧. 2. ¬ ̊·Ó ËÌÒÚÛÏÂÌÚ‡ˡ Œ‰ÌÓÈ ËÁ ̇˷ÓΠËÁ‚ÂÒÚÌ ̊ı ÓÚÍ ̊Ú ̊ı ÒËÒÚÂÏ ‰Îˇ ‡Ì‡ÎËÁ‡ ÍÓ‰‡ ̇ ˇÁ ͇̊ı C Ë C++ ˇ‚ΡÂÚÒˇ ÔÓ„‡ÏÏÌ ̊È ÍÓÏÔÎÂÍÒ LLVM [17] Ë ‚ıÓ‰ˇ ̆ËÈ ‚  ÒÓÒÚ‡‚ ÍÓÏÔËΡÚÓ Clang
    Exact
    [18]
    Suffix
    . LLVM ÔÓÁ‚ÓΡÂÚ ‡Ì‡ÎËÁËÓ‚‡Ú ̧ ÍÓ‰ Î ̨· ̊ı ˇÁ ̊ÍÓ‚ ÔË ÛÒÎÓ‚ËË, ̃ÚÓ ÓÌ Ú‡ÌÒÎËÛÂÚÒˇ ‚ ÔÓÏÂÊÛÚÓ ̃ÌÓ Ô‰ÒÚ‡‚ÎÂÌË LLVM (LLVM IR), ˇ‚ΡˇÒ ̧, Ú‡ÍËÏ Ó·‡ÁÓÏ, Í‡Í ‡Ì‡ÎËÁ‡ÚÓÓÏ ÔÓÏÂÊÛÚÓ ̃ÌÓ„Ó Ô‰ÒÚ‡‚ÎÂÌˡ, Ú‡Í Ë ÓÔÚËÏËÁËÛ ̨ ̆ÂÈ ‚ËÚۇΠ̧ÌÓÈ Ï‡ ̄ËÌÓÈ ‰Îˇ Â„Ó ËÒÔÓÎÌÂÌˡ Ë „ÂÌÂ‡ÚÓÓÏ Ó· ̇ÂÍÚÌÓ„Ó ÍÓ‰‡.

19
Clang Static Analyzer. Available at:http://clang-analyzer.llvm.org, accessed 15.05.20157.
Total in-text references: 1
  1. In-text reference with the coordinate 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) | ÔÓËÒÍ Ù‡„ÏÂÌÚÓ‚ ÒËÌÚ‡ÍÒË ̃ÂÒÍÓ„Ó ‰Â‚‡, Û‰Ó‚ÎÂÚ‚Óˇ ̨ ̆Ëı Á‡‰‡ÌÌ ̊Ï ÛÒÎӂˡÏ. œË ‰‡ÌÌÓÏ ÔÓ‰ıӉ ‚ ̊ÔÓÎÌˇÂÚÒˇ ÔÓËÒÍ Ù‡„ÏÂÌÚ‡ ÍÓ‰‡ (̇ ÓÒÌÓ