프로그램 분석, 리버스 엔지니어링, 프로그램 이해, 퍼징(fuzzing), 보안 분야에서 블랙박스 문맥 자유 문법 추론은 매우 중요합니다. 하지만 Arvada, TreeVada, Kedavra, Cucio와 같은 기존 접근 방식들은 특히 대규모 언어의 경우 확장성, 정확도, 그리고 문법 가독성 면에서 어려움을 겪습니다. 이러한 문제를 해결하기 위해 Xvada는 문맥 자유 문법을 결정론적으로 추론하는 여러 새로운 기법들을 소개합니다. 최근 연구들의 몇 가지 함정을 피한 경험적 비교를 통해, Xvada는 문법 정확도와 문법 간결성 모두에서 최고 점수를 기록했던 경쟁 모델(TreeVada)보다 성능이 향상되었음을 보여줍니다. 또한 Xvada는 널리 사용되는 Python Liquid 엔진에서 CVE를 발견했습니다. XVada로 추론된 문법을 기반으로 한 퍼징은 다섯 개의 추가적인 버그를 찾아냈고, 이 버그들은 저희의 보고서를 바탕으로 Python Liquid 개발자들이 수정했습니다. XVADA와 모든 실험 데이터 및 스크립트는 자유롭게 이용 가능합니다.