すべての攻撃ベクトルを理解してアサーションを書くわけではありません。 ハッキングされたすべての状態を定義することでアサーションを記述します。