論理エラーも検出? https://rio.st/2005/02/08/%e8%ab%96%e7%90%86%e3%82%a8%e3%83%a9%e3%83%bc%e3%82%82%e6%a4%9c%e5%87%ba%ef%bc%9f/