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…