Emara: LLM 없이 구현하는 결정론적 기능 슬라이싱 및 데드 코드 도달 가능성 분석

Emara: Deterministic feature slicing and dead-code reachability without LLMs