Go용 WebAssembly Toolkit인 Watgo

watgo는 Go로만 구현된 WebAssembly Toolkit으로, WAT(WebAssembly Text)를 파싱하고 검증한 뒤 WASM 바이너리로 인코딩하며, 반대로 WASM 바이너리를 디코딩할 수도 있다.

중심에는 wasmir라는 WebAssembly 모듈의 의미론적 표현이 있다. 사용자는 이 구조를 직접 살펴보거나 조작할 수 있고, CLI와 Go API 양쪽에서 활용할 수 있다.

주요 기능은 다음과 같다.

• Parse: WAT를 wasmir로 변환
• Validate: 공식 WebAssembly 검증 의미론에 따라 모듈의 형식과 안전성을 검사
• Encode: wasmir를 WASM 바이너리로 출력
• Decode: WASM 바이너리를 wasmir로 읽기

CLI는 go install github.com/eliben/watgo/cmd/watgo@latest로 설치할 수 있으며, wasm-tools와의 호환성을 목표로 한다. 작성자는 이미 자신의 wasm-wat-samples 프로젝트를 watgo 기반으로 전환했다고 밝혔다.

API 예제에서는 WAT 문자열을 파싱한 뒤, 모듈의 함수 시그니처와 명령어를 순회하며 i32 파라미터 수, local.get 수, i32.add 수를 집계하는 방식으로 분석을 수행한다. 함수 본문은 wasmir.Instruction의 평면적인 시퀀스로 표현된다.

WAT의 문법적 편의성은 wasmir로 내리면서 정규화된다. 예를 들어 folded instruction은 unfolded form으로 바뀌고, 함수명과 타입명은 숫자 인덱스로 해석된다. 이런 변환은 WASM의 검증 및 실행 의미론, 그리고 바이너리 표현과 일치한다.

테스트는 매우 강하게 구성되어 있다.

• WebAssembly spec의 공식 테스트 스위트를 활용해 .wast 파일을 처리하고, watgo로 변환한 뒤 Node.js로 실행 검증
• wabt의 interp 테스트 스위트도 별도 하네스로 검증
• 실제 WAT 프로그램 샘플 모음인 wasm-wat-samples도 테스트에 사용

작성자는 특히 공식 스펙 테스트를 모두 통과한다고 강조하며, 현재 일부 wasm-tools 기능은 아직 미지원이지만 프로젝트 초기에부터 강한 테스트 전략을 유지해 왔다고 설명한다.