Examining LLMs Ability to Summarize Code Through Mutation-Analysis

TL;DR

This paper introduces a mutation-based evaluation method to assess if LLM-generated code summaries accurately reflect the code's actual behavior, revealing significant accuracy drops with increased complexity and highlighting model limitations.

Contribution

It presents a novel mutation-analysis approach for systematically testing the fidelity of LLM code summaries against actual program behavior.

Findings

Summary accuracy drops from 76.5% to 17.3% with increased complexity

Models often describe intent rather than mutated behavior, with 49.3% accuracy

GPT-5.2 outperforms GPT-4, achieving 85.3% accuracy

Abstract

As developers increasingly rely on LLM-generated code summaries for documentation, testing, and review, it is important to study whether these summaries accurately reflect what the program actually does. LLMs often produce confident descriptions of what the code looks like it should do (intent), while missing subtle edge cases or logic changes that define what it actually does (behavior). We present a mutation-based evaluation methodology that directly tests whether a summary truly matches the code's logic. Our approach generates a summary, injects a targeted mutation into the code, and checks if the LLM updates its summary to reflect the new behavior. We validate it through three experiments totalling 624 mutation-summary evaluations across 62 programs. First, on 12 controlled synthetic programs with 324 mutations varying in type (statement, value, decision) and location (beginning, middle, end). We find that summary accuracy decreases sharply with complexity from 76.5% for single functions to 17.3% for multi-threaded systems, while mutation type and location exhibit weaker effects. Second, testing 150 mutated samples on 50 human-written programs from the Less Basic Python Problems (LBPP) dataset confirms the same failure patterns persist as models often describe algorithmic intent rather than actual mutated behavior with a summary accuracy rate of 49.3%. Furthermore, while a comparison between GPT-4 and GPT-5.2 shows a substantial performance leap (from 49.3% to 85.3%) and an improved ability to identify mutations as "bugs", both models continue to struggle with distinguishing implementation details from standard algorithmic patterns. This work establishes mutation analysis as a systematic approach for assessing whether LLM-generated summaries reflect program behavior rather than superficial textual patterns.