logo
today local_bar
Static Analysis

1 paper across 1 session

Poster Session 6

1 paper
Friday, December 5, 2025 · 4:30 PM → 7:30 PM
Exhibit Hall C,D,E
CoRe: Benchmarking LLMs’ Code Reasoning Capabilities through Static Analysis Tasks
#1700 Spotlight · Danning Xie, Mingwei Zheng, Xuwei Liu, Jiannan Wang, Chengpeng Wang, Lin Tan, Xiangyu Zhang

CoRe: a high-quality, multi-lingual benchmark for evaluating LLMs’ Code Reasoning capabilities with fundamental static analysis tasks.