Describir: Sémantique dynamique et analyse de flot de contrôle pour Java