TY - RPRT TI - CoRe: Benchmarking LLMs Code Reasoning Capabilities through Static Analysis Tasks AU - Danning Xie AU - Mingwei Zheng AU - Xuwei Liu AU - Jiannan Wang AU - Chengpeng Wang AU - Lin Tan AU - Xiangyu Zhang PY - 2026 UR - https://arxiv.org/abs/2507.05269 ID - 2507.05269 ER -