AutoFraming: Synthesizing Dynamic Frames of C Code with LLMs
Read the original on arXiv AI →AutoFraming proposes a large language model (LLM)-based method for synthesizing ACSL frame specifications from C code, complementing existing functional contract generation. By analyzing code property graphs (CPGs) to extract frame-relevant information, the approach guides the LLM to produce accurate frame conditions that capture region‑separation constraints and data dependencies. Experiments on real‑world benchmarks show a 179% improvement over state‑of‑the‑art techniques, with success rates of 92.9% and 96.1% on two datasets, and up to a 61.9% performance boost when integrated into existing frameworks.
Machine-generated by The Flow from the publisher's headline and feed description — not written or checked by a human. The full article lives at arXiv AI.