Empirische Überprüfung der Smart Contract- und DeFi-Sicherheit: Erkennung von Sicherheitslücken und automatisierte Reparatur