Ceci est la partie 4 d'une série vidéo multipartite pour documenter mon parcours d'apprentissage public… Nous commençons d'abord par le Secereum - Bootcamp d'Audit de Contrats Intelligents.
L'épisode d'aujourd'hui… Techniques et Outils d'Audit 101
Mon espace de dumping numérique - dylandavis.net
Ressources Supplémentaires
Chronologie
00:00 - Introduction et Préface
01:30 - Introduction aux Techniques d'Audit
02:07 - Techniques d'Audit (Analyse de Spécifications/Docs)
03:46 - Techniques d'Audit (tests de révision)
05:08 - Techniques d'Audit (analyse statique)
06:42 - Techniques d'Audit (fuzzing)
07:40 - Techniques d'Audit (vérification symbolique)
09:15 - Techniques d'Audit (vérification formelle)
11:10 - Techniques d'Audit (analyse manuelle)
12:53 - Sociétés d'Audit
13:47 - Introduction au Processus d'Audit
15:51 - Processus d'Audit (Lire Docs/Spécifications)
17:47 - Processus d'Audit (appeler un ami)
20:19 - Processus d'Audit (rédaction du rapport)
21:27 - Processus d'Audit (présenter les résultats)
22:40 - Introduction à l'Analyse Manuelle
24:37 - Analyse Manuelle (Contrôle d'Accès)
26:39 - Analyse Manuelle (Flux d'Actifs)
27:45 - Analyse Manuelle (Flux de Contrôle)
30:14 - Analyse Manuelle (Flux de Données)
32:22 - Analyse Manuelle (Contraintes)
33:51 - Analyse Manuelle (Dépendances)
35:08 - Analyse Manuelle (Hypothèses)
37:33 - Analyse Manuelle (Listes de Contrôle)
38:25 - Conclusion