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