本報告では，Javaマルチスレッドプログラムのソースコードを解析し，同期が起きる可能性を調べる手法を提案する．同期は,複数のスレッドが同時に同一リソースにアクセスして起きるデータ矛盾を防ぐ操作である．
マルチスレッドプログラムは振舞いが非決定的であるので，同期のテストや不具合が起きたときの問題の検出や再現が困難であり，同期が起きる全ての可能性を調べる手法が必要である．
そこで，ソースコードを解析した結果から，スレッドがリソースへアクセスする関係をグラフで表し，同期が起きる全ての可能性を検査する手法を提案する．
Javaスレッド同期問題解析ツールは，複数のスレッドが同一リソースに同時アクセスする可能性がある箇所をソースコード上で表示し，同期の不具合が起きている箇所の発見の支援をする．