A White-box Testing Approach to Detecting Optimization Bugs in Smart Contract Compilers
이공학학술연구기반구축(R&D) · 석사과정생연구장려금지원
2026년
2340066216
교육부
한국연구재단
고려대학교
이정민
1명
2026.09.01 ~ 2027.08.31
2026.09.01 ~ 2027.08.31
1,200만원
1,200만원
기초연구
대학
서울특별시 성북구
정보/통신 > 정보이론 > 컴파일러
본 연구는 기존 블랙박스 중심 접근을 넘어, 컴파일러 내부 정보를 활용하는 화이트박스 기반 스마트 컨트랙트 컴파일러(예: solc, Solang) 최적화 오류 검출 기법을 개발하는 것을 목표로 한다. 이는 스마트 컨트랙트 컴파일러 최적화 오류 검출 문제를 화이트박스 관점에서 본격적으로 다루는 선도적 시도라는 점에서 의의가 있다. 특히 스마트 컨트랙트 개발에...
1. 핵심 아이디어 : 컴파일러 구현 코드 분석을 통한 버그 유발 조건 도출 기존 black/gray-box 퍼징 방식은 컴파일러 내부 구현에 대한 지식 없이 입력을 생성하기 때문에, 특정 최적화 패스를 트리거하는 경계값 조합에 도달할 가능성이 낮다. 본 연구는 이를 보완하기 위해 solc 소스코드를 분석하여 버그 유발 조건을 명시적으로 도출하는 white...
본 연구를 통해 개발된 퍼징 파이프라인은 오픈소스로 공개하여 Solidity 컴파일러의 품질 향상에 기여하고자 한다. 발견된 버그는 ethereum/solidity 공식 이슈로 리포트하여 실제 패치로 이어질 수 있도록 한다. 특히, 소스코드 분석 기반의 화이트박스 접근을 통해 기존 블랙박스 퍼저가 탐지하지 못한 non-crash 형태의 최적화 버그를 보다 ...