必要のないアサインを検出する静的解析ツール。