스마트 컨트랙트 컴파일러는 개방형 소스(open-source)이며 불변성(immutable code)이 특징인 퍼블릭 블록체인의 정확성을 보장하는 데 매우 중요합니다. 저희는 Solidity 컴파일러의 품질을 향상시키기 위해 의미론적 인식 차분 퍼즈 테스트 도구인 SolSmith를 개발했으며, 이 과정에서 3년 이상에 걸쳐 잘못된 코드를 생성하는 컴파일러 결함들을 찾아냈습니다. 저희는 이러한 결함을 오컴파일 버그(miscompilation bugs)라고 부릅니다. 이 기간 동안 저희는 수년간 간과되어 온 25개의 오컴파일 버그를 발견했습니다. 첫 번째 기여는 컴파일러 테스트를 더욱 엄격하게 만드는 것입니다. SolSmith는 코드 생성 및 최적화 구성 요소를 스트레스 테스트할 가능성이 높은 유효한 테스트 프로그램을 생성함으로써 이 목표를 달성합니다. 이를 통해 SolSmith는 정기적인 테스트에서 놓칠 수 있는 버그들을 찾아낼 수 있으며, 이는 스마트 컨트랙트와 사용자들에게 심각한 영향을 미칠 수 있습니다. 두 번째 기여는 저희가 Solidity 컴파일러에서 발견한 오컴파일 버그에 대한 질적 및 양적 분석입니다. 저희는 SolSmith가 발견한 오컴파일 버그들을 그 성격, 근본 원인(root-causes), 그리고 최종 사용자에게 미치는 영향에 따라 분류합니다. 이는 최적화 컴파일러의 몇 가지 함정들에 대해 조명합니다.