Static Program Slicing Using Language Models With Dataflow-Aware Pretraining and Constrained Decoding

arXiv:2604.26961v1 Announce Type: cross Abstract: Static program slicing is a fundamental software engineering technique for isolating code relevant to specific variables. While recent learning-based approaches using language models (LMs) show promise in automating slice prediction, they suffer...