合理的に脆弱性を見つけるアルゴリズムを見つける学問は
現在のところ存在していないということでよろしいでしょうか？