Static Program Slicing Using Language Models With Dataflow-Aware Pretraining and Constrained Decoding
arXiv:2604.26961v2 Announce Type: replace-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…