Java bayt kodunu (.class) tersine mühendislik yapmayı bu kadar kolay kılan şeylerden biri, JVM'nin doğrulayıcısının bayt kodunun doğrusal tarama yoluyla her zaman sökülebilmesini sağlamasıdır. Talimatlar 0 ofsetten başlayarak ardışık olmalıdır ve bir talimatın ortasına atlayamazsınız.
Ancak bu gönderi Dalvik'in böyle bir bayt kodu doğrulaması yapmadığını ima eder. Yazarlar, görünüşe göre izin verilen bir talimatın ortasına atlamak gibi tüm olağan x86 şenanianlarını yapıyorlar. Bu doğru mu? Android sanal makineleri aslında herhangi bir yükleme süresi bayt kodu doğrulaması yapıyor mu? Değilse neden?