Analyse rapide et évolutive des contrats intelligents