Finden Sie den Fehler, der das Geld bewegt.

Das ist eine kleine Stichprobe aus fünf Wettbewerben, kein Beweis allgemeiner Überlegenheit. Die Scorpio-Spalte wurde am 9. September 2026 mit der Engine 890777033a8fc952… in drei identischen Durchläufen gemessen. Den Fingerabdruck der ausgelieferten Engine zeigt diese Seite oben: stimmt er nicht überein, stammt die Messung von einer früheren Engine und wurde mit der heutigen nicht wiederholt. Die Slither-Spalte stammt aus Version 0.11.5 auf denselben eingefrorenen Fällen, gemessen am 6. September; zwischen beiden Daten hat sich Slither nicht verändert.

Was die 14 nicht zugeordneten sind — sie „falsch“ zu nennen wäre ungenau: vier haben informativen Schweregrad, drei Hinweise auf einen Vertrag ohne Events und eine Notiz zu Annahmen über den Token; das ist Kontext, den die Engine absichtlich liefert und der in einer Liste von Schwachstellen gar nicht antritt. Drei sagen etwas Zutreffendes über den Code — dass der Rückgabewert einer ERC-20-Überweisung nicht geprüft wird —, was der Wettbewerb nicht als Fund anerkannt hat. Und eine ist ein Einwegschalter, den die Engine als Verdacht markiert, weil darüber, ob das so gewollt war, ein Mensch entscheidet.

Von den übrigen sechs sind fünf derselbe Fehler wie ein Eintrag der offiziellen Liste, nur unter anderem Namen. Der Abgleich ordnet nur zu, wenn der Detektor genauso heißt wie die Familie des Etiketts. Findet die Engine den Fehler also richtig, benennt ihn aber nach seiner Ursache statt nach seiner Wirkung, bestraft die Zählung sie doppelt: Das Etikett gilt als nicht gefunden und der Fund als falsch. Alle fünf Paare wurden einzeln geprüft, am selben Vertrag und in vier Fällen auch in derselben Funktion: Die Sperre, die in refund nie schließt, ist die Reentrancy von CH-05; die Frist, die sich überschreiben lässt, ist CH-07; der Durchlauf über claimants ohne Obergrenze ist MC-08; die Signatur, die die Implementierung nicht bindet, ist SP-01; und der Digest ohne Typehash ist SP-02. Die sechste sagt etwas Zutreffendes, das die Liste nicht führt.

Diese Zuordnung ist von Hand und parteiisch: Sie stammt von derjenigen Person, die an der Engine arbeitet. Deshalb bleiben die maßgeblichen Zahlen auf dieser Seite die maschinellen. Mit den fünf anerkannten Paaren wären es 17 zugeordnete und 9 nicht zugeordnete, also 65,4 % Genauigkeit und 35,4 % Abdeckung. Das steht hier, damit sichtbar ist, woher der Unterschied kommt — nicht um ihn sich gutzuschreiben.