バッファオーバーフローを防ぐための最も効果的な実装方法はどれか。

セキュリティ要件のトレーサビリティマトリクス（RTM）が保証するものはどれか。