Автоматическое обнаружение дефектов в многопоточных программах методами статического анализа

Вычислительные машины и программное обеспечение
Авторы:
Аннотация:

Рассмотрены вопросы обнаружения дефектов в многопоточных программах. Предложен подход, расширяющий алгоритмы статического анализа последовательных программ на многопоточные программы, в основе которого алгоритм анализа потоков, выполняющий анализ параллельных блоков программы и взаимодействий между конструкциями синхронизации.