mlsanityData to 14 Oct 2026

A Contemporary Survey of Large Language Model Assisted Program Analysis

arXiv 2502.18474 ↗First posted 5 Feb 2025cs.SE cs.AIcited by 11

Not on the map. Why?

Abstract (arXiv)

The increasing complexity of software systems has driven significant advancements in program analysis, as traditional methods unable to meet the demands of modern software development. To address these limitations, deep learning techniques, particularly Large Language Models (LLMs), have gained attention due to their context-aware capabilities in code comprehension. Recognizing the potential of LLMs, researchers have extensively explored their application in program analysis since their introduction. Despite existing surveys on LLM applications in cybersecurity, comprehensive reviews specifically addressing their role in program analysis remain scarce. In this survey, we systematically review the application of LLMs in program analysis, categorizing the existing work into static analysis, dynamic analysis, and hybrid approaches. Moreover, by examining and synthesizing recent studies, we identify future directions and challenges in the field. This survey aims to demonstrate the potential of LLMs in advancing program analysis practices and offer actionable insights for security researchers seeking to enhance detection frameworks or develop domain-specific models.

Key facts. Cited by 11 papers in the map (data through 14 Oct 2026). Builds on 87 of its 177 references that are in the map. First posted on arXiv 5 Feb 2025.

Builds on

87 of 177 references.

References · 87

  1. 2017Attention Is All You Needcited by 60,361
  2. 2020Language Models are Few-Shot Learnerscited by 32,419
  3. 2023GPT-4 Technical Reportcited by 18,396
  4. 2023LLaMA: Open and Efficient Foundation Language Modelscited by 14,132
  5. 2021Evaluating Large Language Models Trained on Codecited by 8,320
  6. 2023Mistral 7Bcited by 3,164
  7. 2023Code Llama: Open Foundation Models for Codecited by 2,139
  8. 2024Mixtral of Expertscited by 1,823
  9. 2018A Call for Clarity in Reporting BLEU Scorescited by 1,799
  10. 2020CodeBERT: A Pre-Trained Model for Programming and Natural Languagescited by 1,310
  11. 2022CodeGen: An Open Large Language Model for Code with Multi-Turn Program Synthesiscited by 885
  12. 2023Large Language Modelscited by 780
38 more
  1. 2022UniXcoder: Unified Cross-Modal Pre-training for Code Representationcited by 361
  2. 2023Software Testing with Large Language Models: Survey, Landscape, and Visioncited by 166
  3. 2022Few-shot training LLMs for project-specific code-summarizationcited by 129
  4. 2024IRIS: LLM-Assisted Static Analysis for Detecting Security Vulnerabilitiescited by 103
  5. 2023ChatUniTest: A Framework for LLM-Based Test Generationcited by 96
  6. 2023Pushing Large Language Models to the 6G Edge: Vision, Challenges, and Opportunitiescited by 90
  7. 2024CyberSecEval 2: A Wide-Ranging Cybersecurity Evaluation Suite for Large Language Modelscited by 89
  8. 2023Fuzz4All: Universal Fuzzing with Large Language Modelscited by 88
  9. 2023No More Manual Tests? Evaluating and Improving ChatGPT for Unit Test Generationcited by 82
  10. 2024Large Language Models for Cyber Security: A Systematic Literature Reviewcited by 68
  11. 2018ROUGE 2.0: Updated and Improved Measures for Evaluation of Summarization Taskscited by 67
  12. 2018DeepBugs: A Learning Approach to Name-based Bug Detectioncited by 65
  13. 2023GPTScan: Detecting Logic Vulnerabilities in Smart Contracts by Combining GPT with Program Analysiscited by 65
  14. 2024SplitLoRA: A Split Parameter-Efficient Fine-Tuning Framework for Large Language Modelscited by 62
  15. 2024Enchanting Program Specification Synthesis by Large Language Models using Static Analysis and Program Verificationcited by 58
  16. 2023Prompt-Enhanced Software Vulnerability Detection Using ChatGPTcited by 51
  17. 2022Pynguin: Automated Unit Test Generation for Pythoncited by 50
  18. 2023Lemur: Integrating Large Language Models in Automated Program Verificationcited by 49
  19. 2023Large Language Model-Powered Smart Contract Vulnerability Detection: New Perspectivescited by 48
  20. 2023LLaMA-Reviewer: Advancing Code Review Automation with Large Language Models through Parameter-Efficient Fine-Tuningcited by 47
  21. 2024PentestAgent: Incorporating LLM Agents to Automated Penetration Testingcited by 47
  22. 2024Large Language Model for Vulnerability Detection and Repair: Literature Review and the Road Aheadcited by 42
  23. 2024HITS: High-coverage LLM-based Unit Test Generation via Method Slicingcited by 38
  24. 2024PropertyGPT: LLM-driven Formal Verification of Smart Contracts through Retrieval-Augmented Property Generationcited by 37
  25. 2024HackSynth: LLM Agent and Evaluation Framework for Autonomous Penetration Testingcited by 37
  26. 2016A Survey of Symbolic Execution Techniquescited by 36
  27. 2023Large Language Models are Edge-Case Fuzzers: Testing Deep Learning Libraries via FuzzGPTcited by 36
  28. 2024AutoSafeCoder: A Multi-Agent Framework for Securing LLM Code Generation through Static Analysis and Fuzz Testingcited by 35
  29. 2023Ranking LLM-Generated Loop Invariants for Program Verificationcited by 33
  30. 2024A Comprehensive Overview of Large Language Models (LLMs) for Cyber Defences: Opportunities and Directionscited by 33
  31. 2024PenHeal: A Two-Stage LLM Framework for Automated Pentesting and Optimal Remediationcited by 30
  32. 2020The Tactician (extended version): A Seamless, Interactive Tactic Learner and Prover for Coqcited by 24
  33. 2024AutoPenBench: Benchmarking Generative Agents for Penetration Testingcited by 21
  34. 2024TestART: Improving LLM-based Unit Testing via Co-evolution of Automated Generation and Repair Iterationcited by 20
  35. 2024Multi-role Consensus through LLMs Discussions for Vulnerability Detectioncited by 19
  36. 2023Augmenting Greybox Fuzzing with Generative AIcited by 18
  37. 2023The Hitchhiker's Guide to Program Analysis: A Journey with Large Language Modelscited by 18
  38. 2020Why an Android App is Classified as Malware? Towards Malware Classification Interpretationcited by 16

50 most cited of 87 All 87 (JSON)

Built on by

Cited by year (2026 to 14 Oct)

Citing papers per year: 2025: 6; 2026: 5.

11 papers.