Dies ist Teil 4 einer mehrteiligen Videoserie, um meine öffentliche Lernreise zu dokumentieren… Zuerst beginnen wir mit dem Secereum - Bootcamp zur Prüfung von Smart Contracts.
Die heutige Episode… Prüfmethoden & Werkzeuge 101
Mein digitales Ablagegebiet - dylandavis.net
Zusätzliche Ressourcen
Zeitplan
00:00 - Einführung und Vorwort
01:30 - Einführung in Prüfmethoden
02:07 - Prüfmethoden (Spezifikations-/Dokumentanalyse)
03:46 - Prüfmethoden (Testüberprüfung)
05:08 - Prüfmethoden (statische Analyse)
06:42 - Prüfmethoden (Fuzzing)
07:40 - Prüfmethoden (symbolische Überprüfung)
09:15 - Prüfmethoden (formale Verifikation)
11:10 - Prüfmethoden (manuelle Analyse)
12:53 - Prüfungsfirmen
13:47 - Einführung in den Prüfungsprozess
15:51 - Prüfungsprozess (Dokumente/Spezifikationen lesen)
17:47 - Prüfungsprozess (einen Freund anrufen)
20:19 - Prüfungsprozess (Bericht schreiben)
21:27 - Prüfungsprozess (Ergebnisse präsentieren)
22:40 - Einführung in die manuelle Analyse
24:37 - Manuelle Analyse (Zugriffskontrolle)
26:39 - Manuelle Analyse (Vermögensfluss)
27:45 - Manuelle Analyse (Kontrollfluss)
30:14 - Manuelle Analyse (Datenfluss)
32:22 - Manuelle Analyse (Einschränkungen)
33:51 - Manuelle Analyse (Abhängigkeiten)
35:08 - Manuelle Analyse (Annahmen)
37:33 - Manuelle Analyse (Checklisten)
38:25 - Outro