如果有人声称他编写的 C/C++ 程序（或者程序库）是线程安全的，如何通过 查看源代码来检查其真实性？根据本人有限的知识，线程不安全只可能出现在全局 变量或者静态局部变量上。对于后者，可以通过搜索 static 来检查，而对于前者 似乎没有什么关键字可利用，全局变量可能分布在任何一个角落。
有无相关工具专门做这项工作？ -- To UNSUBSCRIBE, email to debian-chinese-gb-requ...@lists.debian.org with a subject of "unsubscribe". Trouble? Contact listmas...@lists.debian.org Archive: http://lists.debian.org/20120418154535.GA2649@localhost.localdomain
