디컴파일

디컴파일은 검증된 Solidity가 없을 때 배포된 EVM 바이트코드를 검토할 수 있는 형태로 바꾸는 과정입니다.

SUMUN은 런타임 바이트코드에서 함수 셀렉터, 상태 접근, 외부 호출, 이벤트 로그, Revert 경로와 프록시 동작처럼 관찰 가능한 근거를 먼저 추출합니다. 이 근거를 이용해 검토와 오딧에 사용할 수 있는 보수적인 Solidity 형태의 코드를 재구성합니다.

컴파일 과정에서는 원래 이름, 주석, 일부 타입 경계와 빌드 설정이 사라집니다. 따라서 재구성된 이름, 시그니처, 타입과 상위 구조에는 추론이나 불확실성이 포함될 수 있습니다.