인문학
사회과학
자연과학
공학
의약학
농수해양학
예술체육학
복합학
DBpia AI
AI 에이전트
AI 아이디어
AI 리더
AI 뷰어
Citeasy
크롬 서지관리 다운로드
지원사업
학술연구/단체지원/교육 등 연구자 활동을 지속하도록 DBpia가 지원하고 있어요.
커뮤니티
연구자들이 자신의 연구와 전문성을 널리 알리고, 새로운 협력의 기회를 만들 수 있는 네트워킹 공간이에요.
논문 기본 정보
- 저자정보
피인용 0
초록·키워드
암호화폐와 스마트 컨트랙트에 대한 관심이 커지면서 스마트 컨트랙트의 분석이 활발히 이루어지고 있다. 특히 이더리움을 기반으로 한 이더리움 가상머신(EVM) 위에서 실행되는 프로그램의 안전성을 증명하고자 하는 연구들이 진행되고 있는데, EVM 바이트코드로 컴파일되는 고급 언어들의 독특한 메모리 할당 구조는 포인터 분석을 어렵게 만드는 요인 중 하나이다. 이 연구에서는 고급 언어들의 메모리 모델이 어떻게 EVM 바이트코드로 컴파일되는지에 대해서 알아보고, 문법적으로 메모리 할당을 지원하지 않아 선형 메모리 모델에 포인터로 접근하는 프로그램을 분석하기 위해 요약된 주소값을 기반으로 하는 분석을 정의하였다. 본 연구를 통해 EVM 바이트코드에서 연구되어온 분석보다 더 정밀한 메모리 분석을 수행할 수 있음을 보인다.
본문·목차
인공지능 문자 인식 모델을 통해 추출된 텍스트로, 일부 오타나 오류가 포함될 수 있으나 지속적으로 개선 중입니다.
오류를 발견하셨다면 해당 부분을 드래그한 후 ' 를 통해 신고해주세요.
오류를 발견하셨다면 해당 부분을 드래그한 후 ' 를 통해 신고해주세요.
최근 본 자료 전체보기
