如果有人声称他编写的 C/C++ 程序（或者程序库）是线程安全的，如何通过 查看源代码来检查其真实性？根据本人有限的知识，线程不安全只可能出现在全局 变量或者静态局部变量上。对于后者，可以通过搜索 static 来检查，而对于前者 似乎没有什么关键字可利用，全局变量可能分布在任何一个角落。 有无相关工具专门做这项工作？