基于静态分析的死锁检测

摘要

死锁是分布式和并发程序中的常见缺陷。静态分析技术是软件缺陷检测的主要手段之一。本文基于静态分析技术提出了一种死锁检测方法，该方法将死锁检测这一复杂问题分解成为四个子问题—可达分析、别名分析、并发分析、以及Gatelock分析，本文详细讨论了这四个子问题的解决方法。