Raymond donne une conférence sur l'analyse statique des contrats intelligents en utilisant Slither | Knoovi