スレッドセーフでないことの確認はともかく
スレッドセーフであることの確認って
ソースコードチェックする以外にどうやるの？