Mystra: Shadow Virtual Machine을 이용한 선언적 동적 오염 분석

요약

본 논문은 JavaScript 및 Python 같은 인터프리터 언어의 동적 오염 분석(DTA) 문제를 다루며, 기존 시스템의 높은 런타임 오버헤드와 엔진 종속성 문제를 해결하고자 합니다. 이를 위해 Shadow Virtual Machine과 선언적 오염 명세 언어 Mystra를 도입하여, 호스트 런타임으로부터 오염 의미론을 분리한 범용적인 DTA 엔진을 개발했습니다.

핵심 포인트

• Mystra는 형식적 운영 의미론 기반의 선언적 오염 명세 언어입니다.
• Shadow Virtual Machine을 통해 런타임 독립적이고 성능이 뛰어난 DTA를 구현했습니다.
• V8 인스턴스화에서 95.5% 재현율과 0개의 오탐을 달성하며 높은 정확도를 입증했습니다.
• Shar 도구는 Node.js, V8, SpiderMonkey 등 여러 엔진에 대한 지원을 제공합니다.