...
Users often assume that Java class files obtained from a trustworthy source will be conforming and, consequently, safe for execution. This belief can erroneously lead them to see bytecode verification as a superfluous activity for such classes. Consequently, they could disable bytecode verification, undermining Java's safety and security guarantees. But the The bytecode verifier must not be suppressed.
...
<ac:structured-macro ac:name="unmigrated-wiki-markup" ac:schema-version="1" ac:macro-id="6692da2252b71d7b-0b162d92-4f3d4441-983b8a4a-fa9c6ac041e4aa226760b9c9"><ac:plain-text-body><![CDATA[ | [[Oaks 2001 | AA. Bibliography#Oaks 01]] | The Bytecode Verifier | ]]></ac:plain-text-body></ac:structured-macro> |
<ac:structured-macro ac:name="unmigrated-wiki-markup" ac:schema-version="1" ac:macro-id="e5f20168eb21af99-bdae48dc-4de84e2c-9427ad90-b7623db0379ecedeba44ba9d"><ac:plain-text-body><![CDATA[ | [[Pistoia 2004 | AA. Bibliography#Pistoia 04]] | Section 7.3, The Class File Verifier | ]]></ac:plain-text-body></ac:structured-macro> |
...