돈을 움직이는 결함을 찾아냅니다.

이것은 대회 다섯 건이라는 작은 표본이며, 전반적인 우월함의 증거가 아닙니다. Scorpio 열은 2026년 9월 9일에 엔진 890777033a8fc952…로, 동일한 조건으로 세 번 실행해 측정했습니다. 배포된 엔진의 지문은 이 페이지 상단에 표시됩니다. 값이 다르면 이 측정은 더 이전 엔진의 것이며 오늘의 엔진으로는 다시 실행하지 않았습니다. Slither 열은 0.11.5 버전으로 같은 고정 사례에서 9월 6일에 측정했고, 두 날짜 사이에 Slither는 바뀌지 않았습니다.

짝이 맞지 않은 14건은 무엇인가. 그것을 “틀렸다”고 부르면 정확하지 않습니다. 네 건은 정보성 등급으로, 이벤트가 없는 계약에 대한 알림 세 건과 토큰 가정에 대한 메모 한 건입니다. 엔진이 일부러 제공하는 맥락이며, 애초에 취약점 목록에서 경쟁하지 않습니다. 세 건은 코드에 대해 참인 사실, 즉 ERC-20 전송의 반환값을 확인하지 않는다는 점을 말하지만 대회가 발견 사항으로 인정하지 않았습니다. 그리고 한 건은 한 방향으로만 움직이는 스위치인데, 그것이 의도된 것인지 판단하는 주체는 사람이므로 엔진은 의심으로 표시합니다.

남은 여섯 건 중 다섯 건은 공식 목록의 어느 항목과 같은 결함이며, 이름만 다릅니다. 비교기는 검출기 이름이 라벨의 계열과 같아야 짝을 맺으므로, 엔진이 결함을 제대로 찾아냈는데 그것을 결과가 아니라 원인으로 이름 붙이면 집계가 두 번 벌을 줍니다. 라벨은 찾지 못한 것으로, 발견 사항은 틀린 것으로 적힙니다. 다섯 쌍은 하나씩 대조했고, 같은 계약에서, 그중 네 쌍은 같은 함수에서였습니다. refund에서 결코 잠기지 않는 잠금장치는 CH-05의 재진입이고, 다시 쓸 수 있는 기한은 CH-07이며, claimants를 상한 없이 순회하는 것은 MC-08, 구현을 묶지 않는 서명은 SP-01, typehash 없는 다이제스트는 SP-02입니다. 여섯째는 목록에 실리지 않은 참인 사실을 말합니다.

그 판정은 수작업이고 이해관계가 있는 쪽이 했습니다. 엔진을 만드는 사람이 직접 했으니까요. 그래서 이 페이지에서 기준이 되는 숫자는 여전히 기계가 센 숫자입니다. 인정한 다섯 쌍을 포함해 세면 짝이 맞은 것 17건, 맞지 않은 것 9건, 즉 정밀도 65.4 %와 재현율 35.4 %가 됩니다. 차이가 어디에서 오는지 보이도록 적었을 뿐, 성과로 올리려는 것이 아닙니다.