상용 가상화 난독화 코드에 대한 안전성(Soundness)이 보장된 트레이스 기반 핸들러 분석 기법 연구 | AXDevHub