Сборники трудов ИСП РАН


Инкрементальный анализ исходного кода на языках C/C++.

В.О. Савицкий, Д.В. Сидоров.

Аннотация

В статье описан метод построения статического анализатора кода, позволяющий существенно сократить время повторного поиска дефектов для языков С\С++. Для этого используется свойство малого отношения количества лексем из исходного файла к количеству лексем из заголовочных файлов. Метод реализован в программном продукте для среды разработки MS Visual Studio.

Ключевые слова

статический анализа кода, повторный поиск дефектов, С\С++

Издание

Труды Института системного программирования РАН, том 22, 2012, стр. 119-130.

ISSN 2220-6426 (Online), ISSN 2079-8156 (Print).

DOI: 10.15514/ISPRAS-2012-22-8

Полный текст статьи в формате pdf Вернуться к содержанию тома