情報セキュリティでの脆弱性の検出に用いられるホワイトボックステストに該当するものはどれか。