Справочник по виртуальным машинам Dalvik или Java?

В настоящее время я изучаю байт-код Dalvik, но, поскольку у меня нет опыта работы с компилятором, мне немного сложно понять дизайн. Я почти уверен, что никто не написал книгу о Dalvik (или я могу ошибаться), поэтому может ли кто-нибудь предложить мне ссылку на виртуальную машину Java, содержащую несколько практических примеров? В частности, меня интересуют:

• Понять, как интерпретировать сгенерированный байт-код
• Использование спецификаций VM (Dalvik или Java) для декомпиляции байтового кода в промежуточное представление и последующей его компиляции обратно

В Короче говоря, вероятно, то, что я ищу, - это изучить байтовый код обратной инженерии, чтобы я мог проанализировать его на наличие уязвимостей. Есть предложения?