Un Marco para Depurar Programas Java en un Código de bytes