nous avons maintenant un analyseur de script fonctionnant pour les ponts bitvm