Echidna의 향상된 심볼릭 실행: 스마트 계약 보안 테스트의 새로운 시대

Echidna 팀은 자체 퍼징 도구에 향상된 심볼릭 실행 기능을 통합하여 스마트 계약 보안 테스트 기능을 크게 향상시켰습니다. 새로운 기능에는 상태 없는 테스트의 정확성을 증명하는 데 사용되는 검증 모드와 상태 변경을 포함하는 시나리오에서 어서션 오류를 식별하기 위해 퍼징과 결합하는 탐색 모드의 두 가지 모드가 포함됩니다. 이 기능은 추가 코드가 필요 없으며 기존 퍼징을 기반으로 더 강력한 보안을 제공하며 실제 테스트에서 이미 유망한 결과를 보여주고 있습니다. 루프 및 동적 데이터 구조 처리와 같은 과제는 남아 있지만, 큰 잠재력을 가지고 있습니다.