| 
Поиск по ключевому слову "построение отчета"
Метод резюме для разработки универсального многоцелевого анализатора кодов программ с возможностью обнаружения различных классов дефектов в программах, созданных с использованием языков С и С++
| Авторы: Романова Т.Н., Сидорин А.В. | Опубликовано: 12.10.2015 |
| Опубликовано в выпуске: #5(104)/2015 | |
| DOI: 10.18698/0236-3933-2015-5-75-96 | |
| Раздел: Информатика, вычислительная техника и управление | Рубрика: Теоретическая информатика, кибернетика | |
| Ключевые слова: метод резюме, межпроцедурный анализ, символьное выполнение, Clang Static Analyzer, поиск дефектов, построение отчета, C/C++ | |