>>434
その通りです。
普通の言語よりバグを検出しやすい仕組みではあっても万能では無いし、人間が使用を勘違いしているのまでは見抜けません。