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