C/C++ Thread Safety Analysis
DeLesley Hutchins, Aaron Ballman, Dean Sutherland
2014 IEEE 14th International Working Conference on Source Code Analysis and Manipulation, IEEE