|
ИСТИНА |
Войти в систему Регистрация |
ФНКЦ РР |
||
Чувствительный к путям поиск дефектов в программах на языке C# на примере разыменования нулевого указателястатья
Статья опубликована в журнале из списка RSCI Web of Science
Статья опубликована в журнале из перечня ВАКДата последнего поиска статьи во внешних источниках: 8 января 2017 г.
- Авторы: Кошелев В.К., Дудина И.А., Игнатьев В.И., Борзилов А.И.
- Журнал: Труды Института системного программирования РАН (электронный журнал)
- Том: 27
- Номер: 5
- Год издания: 2015
- Первая страница: 59
- Последняя страница: 86
- DOI: 10.15514/ispras-2015-27(5)-5
- Аннотация: В данной работе рассматривается вопрос построения масштабируемого чувствительного к путям анализа дефектов в программах на языке C#. Производится формализация дефекта разыменования нулевого указателя и сведение задачи поиска данного дефекта к задаче выполнимости формул логики предикатов. Приведены результаты анализатора, основанного на данном методе, подтверждающие его применимость для анализа промышленных программ.
- Добавил в систему: Дудина Ирина Александровна