静的解析ツールの活用と原則