バイトコード検証はデフォルトで実行される。以下のように、JVM -Xverify:none フラグを渡して実行すると、バイトコード検証は行われなくなる。
ほとんどの 実装は、バイトコード検証をデフォルトで実行する。動的にクラスをロードする場合にもバイトコード検証が行われる。
以下のように、-Xverify:all フラグを指定することで、JVM にバイトコード検証を強制的に実行させることができる。
バイトコード検証は、Java で要請されているセキュリティチェックの多くがバイトコードの中に含まれていることを確認する。この検証を省くと、セキュアでない コードの実行を許してしまう。
一般に、静的解析でこのルールの違反を検出することは不可能である。