指定すれば表示されません。チェック)が用意されています。corrupted.という実行時エラーが検出されます。strcatは質問のようなセキュリティ上の欠陥があるためstrcat_sが推奨されています。strcat_sは事前に書き込み先のバッファサイズを受け取るため、書き込み前にバッファオーバーフローを検出できます。stackサイズなんてチェックしないのが仕様。運が良ければ、そのまま、動きます。運が悪ければ、隣りの領域を壊します。なるとどうかは知りませんが、不正な動作となります。(環境依存)昔、運よく動いていたのは、隣りに大きな未使用配列があった時。