@misc{indiciaebc02c20f3a1b,
  title = {CheckerBench: Can Long-Horizon Agents Synthesize Static-Analysis Checkers?},
  author = {Hang He and Li Wang and Hao Chen and Yuchen Shao and Yuling Shi and Lisheng Wang and Peiyang Liu and Goose Lin and Zaiyuan Wang and Haiying Sun and Ting Su and Chengcheng Wan},
  year = {2026},
  url = {https://arxiv.org/abs/2610.07557},
  note = {Source identifier: 2610.07557}
}