Static Code Analysis

Momentum

2 papers in the last four weeks, against 1 the four weeks before. 0.0% of all new papers.

Jul 13Week of Sep 28

Latest papers 36

All topics
CardsList
  1. AIRA: AI-Induced Risk Audit: A Structured Inspection Framework for AI-Generated Code

    Apr 19, 2026William M. ParrisLLM AuditingStatic Code Analysis

  2. Analyzing Chain of Thought (CoT) Approaches in Control Flow Code Deobfuscation Tasks

    Apr 16, 2026Seyedreza Mohseni, Sarvesh Baskar, Edward Raff +1Software Reverse EngineeringCoT Reasoning

  3. Reachability Across the NL/PL Boundary: A Taxonomy-Driven Dataflow Model for LLM-Integrated Applications

    Mar 30, 2026Zihao Xu, Xiao Cheng, Ruijie Meng +1Reachability AnalysisStatic Code Analysis

  4. LLMs versus the Halting Problem: Characterizing Program Termination Reasoning

    Jan 26, 2026Oren Sultan, Jordi Armengol-Estape, Pascal Kesseli +4LLM EvaluationStatic Code Analysis

  5. SpecDetect4ML: Detecting Non-Local ML Code Smells with Code Property Graphs

    Sep 24, 2025Brahim Mahmoudi, Naouel Moha, Quentin Stiévenart +1Static Code Analysis