Static detection method for deadlock of operating system and related equipment

The embodiment of the invention discloses an operating system deadlock static detection method and related device.The operating system deadlock static detection method comprises the steps that lock set analysis based on the alias relation between variables is conducted on functions of an operating system kernel, and a lock set sequence set is obtained; performing loopback detection on the lock set sequence set to obtain at least one potential deadlock defect; and performing accessibility detection and/or concurrency detection on the code path of each potential deadlock defect in the at least one potential deadlock defect to obtain a deadlock defect detection result of the operating system kernel. The embodiment of the invention is beneficial to reducing the false alarm condition of deadlock defect detection of the operating system. 本发明实施例公开了一种操作系统死锁静态检测方法及相关设备，其中，该操作系统死锁静态检测方法包括：对操作系统内核的函数进行基于变量间的别名关系的锁集分析，得到锁集序列集合；对锁集序列集合进行回环检测，得到至少一个潜在死锁缺陷；对至少一个潜在死锁缺陷中的每个潜在死锁缺陷的代码路径进行可达性检测和/或并发性检测，以得到操作系统内核的死锁缺陷检测结果。本申请实施例有