TY  - RPRT
TI  - CheckerBench: Can Long-Horizon Agents Synthesize Static-Analysis Checkers?
AU  - Hang He
AU  - Li Wang
AU  - Hao Chen
AU  - Yuchen Shao
AU  - Yuling Shi
AU  - Lisheng Wang
AU  - Peiyang Liu
AU  - Goose Lin
AU  - Zaiyuan Wang
AU  - Haiying Sun
AU  - Ting Su
AU  - Chengcheng Wan
PY  - 2026
UR  - https://arxiv.org/abs/2610.07557
ID  - 2610.07557
ER  -